ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Alex Simpson

Registered user since Fri 17 Aug 2018

Name:Alex Simpson

My research interests include: semantic models of computation, especially domain-theoretic and topological models; type theories and their models, especially type theories for computational effects; logic and proof theory in general, and proof systems for program logics in particular; intuitionistic set theories, their models and applications; constructive mathematics and its computational content; foundational models of probability and randomness.

Affiliation:University of Ljubljana


Show activities from other conferences

ETAPS 2019-profile
View general profile