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

Contributions