Abhishek De

Employment

• University of Birmingham Research Fellow
  2023 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (2)

• Cyclic System for an Algebraic Theory of Alternating Parity Automata
  2026 DOI: 10.1007/978-3-032-06085-3_24
  +Save
• A proof theory of right-linear (ω-)grammars via cyclic proofs
  2024 DOI: 10.1145/3661814.3662138
  +Save