Stephen Fitzpatrick's Colleagues at Kestrel Institute
Stephen Fitzpatrick's Contact Details
HQ
Location
Company
Kestrel Institute
Kestrel Institute
Stephen Fitzpatrick's Company Details
Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California.Our research spans formal methods, program synthesis and refinement, program analysis and verification, formal modeling and validation, theorem proving, and planning.Kestrel's customers include DoD, DARPA, IARPA, AFRL, AFOSR, ONR, NASA, NSF, GE, the Ethereum Foundation, and the Decentralization Foundation.
Frequently Asked Questions about Stephen Fitzpatrick
Stephen Fitzpatrick currently works for Kestrel Institute.
Stephen Fitzpatrick's role at Kestrel Institute is Computer Scientist.
Stephen Fitzpatrick's email address is ***@kestrel.edu. To view Stephen Fitzpatrick's full email address, please signup to ConnectPlex.
Stephen Fitzpatrick works in the Computer Software industry.
Stephen Fitzpatrick's colleagues at Kestrel Institute are Eddy Westbrook, Stephen Westfold, Cordell Green and others.
Stephen Fitzpatrick's phone number is