ºÝºÝߣ

San Francisco Bay Area, California United States

Computer Scientist at SRI International

Education

I am a Computer Scientist in the Computer Science Laboratory at SRI International. I'm currently working on building scalable automated mechanisms to identify and repair program errors, and specification-based tools to create and synthesize new, custom programs from a large corpus. Specialties: Software Engineering, Web application development, Information Retrieval for Software Engineering.