Na próxima 4ª feira, dia 10 de setembro, teremos duas talks no âmbito do processo de scouting.

Autor e vínculos: Prof. Dr. Ezequiel Zorzal, Instituto de Ciência e Tecnologia, Universidade Federal de São Paulo (UNIFESP)

Bio: Ezequiel Zorzal é Professor Associado na UNIFESP, onde coordena pesquisas em Tecnologias Emergentes e Interativas. Com mais de 15 anos de experiência em ensino, pesquisa e desenvolvimento, atua nas áreas de Interação Humano-Computador e Realidade Estendida (XR). Colabora como pesquisador externo no INESC-ID / Instituto Superior Técnico.

Título: Tecnologias imersivas e inteligentes: aplicações em educação e saúde

Resumo: Nesta apresentação, compartilharei minha trajetória no desenvolvimento de tecnologias imersivas, com ênfase em usabilidade e aplicações para saúde e educação. Discutirei como a Inteligência Artificial potencializa esses ambientes e como integro esses temas em minha prática docente. O objetivo é conectar meu trabalho às áreas do DEI, visando futuras colaborações.

---

Autor e vínculos: Dr. Pedro Orvalho (Department of Computer Science, University of Oxford)

Bio: Pedro Orvalho is a Postdoctoral Researcher in the Department of Computer Science at the University of Oxford, working with Professor Marta Kwiatkowska. He holds a PhD in Computer Science from Instituto Superior Técnico, Universidade de Lisboa, completed under a European Doctorate Programme in collaboration with the Czech Technical University in Prague. For five years, Pedro contributed to teaching as an Invited Teaching Assistant for the Computer Science Department at IST.

His research focuses on the intersection of Automated Reasoning and Machine Learning, with a current emphasis on the robustness of Large Language Models for code understanding and applications in computer-aided education. During his MSc, he was a Research Assistant at Carnegie Mellon University and a Research Intern at OutSystems. His work has been recognised with several awards, including Vencer o Adamastor (2025), the ACM SIGSOFT Distinguished Paper Award (2021), and two IST Excellence in Teaching Awards.

Título: From Logic to Learning: Rethinking Programming for the AI Era
Resumo: Abstract: As Artificial Intelligence (AI) increasingly drives advances in how we write, understand, and teach code, the very foundations of programming are being redefined. In this talk, I will reflect on my past and current work, and outline my future research vision, at the intersection of Automated Reasoning and Machine Learning, two pillars of AI that, when combined, offer powerful frameworks for rethinking programming as both a technical and educational discipline. I will present approaches that leverage the precision of formal logic and the adaptability of learning-based models to enable intelligent code generation, automated program analysis, and personalized, feedback-driven programming education. By blending formal guarantees with data-driven methods, my goal is to advance not only the tools we use to program, but also how we learn and teach programming in an AI-driven world.