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).