Emina Torlak es una científica informática e ingeniera de software estadounidense cuya investigación se centra en la verificación de software , la síntesis de programas y la integración de estas técnicas en lenguajes específicos de dominio . Anteriormente fue profesora de informática en la Universidad de Washington y actualmente es científica principal sénior de Amazon Web Services . [1]
Torlak se formó en informática en el Instituto Tecnológico de Massachusetts , donde obtuvo una licenciatura en 2003, una maestría en 2004 y completó su doctorado en 2009. [1] Su disertación, Un solucionador de restricciones para ingeniería de software: búsqueda de modelos y núcleos de grandes especificaciones relacionales , fue supervisada por Daniel Jackson . [1] [2]
Trabajó como investigadora para IBM Research , LogicBlox y la Universidad de California, Berkeley de 2008 a 2014, antes de convertirse en profesora asistente en la Universidad de Washington en 2014. Fue ascendida a profesora asociada en 2018 y agregó una afiliación con Amazon Web Services en 2021. [1]
Torlak fue la ganadora del Premio Junior Dahl–Nygaard en 2016 , "por su trabajo en el desarrollo de herramientas y metodologías para ayudar a construir un mejor software con mayor facilidad". [3] [4] Fue la ganadora del Premio Robin Milner Young Researcher de ACM SIGPLAN en 2021 , que la reconoce como "líder en el área de verificación automatizada". [5] [6]