Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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

SPLASH 2019Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track
Show activities from other conferences

Using general profile