Emina Torlak是华盛顿大学的助理教授，从事软件工程、编程语言和形式化方法的交叉研究。她在麻省理工学院获得学士学位（2003年）、硕士学位（2004年）和博士学位（2009年），随后在IBM Research、LogicBlox工作，并在加州大学伯克利分校担任研究科学家。她的研究重点是开发自动化工具，帮助人们更容易地构建更好的软件。她是Kodkod约束求解器的创始人，该求解器已被用于70多个软件工程的学术和工业工具。Emina将她的专业知识应用于广泛的问题，从内存一致性模型的验证到决策支持应用程序的测试数据的生成。她目前的工作是将约束求解器集成到编程语言中，以支持计算机辅助验证、调试和代码合成，使编程成为人与机器之间的协作。