David Van Horn

Personal information


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