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

4 Invited Visits

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


HTML produced by htlatex.