Anupam Das

Employment

• The University of Birmingham
• University of Birmingham Associate Professor

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (68)

• Cyclic Implicit Complexity
  ACM Transactions on Computational Logic 2026 DOI: 10.1145/3793666
  +Save
• Wider systems for linear logic with fixed points
  2026 DOI: 10.48550/arXiv.2602.10280
  +Save
• The proof theory and semantics of second-order (intuitionistic) tense logic
  2026 DOI: 10.48550/arXiv.2602.06253
  +Save
• Cyclic System for an Algebraic Theory of Alternating Parity Automata
  2026 DOI: 10.1007/978-3-032-06085-3_24
  +Save
• Prover-Adversary games for systems over (non-deterministic) branching programs
  Logical Methods in Computer Science 2026 DOI: 10.46298/lmcs-22(2:18)2026
  +Save
• Cyclic system for an algebraic theory of alternating parity automata
  2025 DOI: 10.48550/arXiv.2505.09000
  +Save
• An algebraic theory of ω-regular languages, via μν-expressions
  2025 DOI: 10.48550/arXiv.2505.10303
  +Save
• Right-Linear Lattices
  50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025) 2025 DOI: 10.4230/LIPIcs.MFCS.2025.39
  +Save
• Prover-Adversary games for systems over (non-deterministic) branching programs
  2025 DOI: 10.48550/arXiv.2508.16014
  +Save
• Computational expressivity of (circular) proofs with fixed points
  Logical Methods in Computer Science 2025 DOI: 10.46298/lmcs-21(4:18)2025
  +Save