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 take active interest in teaching and discussing the history and philosophy of scientific research.

CV

Current

Pubs

Abstracts, etc.

Teaching

Supervision

Talks

Past gigs

Contact

nachivpn[at]gmail.com