Aleks Nanevski se ha incorporado a la plantilla de IMDEA Software como Assistant Research Professor. Aleks se doctoró en la Universidad Carnegie-Mellon y realizó estudios postdoctorales en Microsoft Research, Cambridge, y en la Universidad de Harvard.
Los intereses de Aleks se centran en el diseño e implementación de lenguajes de programación y en las metodologías que facilitan la especificación y verificación de varias propiedades de los programas. También está interesado en todos los aspectos de la compilación y optimización de los lenguajes de programación modernos y en otros métodos de verificación formales, como la demostración interactiva y automática de teoremas, procedimientos de decisión, análisis de programas y la verificación formal de software (software model checking).
