MENTOR: Automated Feedback for Introductory Programming Exercises by Pedro Orvalho (Oxford University)

22 Abr 2025 - 14h00

Categoria:
Seminário

Onde:
Presencial

Local:
Sala de Seminários do DI e ZOOM

Descrição:

Pedro Orvalho is a Research Associate in the Computer Science Department at Oxford University, working with Professor Marta Kwiatkowska. He holds a Ph.D. in Computer Science from Instituto Superior Técnico (IST), University of Lisbon (UL). During his Ph.D, he was a Junior Researcher in the Automated Reasoning and Software Reliability group at INESC-ID. His Ph.D. was conducted in collaboration with the Czech Technical University (CTU) in Prague, with research host institutions at INESC-ID, IST in Lisbon, and CIIRC, CTU in Prague.