Eric Mullen

Registered user since Tue 2 Feb 2016

Name: Eric Mullen

Affiliation: University of Washington

Personal website: http://homes.cs.washington.edu/~emullen

Research interests: Verification, Compiler Verification, Proof Assistants

PLDI 2016 Activities

PLDI 2016-profile
View general profile