Scholar
Abhishek De
Google Scholar ID: jZzygiIAAAAJ
IRIF, Universite Paris Cite
Citations & Impact
Citations
58
H-index
5
i10-index
2
Publications
16
Co-authors
0
Contact
Publications
Resume
Academic Achievements
- A Note on Fixed Points in Lukasiewicz Logic. (BK Matilal Prize)
- Cyclic System for an Algebraic Theory of Alternating Parity Automata. (with Anupam Das)
- Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. (with Anupam Das)
- Bounded Henkin Quantifiers and the Exponential Time Hierarchy. (Best Paper Award)
- A Proof Theory of (omega-)Context-Free Languages, via Non-wellfounded Proofs. (with Anupam Das)
- A Proof Theory of Right-Linear (omega-)Grammars via Cyclic Proofs. (with Anupam Das)
- Comparing Infinitary Systems for Linear Logic with Fixed Points. (with Anupam Das and Alexis Saurin)
- Phase Semantics for Linear Logic with Least and Greatest Fixed Points. (with Farzad Jafarrahmani and Alexis Saurin)
- Decision Problems for Linear Logic with Least and Greatest Fixed Points. (with Anupam Das and Alexis Saurin)
- Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. (with Luc Pellissier and Alexis Saurin)
- Infinets: the parallel syntax for non-wellfounded proof-theory. (with Alexis Saurin)
Research Experience
- Currently an Assistant Professor at Krea University's School of Interwoven Arts and Sciences; previously a Research Fellow in the Theory Group at the School of Computer Science, University of Birmingham.
Education
- PhD from IRIF, Université de Paris under Alexis Saurin.
Background
- Interested in structural proof theory and its interactions with automata theory, particularly cyclic proof theory.
Miscellany
- Involved in teaching activities such as Proof Theory course at MGS 2024 (with Iris van der Giessen) and Proof Theory course at ESSLLI 2025.