Nathan Lhote

me

I am a PhD student at both Université de Bordeaux and Université Libre de Bruxelles under the supervision of Emmanuel Filiot, Olivier Gauwin and Anca Muscholl. I am part of the Formal Methods team at LaBRI and the Formal Methods and Verification team at ULB. I am also part of two ANR research projects: ExStream and Delta.

My research topics of interest are (not limited to) automata theory, semigroup theory and logic.

Research

Publications: see my dblp page.

Talks:

Teaching

Contact

LaBRI
351 cours de la Libération
F-33405 Talence Cedex (France)

e-mail: first name dot last name at labri dot fr
office 123