About Me


Hi, I'm Tim. I'm a PhD student in Computer Science at the University of Antwerp. I currently work at the lab on Formal Techniques in Software engineering (FoTS), which is part of AnSYMO research group. My thesis supervisor is Guillermo A. Perez.

My main interests are automata theory, logic, complexity classes, and population protocols. I am currently working on reachability in (parametric) one-counter automata with continuous semantics.

Research & Publications


Blondin, M., Leys, T., Mazowiecki, F., Oftermatt, P., & Pérez, G. A. (2021). Continuous One-Counter Automata. LICS 2021 pdf

coming soon.

Master Dissertation

Leys, Tim. Towards an Agent-Based Modeling Platform with Formal Semantics Based on the SARL Programming Language. 2020. University of Antwerp, Master dissertation. MSDL, http://msdl.cs.mcgill.ca/people/tleys/Master-Thesis.


A draft from my CV

Year Title Where
2020-present Docter in Philosophy: Computer Science University of Antwerp, Antwerp, Belgium
2019 - 2019 Interim Teacher for STEM related courses (student job) Sint-Gabriel College, Boechout, Belgium
2017-2020 Degree in Master of Computer Science University of Antwerp, Antwerp, Belgium
2013-2017 Degree in Bachelor of Computer Science University of Antwerp, Antwerp, Belgium

Contact me

I'm always open for collaborations and new challenges.

CM.G.317, 2020 Antwerpen, België


'The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!', but 'That's funny ...' - Isaac Asimov