Abhishek De

I am an Assistant Professor at the School of Interwoven Arts and Sciences, Krea University. Until recently, I was a Research Fellow in the Theory Group at the School of Computer Science, University of Birmingham. Prior to that, I was a PhD student at IRIF, Université de Paris Cité, under Alexis Saurin. 

I am interested in structural proof theory and its interactions with automata theory. I am particularly interested in cyclic proof theory. Rueben Rowe maintains an up-to-date bibliography of cyclic proof theory literature. 

Here is a brief CV.

I am a member of the Chennai Logic Gathering, a group that aims to bring together logicians and those interested in logic in Southern India. Meetings are open to everyone, and many of our speakers come from institutions in and around Chennai. Our meetings could be viewed as a southern counterpart to the Calcutta Logic Circle.

• A Note on Fixed Points in Lukasiewicz Logic.  doi 

In Logica Universalis 2025. Vol 19, Issue 4. (BK Matilal Prize)

• Cyclic System for an Algebraic Theory of Alternating Parity Automata. (with Anupam Das) doi preprint

In Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025.

• Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points. (with Anupam Das) doi pdf preprint

In 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. (Invited for special issue) 

• Bounded Henkin Quantifiers and the Exponential Time Hierarchy. doi

In 11th Indian Conference in Logic and Applications, ICLA 2025. (Best Paper Award)

• A Proof Theory of (omega-)Context-Free Languages, via Non-wellfounded Proofs. (with Anupam Das) doi preprint

In Automated Reasoning, IJCAR 2024.

• A Proof Theory of Right-Linear (omega-)Grammars via Cyclic Proofs. (with Anupam Das) doi preprint

In 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024.

• Comparing Infinitary Systems for Linear Logic with Fixed Points. (with Anupam Das and Alexis Saurin) doi pdf

In 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023.

• Phase Semantics for Linear Logic with Least and Greatest Fixed Points. (with Farzad Jafarrahmani and Alexis Saurin) doi pdf

In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022.

• Decision Problems for Linear Logic with Least and Greatest Fixed Points. (with Anupam Das and Alexis Saurin) doi pdf

In 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022.

• Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. (with Luc Pellissier and Alexis Saurin) doi preprint

In 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021.

• Infinets: the parallel syntax for non-wellfounded proof-theory. (with Alexis Saurin) doi preprint

In Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019.

• (MGS 2024) Proof Theory with Iris van der Giessen

• (MGS 2025) Linear Logic with Charles Grellois

• (ESSLLI 2025) Proof Theory with Iris van der Giessen

I worked on proof-nets for multiplicative linear logic with fixed points in my PhD. I also worked on the complexity of provability and phase semantics of multiplicative additive linear logic with fixed points. (manuscript and slides)