Ramkumar Ramachandra

Category theorist and formal methods researcher