Marco Serpa Molinaro

Marco Serpa Molinaro is an Adjunct Professor at PUC-Rio, affiliated with the Computer Science Department. His expertise lies in Optimization, Automatic Reasoning, and Theory of Computation, with a focus on algorithms under uncertainty and Integer Programming.

Marco's educational background includes:

• Bachelor's Degree in Computer Engineering from PUC-Rio (2005)
• Master's Degree in Computer Science from PUC-Rio (2008)
• PhD in Algorithms, Combinatorics, and Optimization from Carnegie Mellon University (2013)

His research interests bridge theoretical and applied aspects of computational complexity, including:

• Optimization algorithms
• Automated reasoning systems
• Computational theory foundations
• Uncertainty modeling in algorithm design
• Integer programming techniques

Marco has been honored with:

• CNPq Level 2 Productivity Grant
• FAPERJ Young Scientist of Our State Grant