Emina Torlak
Senior Principal Scientist at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolEmina Torlak is a Senior Principal Scientist at AWS with over a decade of experience bridging academic research and industrial-scale systems. She holds a Ph.D. in Computer Science from MIT and has held faculty positions including Associate Professor and Assistant Professor, bringing rigorous formal methods and programming-languages expertise into production settings. Her career spans research roles at IBM and UC Berkeley and senior engineering at LogicBlox, reflecting a rare mix of deep theory and practical implementation. At AWS she applies this background to solve hard systems and verification problems that impact cloud services at scale. Colleagues know her for translating formal research into tools and techniques that improve developer productivity and system correctness—a thread running through both her academic and industry work. Based in Seattle, she combines research leadership with hands-on engineering across complex distributed and data-driven platforms.
11 years of coding experience
13 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Massachusetts Institute of Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (46)
rosette10
apl10
programming-language10
racket10
synthesis10
solver10
code-golf10
scheme10
relational-algebra10
lisp10
logic9
mojo8
attribute8
verification8
relational8
Programming languages (6)
Github contributions (5)
emina/rosette
Jul 2014 - Apr 2022
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Contributions:11 releases, 3 reviews, 842 commits in 7 years 9 months
code-golfaplschemehostrosette
emina/kodkod
Sep 2015 - Apr 2018
Contributions:1 release, 38 commits, 3 PRs in 2 years 8 months
logicrelationalsolver
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.