About the Team
Our team include expertise in robotics, formal methods, and cybersecurity.
| Roberto Tron | BU, PI |
| Wenchao Li | BU, Co-PI |
| Cristina Nita-Rotaru | NEU, Co-PI |
| Kacper Wardega | BU, PhD student |
| Ziqi Yang | BU, PhD student |
| Max von Hippel | NEU, PhD student |