Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das's user avatar
Anupam Das
  • Member for 10 years, 9 months
  • Last seen more than 1 year ago
  • anupamdas.com
  • Bath
Stats
1
reputation
0
reached
0
answers
0
questions
About
PhD Student, Department of Computer Science, University of Bath Supervisor: Alessio Guglielmi Research interests: Proof theory, proof complexity, deep inference, logic, semantics of proofs
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.