Lecturers
Each Lecturer will hold up to four lectures on one or more research topics.
Topics
Machine Learning, Learning Theory, Artificial Intelligence, Feature LearningBiography
Mikhail Belkin received his Ph.D. in 2003 from the Department of Mathematics at the University of Chicago. His research interests are in theory and applications of machine learning and data analysis. Some of his well-known work includes widely used Laplacian Eigenmaps, Graph Regularization and Manifold Regularization algorithms, which brought ideas from classical differential geometry and spectral analysis to data science. His recent work has been concerned with understanding remarkable mathematical and statistical phenomena observed in deep learning. This empirical evidence necessitated revisiting some of the basic concepts in statistics and optimization. One of his key recent findings is the “double descent” risk curve that extends the textbook U-shaped bias-variance trade-off curve beyond the point of interpolation.
Mikhail Belkin is a recipient of a NSF Career Award and a number of best paper and other awards. He has served on the editorial boards of the Journal of Machine Learning Research, IEEE Pattern Analysis and Machine Intelligence and SIAM Journal on Mathematics of Data Science.
Lectures
Topics
Artificial Intelligence, Automated Planning, Strategic ReasoningBiography
Giuseppe De Giacomo is a Professor of Computer Science in the Department of Computer Science at the University of Oxford. He has previously been a Professor at the Department of Computer, Control, and Management Engineering of the University of Rome “La Sapienza”. His research spans theoretical, methodological, and practical aspects of Artificial Intelligence and Computer Science, with major contributions to Knowledge Representation, Reasoning about Actions, Generalized Planning, Autonomous Agents, Temporal Synthesis and Verification, Service Composition, Business Process Modeling, and Data Management and Integration. He is a Fellow of AAAI, ACM, and EurAI. He was awarded an ERC Advanced Grant for the project WhiteMech: White-box Self-Programming Mechanisms. He served as Program Chair of ECAI 2020 and KR 2014. He is a member of the Board of EurAI and chairs the steering committee of EurAI’s annual summer school ESSAI.
Lectures
ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.
ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.
ABSTRACT: This course presents temporal synthesis as a foundation for guardrailing agentic AI. Temporal synthesis studies the automatic synthesis of interactive programs (strategies) from declarative specifications expressed in temporal logic. In this course, we show how temporal synthesis provides a practical foundation for strategic reasoning in autonomous AI systems. The key to this research path lies in the rich body of concepts developed in reasoning about actions and planning, combined with a precise treatment of nondeterministic environments and temporal objectives. In such settings, plans must be treated as strategies rather than being blurred with individual execution traces, and goal satisfaction evolves during execution rather than being reducible to reaching states with fixed properties, as in classical planning. These features are naturally captured within the temporal synthesis framework. Technically, we study the structure of the entire space of strategies satisfying a specification. Rather than assuming strategies to be observable, we focus on characterizing the set of execution traces that are compliant with a given strategy space. This perspective provides formal support for guardrailing and responsibility attribution in systems composed of multiple, independently acting autonomous agents.
Topics
Gemini, Gemini’s adversarial security, privacy evaluations, post-trainingBiography
Hi, I am a staff research scientist at Google DeepMind. I am the research lead for a team of 10+ technical staff working on Gemini’s adversarial security and privacy evaluations and post-training. My research interests lie at the intersection of AI, Security and Privacy. See my Google Scholar profile for a list of recent publications, my CV, or feel free to reach out to me.
Lectures
Topics
Artificial IntelligenceBiography
Abdelsalam Helal (aka: Sumi Helal) is a full Professor in the Computer Science and Engineering Department at the University of Bologna. Prior to joining UNIBO, he spent 26 years as associate and then full processor in the Computer & Information Science and Engineering Department at the University of Florida. At UF, he directed the Mobile and Pervasive Computing Laboratory and co-founded and directed the Gator Tech Smart House –a real-world deployment project. His active areas of research focus on architectural and programmability aspects of the Internet of Things (IoT), service-oriented IoT architectures, IoT edge intelligence, and pervasive/ubiquitous systems and their human-centric applications, especially in the Digital Health area. Helal is also a technologist at heart who founded several successful ventures in the areas of IoT and Digital Health. His research was licensed by the top multinational tech industry including Google, Apple, Samsung, Bosch, Siemens, Nokia, Ericsson, AMAZON, T-Mobile, Verizon, others. Prof. Helal is a Fellow of the ACM, IEEE, AAAS, AAIA, and IET. He is member of Academia Europaea, and the US National Academy of Inventors NAI. Go to the Curriculum vitae
Lectures
Abstract TBA
Abstract TBA
Topics
Tabular foundation models, foundation modelsBiography
I am a Research Scientist (Chargée de Recherche) in Machine Learning at INRIA, within the SODA team. My research lies at the intersection of statistical learning and trustworthy AI, with a focus on:
- Tabular foundation models, which unlock new possibilities through large-scale pretraining.
- Model auditing, to enhance the trustworthiness and reliability of machine learning systems.
- Learning from incomplete data, a challenge pervasive in fields like healthcare and social sciences.
I am passionate about using AI to tackle complex scientific and healthcare problems, ensuring that machine learning models are both powerful and reliable.
Lectures
Abstract TBA
Abstract TBA
Topics
Generative AI, LLMsBiography
Bruno Lepri is a senior researcher at Fondazione Bruno Kessler, where he leads the Mobile and Social Computing (MobS) Lab within the Augmented Intelligence Center. He is also Chief Scientific Officer of Ipazia Spa, a startup focused on generative AI. He currently serves as co-director of the ELLIS Unit Trento—a joint research unit between FBK and the University of Trento dedicated to machine learning—and of the Center for Computational Social Sciences, also in collaboration with the University of Trento.
Since May 2024, he has been a member of the Scientific Committee of the National Tourism Observatory.
Previously, he was Chief AI Scientist at ManpowerGroup and a senior researcher affiliated with Data-Pop Alliance, a think tank on big data and sustainable development founded by the MIT Media Lab and the Harvard Humanitarian Initiative. In 2010, he received a Marie Curie Fellowship, which enabled him to work as a postdoctoral researcher at the MIT Media Lab for three years.
He holds a PhD in Computer Science from the University of Trento.
He also founded Profilio, a startup specializing in computational personality analysis with applications in marketing, human resources, and related fields.
His research interests include computational social sciences, cooperative AI and generative social agents, machine learning, urban computing, and new models for personal data sharing.
Lectures
Topics
machine learning, knowledge discovery, artificial intelligenceBiography
Acting director of the Institute of Informatics and Telecommunications, NCSR Demokritos in Athens, Greece.
Voluntary chairman of the board of the Duchenne Data Foundation. Board member & Machine Learning advisor of Langaware Inc. Action editor of the Machine Learning journal.
Area Chair of ECAI 2025.
Lectures
Abstract TBA
Abstract TBA
Topics
Artificial Intelligence, Data Science, Global Optimization, Mathematical ModelingBiography
Panos Pardalos was born in Drosato (Mezilo) Argitheas in 1954 and graduated from Athens University (Department of Mathematics). He received his PhD (Computer and Information Sciences) from the University of Minnesota. He is a Distinguished Emeritus Professor in the Department of Industrial and Systems Engineering at the University of Florida, and an affiliated faculty of Biomedical Engineering and Computer Science & Information & Engineering departments.
Panos Pardalos is a world-renowned leader in Global Optimization, Mathematical Modeling, Energy Systems, Financial applications, and Data Sciences. He is a Fellow of AAAS, AAIA, AIMBE, EUROPT, and INFORMS and was awarded the 2013 Constantin Caratheodory Prize of the International Society of Global Optimization. In addition, Panos Pardalos has been awarded the 2013 EURO Gold Medal prize bestowed by the Association for European Operational Research Societies. This medal is the preeminent European award given to Operations Research (OR) professionals for “scientific contributions that stand the test of time.”
Panos Pardalos has been awarded a prestigious Humboldt Research Award (2018-2019). The Humboldt Research Award is granted in recognition of a researcher’s entire achievements to date – fundamental discoveries, new theories, insights that have had significant impact on their discipline.
Panos Pardalos is also a Member of several Academies of Sciences, and he holds several honorary PhD degrees and affiliations. He is the Founding Editor of Optimization Letters, Energy Systems, and Co-Founder of the International Journal of Global Optimization, Computational Management Science, and Springer Nature Operations Research Forum. He has published over 600 journal papers, and edited/authored over 200 books. He is one of the most cited authors and has graduated 71 PhD students so far. Details can be found in www.ise.ufl.edu/pardalos
Panos Pardalos has lectured and given invited keynote addresses worldwide in countries including Austria, Australia, Azerbaijan, Belgium, Brazil, Canada, Chile, China, Czech Republic, Denmark, Egypt, England, France, Finland, Germany, Greece, Holland, Hong Kong, Hungary, Iceland, Ireland, Italy, Japan, Lithuania, Mexico, Mongolia, Montenegro, New Zealand, Norway, Peru, Portugal, Russia, South Korea, Singapore, Serbia, South Africa, Spain, Sweden, Switzerland, Taiwan, Turkey, Ukraine, United Arab Emirates, and the USA.
Lectures
Abstract TBA
Tutorial Speakers
Each Tutorial Speaker will hold more than four lessons on one or more research topics.
(TBA)