PhD student at Chalmers University on the Octopi project. I work on functional programming languages using types, categories and logic.
Some things I’ve done in the past
- Masters in Computer Science (Algorithms, Logic and Languages) at Chalmers University, Sweden
- Summer student at CERN
- Backend development/consultant at/for a bunch of startups
- Bachelors in Computer Science at National Institute of Technology, Calicut (India)