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 PhD
Executive Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree MSc
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
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Logo & Identity Standards
Contacts
Menu
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 PhD
Executive Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree MSc
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
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Logo & Identity Standards
Contacts
Facebook
Twitter
Linkedin
Search
Close
Menu
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 PhD
Executive Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree MSc
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
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Logo & Identity Standards
Contacts
Facebook
Twitter
Linkedin
Search
Close
Menu
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 PhD
Executive Programs
Visiting Students Program
Visiting Faculty and Researchers Program
Admissions and Scholarships
Previous Education Initiatives
Dual Degree MSc
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
Innovation
Overview
inRES
Startups
Media & Events
News
Events
Logo & Identity Standards
Contacts
Search
Close
Flávio Cruz
Program:
Ph.D. in Computer Science
Affiliation:
FCUP
Class:
2011
Thesis:
Linear Logic and Coordination for Parallel Programming
Graduation year:
2015
Current position:
Software Engineer Google
PT Supervisor:
Ricardo Lopes da Rocha
CMU Supervisor:
Seth Copen Goldstein
CMU Supervisor:
Frank Pfenning
Students
Alumni
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
