Some researchers see formal specifications as a way for autonomous systems to "explain themselves" to humans. But a new study finds that we aren't understanding.
Designed to ensure safer skies, “Air-Guardian” blends human intuition with machine precision, creating a more symbiotic relationship between pilot and aircraft.
Sharmi Shah ’23 pursued Course 2-A/6, a customizable degree path that combines mechanical engineering with computer science and electrical engineering.