She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services.
[1] Her dissertation, A constraint solver for software engineering: finding models and cores of large relational specifications, was supervised by Daniel Jackson.
She was promoted to associate professor in 2018, and added an affiliation with Amazon Web Services in 2021.
[1] 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".