Tom CLARA
PhD Student (FNRS fellow) at ULiège
Automata, Logic and Formal Methods
Automata, Logic and Formal Methods
About
I am a PhD student at ULiège, supervised by Prof. Bernard Boigelot and Prof. Pascal Fontaine. My research focuses on automata theory, logic, formal methods, and their application to verification and SMT solving.
Research
Research interests
List of publications
-
B. Boigelot, Th. Braipson, and T. Clara. Epsilon automata on linear orderings. In Proceedings of CIAA, 2025.
Teaching
Contact
Email:
tom[dot]clara[at]uliege[dot]be
Address:
Montefiore Institute, B28, I82a
University of Liège
B-4000 Liège Sart-Tilman
Belgium
University of Liège
B-4000 Liège Sart-Tilman
Belgium