Nachiappan V

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

Recent work

• Simple Noninterference by Normalization, PLAS 2019
• Exponential Elimination for Bicartesian Closed Categorical Combinators, PPDP 2019
• Towards Adding Variety to Simplicity, ISoLA 2018
• Typing the Wild in Erlang, Erlang Workshop 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)