Nachiappan V

PhD student at Chalmers University on the Octopi project. I work on functional programming languages using types, categories and logic.

Recent work

• Typing the Wild in Erlang, Erlang Workshop at ICFP 2018
• Towards Adding Variety to Simplicity, ISoLA 2018

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)