@ADasAcademic profile picture
Anupam Das @ADasAcademic

Proof theorist, logician, mathematician, in order of abstraction.

Joined July 2011
  • Tweets 59
  • Following 57
  • Followers 107
Photos and videos
Olivier Laurent has posted an interesting blog post challenging the usual wisdom about canonicity of linear logic connectives, definitely worth a read! prooftheory.blog/2026/06/03/…

1
2
7
460
I have a new blog post with Ian Shillito and Jim de Groot: prooftheory.blog/2025/10/03/… . In it we complete the classification of intuitionistic modal logics by their Diamond-free parts. It's been a whirlwind story, involving both automated and interactive theorem proving!
63
Dale Miller has shared a memoriam and some enlightening personal reflections about the late Peter Andrews on the Proof Theory Blog: * prooftheory.blog/2025/06/17/… * prooftheory.blog/2025/06/17/…
70
I have a new blog post comparing exponentials with their fixed point encodings in linear logic on The Proof Theory Blog: prooftheory.blog/2024/06/27/… . Any comments are welcome!

1
1
322
Timo Lang has written a cool post on the Proof Theory Blog about the conservativity of extending constructive modal logics by a normal diamond. He has a one line proof! prooftheory.blog/2024/03/20/…
2
134
What happens when intuitionism and modalities interact? Sonia Marin and I discuss the state of the art in a new blog post: prooftheory.blog/2022/08/19/…
1
Dale Miller has written an excellent post on the Proof Theory Blog on the decomposition of intuitionistic logic via linear logic: prooftheory.blog/2022/07/06/…. Dale argues that Gentzen's calculus LJ naturally induces Girard's linear logic.

1
1
I have (another) postdoc opening in my group at Birmingham: jobs.ac.uk/job/CPP274/postdo… . Please let interested students/postdocs to get in touch with me informally first. The deadline is 29 May.
4
I have a postdoctoral position opening in my group in Birmingham: jobs.ac.uk/job/CLO630/resear… . Please encourage your students/postdocs to consider applying! I am available for informal enquiries (preferably before Christmas).
1
Ever wondered about why cut-elimination in the sequent calculus is problematic from proofs-as-programs point of view? Boris Eng and Farzad Jaffarahmani investigate (non-)confluence of cut-elimination in the latest post on the Proof Theory Blog: prooftheory.blog/2021/09/23/… .

1
I've been back on the Type Theory For All podcast with @p_droabreu0, this time debating @taooftypes on a hot topic: constructivism vs classicism. Check it out! typetheoryforall.com

Pedro Abreu@p_droabreu0
14 Jul 2021
Ever wondered what's so broken about classical logic? You might be interested in the latest episode of typetheoryforall.com where I host a discussion between @ADasAcademic and @taooftypes on the role of constructivism in math / cs / logic. Check it out!
3
Daniel Murfet and I have a joint Birmingham-Melbourne PhD opportunity available, on the proof theory and algebra of fixed points: findaphd.com/phds/project/pr… . Please advertise this to your students!

Proof Theory and Algebra for Fixed Points at University of Birmingham on FindAPhD.com

PhD Project - Proof Theory and Algebra for Fixed Points at University of Birmingham, listed on FindAPhD.com

findaphd.com
1
I recently sat down with @p_droabreu0 for a discussion about proof theory and foundations on his podcast, Type Theory for All. You can find it here: typetheoryforall.com/
1
3
The Tableaux 2021 deadline has been extended to 26 April / 30 April. Please consider submitting! tableaux2021.org/
Thank you to all those who attended/organised the Midlands Graduate School last week. It was probably the best virtual event I have experienced during this awful pandemic. FYI, I will keep my Proof Theory course page available for reference: anupamdas.com/mgs21 .
2
Today I'm pleased to announce the launch of the Proof Theory Blog: prooftheory.blog , a new collaborative community project for discussing ideas, works-in-progress and folklore relating to Proof Theory. Please read, comment and contribute!

1
2
3
I have funding for 2 postdocs in Proof Theory at Birmingham: jobs.ac.uk/job/CAD990/resear… . Please get in touch if you are interested in applying!
5
3
I am delighted to announce that I have won a UKRI Future Leaders Fellowship worth £1.4million! ukri.org/news/new-round-of-f… More details, including PhD/postdoc offers, will be available on my webpage soon.

1
6
I am visiting the University of California, San Diego from 28 Jan - 8 Mar. math.ucsd.edu
1
I will be visiting the Logic and Computation group at ANU from 26 Nov - 21 Dec. cs.anu.edu.au/research/theor…
Load more