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

AI/ML

Education

Non Profit

Software Engineering

Kestrel Institute

Eric Smith

Stephen Westfold

Douglas Smith

James McDonald

Eric McCarthy

Christoph Kreitz

Allen Goldberg

Limei Gilham

Stephen Fitzpatrick

Alessandro Coglio

Marcel Becker

Cordell Green

The Research Team at Kestrel Institute conducts advanced studies in areas such as domain-specific synthesis, formal analysis and verification, machine learning, and planning and scheduling. This team is composed of ten highly specialized research staff focused on developing innovative methodologies and solutions to complex problems in these fields.

Research Team

Research Team

About

Team members