Lambda the Ultimate

Graduate student at UCI, focused on Secure Software using Information Flow techniques.

Studying the relationship between what we think (algorithms) and what we say (programs) in order to create better (more natural, more efficient) languages to solve practical problems which occur in Software Design.