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.
Blondin, M., Leys, T., Mazowiecki, F., Oftermatt, P., & Pérez, G. A. (2021). Continuous One-Counter Automata. LICS 2021> pdf
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
|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|