Aleks Nanevski has joined IMDEA as Assistant Research Professor. Aleks did his postdoctoral studies at Microsoft Research, Cambridge, and at Harvard University, after finishing his PhD at Carnegie-Mellon University.

Aleks’s interests lie in the design and implementation of programming languages and methodologies that facilitate specification and verification of various program properties. He is also interested in all aspects of compilation and optimization of modern programming languages and in other formal verification methods, such as interactive and automated theorem proving, decision procedures, program analysis and software model checking.