Ruben Martins is a Systems Scientist at Carnegie Mellon University. His interests lie in the intersection of constraint programming with program synthesis, analysis, and verification.

Lecture by CMU Portugal Faculty member Manuela Veloso, Head of artificial intelligence research at J.P.Morgan

Ongoing projects on areas such as inclusion, education, qualification and employability, specialization and research.

Online Workshop sponsored by XSEDE organized by the Pittsburg Supercomputing Center.

Lecture by CMU Portugal Professor Manuela Veloso, Head of artificial intelligence research at J.P.Morgan

Online Workshop sponsored by XSEDE organized by the Pittsburg Supercomputing Center.