Nachi Valliappan

I study the design and implementation of programming languages using a combination of tools from formal logic and mathematical (or “denotational”) semantics. My specific research interests include type systems, language-based security and functional programming. I care about teaching and take active interest in the history and philosophy of science.

Current

I am a Royal Society Newton International Fellow in the Laboratory for Foundations of Computer Science at the University of Edinburgh.

Ongoing projects:

Dormant projects:

Publications

Abstracts, etc.

Teaching

Supervision

Talks

Past gigs

Contact

nachivpn[at]gmail.com