Abhishek De
Office 234
School of Computer Science
University of Birmingham
Email: a.de [at] bham.ac.uk
About me
I am a Research Fellow in the Theory Group at the School of Computer Science at the University of Birmingham. I am funded by the UKRI Fellowship StrIP headed by Anupam Das. Formerly, I was a PhD student at IRIF, Université de Paris under Alexis Saurin. I am interested in structural proof theory and its interactions with automata theory.
Publications
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.
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.
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.
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.
Infinets: the parallel syntax for non-wellfounded proof-theory. (with Alexis Saurin) HAL
In Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019.