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