Thomas Braipson

Contact

Institut Montefiore, B28, R83a
Université de Liège
B-4000 Liège Sart-Tilman
Belgique

Thomas[dot]Braipson[at]uliege[dot]be

Research

• PhD student (FRIA grant):
  • Topic: Automata-based SMT for the real and rational domains
  • Supervisors: Bernard Boigelot and Pascal Fontaine.


• Publications: ULiège repository.

Teaching

Embedded systems (Tutorials, labs, and projects).