Get my own profile

Public access

View all9 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
- Peter LeFanu LumsdaineAssistant professor, Dept. of Mathematics, Stockholm UniversityVerified email at math.su.se
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
- Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
- Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Karin Cvetko VahSenior Data Science Researcher, Sony EuropeVerified email at sony.com
- Anja Petković KomelPostDoc, Vienna university of technologyVerified email at tuwien.ac.at
- Ganna KudryavtsevaReseacher, Institute Jozef StefanVerified email at ijs.si
- mai gehrkeCNRS et Université Côte d'AzurVerified email at unice.fr
- Danel AhmanPostDoc, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
- Jens BlanckSwansea UniversityVerified email at swansea.ac.uk
- Aleksandr KarbyshevHeliaxVerified email at heliax.dev
- Marko GrobelnikJozef Stefan Institute, SloveniaVerified email at ijs.si
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk