Registered user since Fri 11 Mar 2016
Name: Ben Wiedermann
Bio: I am an Assistant Professor in the Computer Science Department at Harvey Mudd College, CA, USA.
Research Interests: I am interested in the area of programming languages. In general, I apply formal techniques and tools from the programming languages domain (e.g., abstract interpretation, formal semantics, program analysis) to make it easier to write programs.
Affiliation: Harvey Mudd College
Personal website: http://www.cs.hmc.edu/~benw/
SPLASH 2014 Activities
View general profile