Filipe Militão

dual_degree_phd
Enrollment year: 2009
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