Nachiappan V

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

Recent work

• Towards Secure IoT Programming in Haskell, Haskell ‘20
• Simple Noninterference by Normalization, PLAS ‘19
• Exponential Elimination for Bicartesian Closed Categorical Combinators, PPDP ‘19
• Towards Adding Variety to Simplicity, ISoLA ‘18
• Typing the Wild in Erlang, Erlang ‘18

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)