Joel D. Galenson, Ph.D.

Affiliations: 
2014 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:
"Joel Galenson"

Parents

Sign in to add mentor
Rastislav Bodik grad student UC Berkeley
Koushik Sen grad student 2014 UC Berkeley
 (Dynamic and Interactive Synthesis of Code Snippets.)