Kestrel Institute

0 followers


Kestrel Institute researches on domain-specific synthesis, formal analysis and verification, machine learning, planning and scheduling.

Industries

Employees

11-50

Links

Org chart

Eric Smith

Collapse
Marcel Becker
Computer Scientist
Alessandro Coglio
Research Staff
Stephen Fitzpatrick
Research Staff
Limei Gilham
Research Staff
Allen Goldberg
Research Staff
Christoph Kreitz
Research Staff
Eric McCarthy
Research Staff
James McDonald
Computer Scientist
Douglas Smith
Research Staff
Stephen Westfold
Research Staff