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]

Education and career

edit

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

edit

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

edit
  1. ^ a b c d 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
edit