Aaron Greenhouse
Carnegie Mellon University , 2003
Ph.D. , Computer Science
New York
About
Aaron is a Senior Software Engineer for SureLogic, Inc., a Pittsburgh-based technology company that creates source code analysis tools that accelerate development and help developers engineer more reliable Java software applications. SureLogic’s products are based in part on Aaron’s doctoral research. He has eight published papers on the topics of Java concurrency analysis, assured program evolution, and static program analysis.
Education
Carnegie Mellon University
Ph.D. , Computer Science
Class of 2003