Registered user since Fri 17 Aug 2018
Name: Alex Simpson
Bio: 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
Personal website: https://www.fmf.uni-lj.si/si/imenik/32646/
|FOSSACS 2019||Co-chair in Program Committee within the FOSSACS 2019-track|
|ETAPS 2019||Committee Member in Steering Committee|
|Show activities from other conferences|