Embedded Files
Office 342
New Academic Building
Krea University
Email: abhishek.de [at] krea.edu.in
About me
About me
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 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.
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.
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.
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.
Publications
Publications
In Logica Universalis 2025. Vol 19, Issue 1.
In Logica Universalis 2025. Vol 19, Issue 1.
In Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025.
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) pdf
In 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025.
In 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025.
- Bounded Henkin Quantifiers and the Exponential Time Hierarchy.
In 11th Indian Conference in Logic and Applications, ICLA 2025. (Best Paper Award)
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) arXiv
In Automated Reasoning, IJCAR 2024.
In Automated Reasoning, IJCAR 2024.
In 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024.
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) pdf
In 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023.
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) pdf
In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022.
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) pdf
In 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022.
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) HAL
In 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021.
In 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021.
In Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019.
In Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019.
Teaching
Teaching
PhD Thesis
PhD Thesis
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)
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)
Google Sites
Report abuse