Curriculum Vitæ   

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

1 Research Interests

Automata theory, circuit complexity, formal logic, in relation with algebraic language theory, computational complexity, computability, model-checking

2 Research Background

University of Oxford, Oxford, UK

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 Invited Visits

Pontificia Universidad Catolica de Chile, Santiago, November 2017

Institut de Mathématiques de Jussieu, France, April 2017

Uniwersytet Warszawski, Poland, September 2016

University of Oxford, England, June 2016

Université libre de Bruxelles, Belgium, February 2016

Indian Institute of Technology, India, November–December 2015

Institute of Mathematical Sciences, India, November 2015

Uniwersytet Warszawski, Poland, May 2015

Universität Tübingen, Germany, September 2011

4 Teaching Experience

University of Oxford, Oxford, UK

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

5 Para-Academic Duties

University of Oxford, Oxford, UK

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

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

6 Nonacademic duties

Beer homebrewing


HTML produced by htlatex.