stringtranslate.com

Emina Torlak

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]

Educación y carrera

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]

Reconocimiento

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]

Referencias

  1. ^ abcd Curriculum vitae , consultado el 13 de junio de 2022
  2. ^ Emina Torlak en el Proyecto de Genealogía Matemática
  3. ^ "Premios", ECOOP 2016 , consultado el 13 de junio de 2022
  4. ^ Ganadores del premio AITO Dahl-Nygaard 2016, Association Internationale pour les Technologies Objets , archivado desde el original el 26 de marzo de 2016 , consultado el 13 de junio de 2022
  5. ^ Coakley, Rebekka (30 de junio de 2021), La profesora de la Escuela Allen Emina Torlak recibe el premio Robin Milner Young Researcher por su trabajo pionero en la automatización del razonamiento para programadores, Escuela Paul G. Allen de Ciencias de la Computación e Ingeniería , consultado el 13 de junio de 2022
  6. ^ Premio Robin Milner para jóvenes investigadores, ACM SIGPLAN , consultado el 13 de junio de 2022

Enlaces externos