Home » user account

David Van Horn

Personal information


http://www.cs.brandeis.edu/~dvanhorn/

dvanhorn at cs dot brandeis dot edu


My research interests are in programming languages, analysis of functional programming languages, type theory, and language based approaches to security.

History


4 years 22 weeks