Scholar
Lutz Straßburger
Google Scholar ID: xSTwY3MAAAAJ
Inria
Citations & Impact
Citations
759
H-index
15
i10-index
32
Publications
20
Co-authors
25
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Involved in multiple international conferences and workshops such as ESSLLI'25, 6th Proof Society International School and Workshop, Dagstuhl seminar 24341, etc., and has given courses and participated in academic exchanges at these events.
Research Experience
- Current position: Research director (in French: directeur de recherche, DR2) at Inria Saclay - Île-de-France Research Centre and Laboratoire d'Informatique (LIX). Head of the Partout team.
Background
- Research interests include theoretical computer science, proof theory and its applications (particularly logic programming, functional programming, and software verification), proof complexity, deep inference, category theory.
Miscellany
- Office address: Inria Saclay - Île-de-France, 1 rue Honoré d'Estienne d'Orves, Bâtiment Alan Turing, Campus de l'École Polytechnique, 91120 Palaiseau, France.
