Anupam Das

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

[Anupam Das @ADasAcademic]

Olivier Laurent has posted an interesting blog post challenging the usual wisdom about canonicity of linear logic connectives, definitely worth a read! https://t.co/ueRVQji7oz

[Anupam Das @ADasAcademic]

I have a new blog post with Ian Shillito and Jim de Groot: https://t.co/fYzU50fCBM . 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!

[Anupam Das @ADasAcademic]

Dale Miller has shared a memoriam and some enlightening personal reflections about the late Peter Andrews on the Proof Theory Blog:
* https://t.co/c4WTlu4M0W
* https://t.co/cOmph4wgq4

[Anupam Das @ADasAcademic]

I have a new blog post comparing exponentials with their fixed point encodings in linear logic on The Proof Theory Blog: https://t.co/s5jnEzoAnn . Any comments are welcome!

[Anupam Das @ADasAcademic]

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! https://t.co/mFJFL7a3In

[Anupam Das @ADasAcademic]

@FellowHominid I think something like this is possible (and if so folklore). It is similar to adding the general 'mix' rule, which I believe renders cut-elimination confluent in LK (?). Would make for a good blog post! ;)

[Anupam Das @ADasAcademic]

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: https://t.co/VBCFtso4A4 .

[Anupam Das @ADasAcademic]

What happens when intuitionism and modalities interact? Sonia Marin and I discuss the state of the art in a new blog post: https://t.co/f1HqADzIYI

[Anupam Das @ADasAcademic]

Dale Miller has written an excellent post on the Proof Theory Blog on the decomposition of intuitionistic logic via linear logic: https://t.co/KYqMTkBkyl. Dale argues that Gentzen's calculus LJ naturally induces Girard's linear logic.

[Anupam Das @ADasAcademic]

I have (another) postdoc opening in my group at Birmingham: https://t.co/bAMwaC5YPl . Please let interested students/postdocs to get in touch with me informally first. The deadline is 29 May.

[Anupam Das @ADasAcademic]

I have a postdoctoral position opening in my group in Birmingham: https://t.co/WVgX2z05fS . Please encourage your students/postdocs to consider applying! I am available for informal enquiries (preferably before Christmas).

[Anupam Das @ADasAcademic]

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! https://t.co/QoZPelvlaN

[Pedro Abreu @p_droabreu0]

Ever wondered what's so broken about classical logic? You might be interested in the latest episode of https://t.co/M8IAWrsaAq where I host a discussion between @ADasAcademic and @taooftypes on the role of constructivism in math / cs / logic. Check it out!

[Anupam Das @ADasAcademic]

Daniel Murfet and I have a joint Birmingham-Melbourne PhD opportunity available, on the proof theory and algebra of fixed points: https://t.co/Fq3kcIDS5u . Please advertise this to your students!

[Anupam Das @ADasAcademic]

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: https://t.co/k4fKUiTFtl

[Anupam Das @ADasAcademic]

The Tableaux 2021 deadline has been extended to 26 April / 30 April. Please consider submitting! https://t.co/46VdiaFQXs

[Anupam Das @ADasAcademic]

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: https://t.co/H1P5kBbUT3 .

[Anupam Das @ADasAcademic]

@ArneMeier @SaskiaHeijltjes Hi, sorry for that, it should be back up now. We were hit with DNS issues at the worst time! Let me know if you have problems again.

[Anupam Das @ADasAcademic]

Today I'm pleased to announce the launch of the Proof Theory Blog: https://t.co/1mXIMsZwRf , a new collaborative community project for discussing ideas, works-in-progress and folklore relating to Proof Theory. Please read, comment and contribute!

[Anupam Das @ADasAcademic]

I have funding for 2 postdocs in Proof Theory at Birmingham: https://t.co/AQYMKFMvy6 . Please get in touch if you are interested in applying!

[Anupam Das @ADasAcademic]

I am delighted to announce that I have won a UKRI Future Leaders Fellowship worth £1.4million! https://t.co/nbWv20qPgt More details, including PhD/postdoc offers, will be available on my webpage soon.