Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Edward Z. Yang

Registered user since Thu 17 Mar 2016

Name:Edward Z. Yang

I am a fourth year PhD student at Stanford advised by David Mazières and John Mitchell. I am a proud member of the Secure Computer Systems group. I’m interested in applying operating system mechanisms (hardware isolation, dynamic resource limits) to the design and construction of programming languages, and vice versa (type systems, formal verification, information flow control). I’m a big fan of Haskell, a non-strict purely functional language.r.

Country:United States
Affiliation:Stanford University
Personal website: http://ezyang.com
Research interests:Programming Languages


Show activities from other conferences

ICFP 2016-profile
View general profile