Iniciativa IMDEA

Inicio > Personal

Aleks Nanevski

PhD - Carnegie Mellon University, USA

Associate Research Professor

Aleks Nanevski
Instituto IMDEA Software

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 382
Telephone: +34-91-101-2202 ext 4107
Fax: +34-91-101-1358
Email: Aleks Nanevski e-mail
Página web: http://software.imdea.org/~aleks/


Short bio

Aleks received his Ph.D. degree in Computer Science from Carnegie Mellon University, USA in 2004. After holding postdoctoral positions at Harvard University (USA), and Microsoft Research, Cambridge (UK), Aleks joined the IMDEA Software Institute in September 2009. Prior to the PhD, Aleks finished his undergraduate studies in Computer Science at the University of Skopje, Macedonia in 1995.

Research Interests

Aleks’ research is in the design and implementation of programming languages that facilitate verification of various program properties, ranging from type and memory safety, lack of memory leaks or information leaks, all the way to full functional correctness. His languages and systems unify programming and specification with automated and interactive theorem proving, via a common foundational framework of type theory. He is particularly interested in verifying programs that combine modern higher-order linguistic features such as higher-order functions, polymorphism, abstract types, objects and modules, with imperative ingredients such as pointer arithmetic, pointer aliasing, unstructured control flow, and concurrency.