Write a Blog >>
Aleksandar Nanevski

Registered user since Sat 12 Sep 2015

Name: Aleksandar Nanevski

Country: Spain

Affiliation: IMDEA Software Institute

Personal website: http://software.imdea.org/~aleks

Research interests: Dependent types in programming and verification, Hoare logic, Separation logic

Contributions

ECOOP 2017 Concurrent Data Structures Linked in Time
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile