معرفی
Jules CHOUQUET is a Lecturer at the University of Orléans, where he works as a researcher at the Orléans Fundamental Computer Science Laboratory (LIFO) and teaches in the Computer Science Department.
His research bridges computer science and logic, focusing on:
- Semantics of languages derived from λ-calculus
- Functional Reactive Programming (FRP) formalization
- Linear Logic and Taylor expansion in proof nets
- Resource calculi and evaluation strategies
His publications highlight mechanized formalizations of FRP languages, combinatorial properties of cut elimination in MLL, and finiteness criteria for Taylor expansions under specific evaluation strategies. While no explicit scientific awards are listed, his teaching evaluations reveal a commitment to pedagogy in advanced topics like Logic, Compilation, and Functional Programming across multiple years (2017–2025).
He is affiliated with the LIFO laboratory and has presented at major conferences including CSL (2020, 2018), MFPS (2019), and PPS Days (2018).
