Hello !

I am Loïc Allègre, currently a PhD Student under the supervision of Christian Retoré, in the TEXTE team at LIRMM & University of Montpellier.

My research interests broadly revolve around mathematical logic, mainly proof theory and its links to theoretical computer science.

In more practical details, my current work focuses on extensions and variants of quantification in different logical systems and formalisms, notably (but not limited to):

• Hilbert's Epsilon Calculus
• Generalized Quantifier Theory
• Henkin Quantifiers and other partially-ordered quantification systems

I am also very interested in the history and philosophy of mathematics, language, and the applications of logic to the study of linguistics.

Contact

The surefire way to reach me is probably to roam the bookshops of Montpellier on a nice Saturday afternoon.

Should that fail, however, you can try the more conventional method : firstname.lastname[at]lirmm.fr (without diacritics).