Emina Torlak

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 is an associate professor of computer science at the University of Washington, and a senior principal scientist for Amazon Web Services.[1]

Education and career

Torlak was educated in computer science at the Massachusetts Institute of Technology, earning a bachelor's degree in 2003, a master's degree in 2004, and completing her Ph.D. in 2009.[1] Her dissertation, A constraint solver for software engineering: finding models and cores of large relational specifications, was supervised by Daniel Jackson.[1][2]

She worked as a researcher for IBM Research, LogicBlox, and the University of California, Berkeley from 2008 to 2014, before becoming an assistant professor at the University of Washington in 2014. She was promoted to associate professor in 2018, and added an affiliation with Amazon Web Services in 2021.[1]

Recognition

Torlak was 2016 winner of the Junior Dahl–Nygaard Prize, "for her work on developing tools and methodologies to help build better software more easily".[3][4] She was the 2021 winner of the ACM SIGPLAN Robin Milner Young Researcher Award, recognizing her as "a leader in the area of automated verification".[5][6]

References
  1. Curriculum vitae, retrieved 2022-06-13
  2. Emina Torlak at the Mathematics Genealogy Project
  3. "Awards", ECOOP 2016, retrieved 2022-06-13
  4. The AITO Dahl-Nygaard Prize Winners for 2016, Association Internationale pour les Technologies Objets, archived from the original on 2016-03-26, retrieved 2022-06-13
  5. Coakley, Rebekka (June 30, 2021), Allen School professor Emina Torlak receives Robin Milner Young Researcher Award for her groundbreaking work in automating reasoning for programmers, Paul G. Allen School of Computer Science & Engineering, retrieved 2022-06-13
  6. Robin Milner Young Researcher Award, ACM SIGPLAN, retrieved 2022-06-13
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.