Contact
Institut Montefiore, B28, R83a
Université de Liège
B-4000 Liège Sart-Tilman
Belgique
Thomas[dot]Braipson[at]uliege[dot]be
Teaching
Embedded systems (Teaching assistant).
Research
Automata-based SMT for the real and rational domains (PhD student).