Nachiappan V

PhD student at Chalmers University on the Octopi project. I study programming languages, and my research interests lie in the areas of functional programming, type systems and language-based security. Currently, I spend an awful lot of time thinking about normalization and partial evaluation techniques targeting programming language applications.

Recent work

Talks

Past gigs