Filipe Militão
Enrollment year: 2009
- Research area: Computer Science
- Institution in Portugal: FCT NOVA
Thesis: Rely-Guarantee Protocols for Safe Interference over Shared Memory
Graduation year: 2015
Current position: Senior Software Engineer at BBC
PT Supervisor: Luís Caires
CMU Supervisor: Jonathan Aldrich
