Person. Serra Dane

PhD · University of Michigan · serradane.github.io/serradane · 0009-0008-9028-6597 · https://github.com/szdane
PhD advisorJean-Baptiste Jeannin
PhDUniversity of Michigan
UndergraduateUniversity of Colorado Boulder

Papers

Provably Safe Optimization of Arrival Flows Into Terminal Airspace dane-2026-provablyAIAA AVIATION 2026 Forum · 2026
DOI

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types dane-2026-towardsNFM · 2026
DOI

Automatic Certification of the Active Corner Method for Collision Avoidance kheterpal-2026-automaticNFM · 2026
DOI
serradane person entries/rolodex/serradane.hel