Plenary and Keynote Speakers

Dr. Tobias Nipkow
Technical University of Munich, Germany
Plenary Speaker

Prof. Nipkow (*1958) works in the area of logic in computer science. He focuses on interactive and automatic theorem proving, programming language sematics, type systems and functional programming. His chair is developing the interactive proof assistant Isabelle.

Prof. Nipkow received his Diplom (MSc) in Informatik from the Technische Hochschule Darmstadt in 1982 and his PhD from the University of Manchester in 1987. Having held research positions at MIT (1987-1989) and Cambridge University (1989-1992), he was appointed Professor for the Theory of Programming at TUM in 1992. Since 2011 he has held the chair of Logic and Verification at TUM.

Topic of Keynote:

Dr. Carolyn Penstein Rose
Carnegie Mellon University, USA
Plenary Speaker

Dr. Carolyn Rosé is the Kavčić-Moura Professor of Language Technologies and Human-Computer Interaction in the School of Computer Science at Carnegie Mellon, and Program Director for the Masters of Computational Data Science Program. Her research program explores interactive and explainable Sociotechnical Artificial Intelligence from a highly interdisciplinary perspective. Her 3+ decades long career has aimed to develop technology to positively impact human learning. Her team’s research, published in over 330 peer reviewed publications, pushes the frontier of learnability and generalizabiliry through deeply data focused explorations of inductive biases. Her work develops and explores novel representations and architectural elements using a problem-driven approach motivated by error analysis and exploratory data analysis, with a current emphasis on abstraction and decomposition, which are arguably two of the greatest challenges for LLMs. She investigates these issues across multiple problem areas including multimodal conversational process analysis, multimodal document understanding, clinical text processing, knowledge based question answering, and language models of code. She is a Past President and Inaugural Fellow of the International Society of the Learning Sciences, Senior member of IEEE, Founding Chair of the International Alliance to Advance Learning in the Digital Era, and Executive Editor (formerly Co-Editor-in-Chief) of the International Journal of Computer-Supported Collaborative Learning. She also serves as a 2020-2021 AAAS Leshner Leadership Institute Fellow for Public Engagement with Science, with a focus on public engagement with Artificial Intelligence. This year she is serving as Program Co-Chair for Empirical Methods in Natural Language Processing.

Topic of Keynote: Sociotechnical Artificial Intelligence: Exploring Human-AI Complementarity in Multi-Agent Team Environments
Plenary Abstract

Dr. Ouri Wolfson
University of Illinois at Chicago, USA
Plenary Speaker

Ouri Wolfson received his B.A. degree in mathematics, and his Ph.D. degree in computer science from Courant Institute of Mathematical Sciences, New York University. Currently he is a Professor of Computer Science at the University of Illinois at Chicago and the founder and Chief Scientific Officer of Pirouette Software Inc., a smart city company. Previously he has been on the computer science faculty at the Technion, Columbia University, and a Member of Technical Staff at Bell Laboratories. He was also the founder of Mobitrac, a high-tech venture-funded startup that was acquired in 2006. He served as a consultant to Argonne National Laboratory, US Army Research Laboratories, DARPA, and NASA. Ouri Wolfson authored over 240 publications, eight of them award winning. He holds seven patents, and has over 17,000 citations on Google scholar. He is a Fellow of the Association of Computing Machinery (ACM), a Fellow of the American Association for the Advancement of Science (AAAS), a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), a Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA), Fellow of the International Artificial Intelligence Industry Alliance (AIIA), and a University of Illinois Scholar. He served as a Distinguished Lecturer for the ACM. His research has been funded by the NSF, Air Force Office of Scientific Research, DARPA, NATO,US Army, NASA, Hughes Research Labs, Accenture, Hitachi Co.

Topic of Keynote: