Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services.[1]
^Cite error: The named reference cv was invoked but never defined (see the help page).
EminaTorlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration...
Standard ML, region inference, POPL 1994 Most Influential Paper Award EminaTorlak, received the 2021 ACM SIGPLAN Robin Milner Young Researcher Award for...
Scientists'". The Leonard Lopate Show. WNYC. October 22, 2014. "UW CSE's EminaTorlak, Mike Cafarella, Roxana Geambasu win Sloan Research Fellowships". University...
ISBN 978-1-4503-9226-6. S2CID 247148388. For Crust: Toman, John; Pernsteiner, Stuart; Torlak, Emina (November 2015). Crust: A Bounded Verifier for Rust (N). IEEE. pp. 75–80...
Global Information