Kestrel Institute

0 followers

‌

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

Industries

+2

Headquarters

Employees

Links

Org chart

Eric Smith
CEO

Eric Smith

Collapse
CG
Cordell Green
Director
MB
Marcel Becker
Research Staff
AC
Alessandro Coglio
Research Staff
SF
Stephen Fitzpatrick
Research Staff
LG
Limei Gilham
Research Staff
AG
Allen Goldberg
Research Staff
CK
Christoph Kreitz
Research Staff
EM
Eric McCarthy
Research Staff
JM
James McDonald
Research Staff
DS
Douglas Smith
Research Staff
SW
Stephen Westfold
Research Staff

Teams

AC
CG
+9

Leadership Team

12 members

CEO and Executive Team

1 members

Similar companies

Valera Health logo

Valera Health

59 followers

Abbott logo

Abbott

194 followers

Unity logo

Unity

144 followers

Boston Scientific logo

Boston Scientific

54 followers

Cisco logo

Cisco

1085 followers

Discover companies