Dr. Edwin Westbrook (Eddy)
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.
For more information, see my Personal Page.