Currently a post-doc at the University of Maryland, working in the area of software verification.
Top Questions
No questions with score of 5 or more