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.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
