About Eddy
A bit about me
My name is Eddy and I am a Computer Scientist at Kestrel institute.
My research focuses on advancing the state of the art in formal methods and programming languages in order to provide high-quality, reliable, and secure software. In the long term, this will save billions of dollars per year and help prevent human casualties due to software bugs and malware.
Profile
Employment
-
2013-Present
Kestrel Institute
Computer Scientist
-
Spring 2013
Rice University
Lecturer
COMP 402, "Production Programming"
-
2008-2013
Rice University
Post-Doctoral Fellow
post-doctoral advisor, 5/2011 – 7/2013: Swarat Chaudhuri
post-doctoral advisor, 6/2010 – 5/2012: Vivek Sarkar (overlapping with previous)
post-doctoral advisor, 8/2008 – 6/2010: Walid Taha
Education
-
December 2008
Washington University in Saint Louis
Ph.D. in Computer Science
advisor: Aaron Stump
-
2001
University of California, Berkeley
B.S. in Computer Science
Grants
Grant Writing and Project Experience
Grant Writing
Significant experience leading and contributing to the grant writing process in a team environment. More information.
DARPA STAC 2015-Present
Pioneering a novel program analysis idea, called reverse symbolic execution, and incorporating this idea into the commercial CodeHawk tool.
DARPA HACMS 2013-Present
Re-hosting Kestrel’s Specware synthesis tool in Coq. Developing a new approach to provably-correct synthesis of C code. Produced and managed Kestrel’s phase 2 deliverables and interactions with the HACMS ground team integration partner.
DARPA MUSE 2014-2015
Developed an approach to program understanding and synthesis using second-order matching. Designed Kestrel’s interface to the MUSE code corpus database.
DARPA CRASH 2013-2014
Designed a new approach to verifying thread-safety of Kestrel’s synthesized, multi-threaded garbage collector.
DARPA PlanX 2013-2014
Collaborated with Galois and other performers to design and implement a DSL for cyber operations.
