Curriculum Vitæ   

The following is an HTML version of my PDF resume, the latter looking arguably better.

1 Research Interests

Circuit complexity, language theory, formal logic, in relation with automata theory, algebraic language theory, computational complexity, computability, model-checking

2 Research Background

Universität Tübingen, Tübingen, Germany

Université de Montréal, Montréal, QC, Canada

Université Paris Diderot, Paris, France

École pour l’Informatique et les Techniques Avancées, Paris, France

3 Teaching Experience

Universität Tübingen, Tübingen, Germany

Université de Montréal, Montréal, QC, Canada

École pour l’Informatique et les Techniques Avancées, Paris, France


HTML produced by htlatex.