PhD & Postdoc
Felipe Santos
Computer Science · University of Sao Paulo
Felipe Santos is a PhD candidate in Computer Science at the University of Sao Paulo, supervised by Prof. Marcelo Finger. His thesis develops model-checking algorithms and formal specification languages for verifying safety properties of embedded control software in avionics and automotive systems, reducing certification cycle time. Five publications in FMCAD and FM conferences address both theoretical and toolchain contributions. Felipe has collaborated with Embraer's systems safety department on a verification prototype for flight management software. He is finalising a direct appointment at Bosch Brazil for a software verification engineering role on autonomous vehicle control units. His formal verification toolchain has been open-sourced and downloaded by aerospace suppliers globally.
Thesis Topic
Formal verification methods for safety-critical embedded software in avionics systems
Skills
Transition Signals
collaboration with Embraer systems safety department
direct appointment at Bosch Brazil for AV control software
three FMCAD conference papers
Free to browse · subscribe to unlock the full dataset
See the full dataset.
Create a free account to search every researcher, set alerts, and export verified contacts to CSV / API.
Sign Up Free →