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
To CMU
To Portugal
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
To CMU
To Portugal
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
To CMU
To Portugal
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
To CMU
To Portugal
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
To CMU
To Portugal
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
To CMU
To Portugal
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
Flávio Cruz
Enrollment year:
2011
Research area:
Computer Science
Institution in Portugal:
FCUP
Thesis:
Linear Logic and Coordination for Parallel Programming
Graduation year:
2015
PT Supervisor:
Ricardo Lopes da Rocha
CMU Supervisor:
Seth Copen Goldstein
CMU Supervisor:
Frank Pfenning
Current position:
Software Engineer at Databricks
Supervisors
Frank Pfenning
Seth Goldstein
Ricardo Lopes da Rocha
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
