Curriculum Vitæ   

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

1 Research Interests

Language theory with roots in complexity theory, formal logic, and automata theory: descriptive complexity, Boolean circuit complexity, exotic models of automata, finite model theory, computational complexity, computability, model-checking, combinatorics, algebra

2 Research Background

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é de Montréal, Montréal, QC, Canada

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

4 Professional Service

Referee Service

5 Attended Conferences and Presentations Made

6 Miscellaneous

Languages:

Leisure:


HTML produced by htlatex
.