PhD Candidates
Felipe Santos
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.
Details
- Advisor
- Prof. Marcelo Finger
- Field
- Computer Science
- Institution
- University of Sao Paulo
- Skills
- formal methodsmodel checkingTLA+SPINIsabelle HOLCembedded systems
- Thesis
- Formal verification methods for safety-critical embedded software in avionics systems
- Transition Signals
- collaboration with Embraer systems safety departmentdirect appointment at Bosch Brazil for AV control softwarethree FMCAD conference papers