My name is Eddy and I am a Computer Scientist at Kestrel Institute.
My research is on developing techniques at the boundary of the
programming languages and software engineering fields, to provide
practical, high-productivity approaches to verification. In the long
term, this will greatly reduce software bugs without compromising the
productivity goals of modern software design practice, saving the
nation billions of dollars annually and improving the reliability of
safety-critical software systems like airplanes, cars, and medical
devices. To accomplish this, my research focuses on novel type systems
that verify properties of systems in a lightweight,
programmer-oriented manner.