Research Team

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.