22 Abr 2025 - 14h00
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. |
