Simon F. Goldsmith, Ph.D.

Affiliations: 
2009 Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)
Google:
"Simon Goldsmith"

Parents

Sign in to add mentor
Koushik Sen grad student 2009 UC Berkeley
 (Measuring empirical computational complexity.)