About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Academy
Search
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Academy
Search
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
About
The Program
Overview & Mission
Facts and Numbers
Governance
People
Faculty and Researchers
Students
Alumni
Partners
Universities
Industry Affiliates
Industry Partners
Documents and Reports
Education
Overview
Dual Degree Ph.D.
Affiliated Ph.D. Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree M.Sc.
Ph.D. in Applied Mathematics
Ph.D. in Mechanical Engineering
Ph.D. in TCE
Alumni Chapter
FAQ
Research
Overview
Large Scale Collaborative Research Projects
Entrepreneurial Research Initiatives
Exploratory Research Projects
Previous Research Initiatives
Early Bird Projects
Lead Projects
Open Calls for Projects
Publications
Job opportunities
FAQ
Innovation
Overview
Patient Innovation
inRES
Startups
Media & Events
News
Events
Newsletters
Logo & Identity Standards
Contacts
Academy
Filipe Militão
Enrollment year:
2009
Research area:
Computer Science
Institution in Portugal:
NOVA FCT
Thesis:
Rely-Guarantee Protocols for Safe Interference over Shared Memory
Graduation year:
2015
PT Supervisor:
Luís Caires
CMU Supervisor:
Jonathan Aldrich
Current position:
Software Development Engineer at Amazon
Students
Alumni
All Publications
We use cookies to ensure that we give you the best experience on our website. By using our website you agree to our Privacy Policy.
Ok
Read more
