Get my own profile

### Co-authors

- Andrej BauerUniversity of LjubljanaVerified email at andrej.com
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
- Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
- Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
- Amr Hany SalehKU LeuvenVerified email at cs.kuleuven.be
- Yannick ForsterPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
- Georgios KarachaliasTweag I/OVerified email at tweag.io
- Matija LokarUnverza v LjubljaniVerified email at fmf.uni-lj.si
- Axel FaesPhD Student Computational Neuroscience, KULeuvenVerified email at kuleuven.be
- Danel AhmanMarie Skłodowska-Curie Research Fellow, University of LjubljanaVerified email at fmf.uni-lj.si
- KC SivaramakrishnanAssistant Professor, IIT MadrasVerified email at iitm.ac.in

Matija Pretnar

University of Ljubljana, Faculty of Mathematics and Physics

Verified email at fmf.uni-lj.si - Homepage