Prof. Dr. Enkelejda Kasneci is a Distinguished Professor at the Technical University of Munich (TUM), leading the Chair of Human-Centered Technologies for Learning. She holds dual affiliations within TUM School of Social Sciences and Technology and TUM School of Computation, Information and Technology. Her research integrates AI, eye-tracking, and immersive technologies to advance educational paradigms. She directs the TUM Center for Educational Technologies and chairs the MSc program 'AI in Society.' Education: PhD in Computer Science from University of Tübingen (2013), M.Sc. from University of Stuttgart (2007). Earlier roles include Assistant Professor and Dean of Studies at University of Tübingen. Research Focus: Human-centered AI applications in education, multimodal interaction design, and privacy-preserving eye-tracking. Her work bridges technology and pedagogy through projects like AI tutor PEER, VR Classroom, and Privacy-Preserving Eye-tracking. Key Projects: Leads EU-funded projects VIVA (€1.125M), DigiProMIN (€163K), and SARA Kids (€244.8K). Active in policy initiatives like Europe’s AI Imperative. Awards: TUM Heinz Maier-Leibnitz Medal (2024), Liesel Beckmann Distinguished Professorship (2022), and Südwestmetall Research Prize (2014). Grants & Advising: Over €5M in secured funding across 12+ projects. Supervises 14+ PhD researchers and mentors postdocs in AI education and HCI. Labs & Teams: IT-Stiftung EdTech Lab houses advanced VR/eye-tracking setups. Research group includes 20+ members spanning AI, HCI, and educational technology.
Haoyi Xiong is an active academic researcher in artificial intelligence, machine learning, and data science, with extensive publications in top-tier journals and conferences including IEEE TPAMI, NeurIPS, ICML, KDD, and AAAI. His work spans explainable AI, graph neural networks, diffusion models, remote sensing, and large language models. Research Interests: Explainable AI (XAI) and model interpretability Graph Neural Networks and contrastive learning Diffusion models and generative AI Medical and remote sensing image analysis Large language models and autonomous agents Learning to rank and web search His recent publications (2023–2025) show a strong trend toward self-supervised learning , model robustness , and integration of LLMs with structured data and knowledge graphs . He frequently collaborates with researchers from major tech and academic institutions. Scientific Awards: No explicit awards mentioned in the provided text. Advising and Grants: While no direct mention of students or grants, his role as a senior author on numerous papers suggests he advises graduate students and likely leads funded research projects in machine learning and AI. His work on frameworks like COLTR , GS2P , and MUSCLE indicates leadership in developing scalable AI systems. Labs and Teams: Though not explicitly stated, his frequent collaboration with Jiang Bian, Dejing Dou, and Dawei Yin suggests affiliation with a well-established AI research lab or industry-academia partnership focused on data mining, intelligent systems, and large-scale learning.
Martín Hötzel Escardó is a Professor of Theoretical Computer Science in the School of Computer Science at the University of Birmingham, UK. He has been a faculty member since 2000, following previous academic positions at Imperial College London, the University of Edinburgh, and the University of St Andrews. His research bridges theoretical computer science and pure mathematics, with a strong emphasis on foundational aspects of computation. His educational background includes a BSc and MSc from Universidade Federal do Rio Grande Sul (Brazil) and a PhD from Imperial College London (1997) under Michael B. Smyth. Escardó's research interests center on topology in computation , constructive mathematics , dependent and univalent type theory (including Homotopy Type Theory and Cubical Type Theory), domain theory , locale theory , and exact real-number computation . His work explores deep connections between logic, topology, and programming, often using functional languages like Haskell and Agda to formalize and experiment with theoretical ideas. He is particularly known for his discoveries on exhaustively searchable infinite sets and the topological nature of computability. The trend in his recent publications reflects a sustained focus on univalent foundations, constructive domain and order theory, game semantics with dependent types, and the logical structure of type universes. His work consistently advances the formalization and understanding of higher-type computation and constructive mathematics within modern type theories. He has no listed scientific awards in the provided text, but his influence is evident through his extensive publication record and software developments like TypeTopology. Escardó has advised several students and collaborators, though specific names are not listed. He has been involved in significant research projects, particularly in the formalization of mathematics in type theory and the semantics of programming languages. His work often involves developing Agda libraries to formalize new mathematical results constructively. He leads and contributes to a vibrant research group in theoretical computer science at Birmingham, with a focus on logic, semantics, and type theory. His public research blog, lecture notes, and open-source Agda code (e.g., TypeTopology, HoTT-UF-in-Agda) serve as important resources for the community.
Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.
Dr. Benjamin de Haas is a vision scientist and faculty member at Justus Liebig University Giessen , Germany, within the Department of Psychology and Sports Science . He currently leads the ERC-funded Indivisual project and co-leads project C9 Factors influencing categorical face processing within the Collaborative Research Centre CRC/TRR 135. He is also a principal investigator in the NeurOscientific Workflow Assistance (NOWA) infrastructure project, dedicated to open, reproducible neuroscience. Research Focus Dr. de Haas pursues two intertwined questions: How do early and late stages of visual processing interact—from the initial registration of slanted edges to the recognition of faces? How and why do our perceptions differ from one person to the next? To answer these questions his group combines psychophysics, high-resolution eye-tracking, functional and quantitative MRI, and computational modelling, with a strong emphasis on face perception, individual differences, and naturalistic viewing conditions. Publications Overview Across more than 20 publications since 2016, Dr. de Haas has advanced understanding of individual differences in face processing, gaze control, and visual salience. His work repeatedly appears in Journal of Vision , Nature Communications , PNAS , and NeuroImage , highlighting a sustained focus on eye-movement behaviour, cortical representations of faces and scenes, and methodological best practices in neuroimaging. Current Supervision & Team Dr. de Haas currently supervises two PhD students: Elaheh Akbarifathkouhi Hilal Nizamoglu Together with Dr. Katharina Dobs (co-project leader) and affiliated post-docs and research technicians, the group forms the Indivisual laboratory at Giessen. Contact & Resources Email: Benjamin.de-Haas@psychol.uni-giessen.de Department of Psychology and Sports Science Otto-Behaghel-Str. 10F, 35394 Gießen, Germany
Prof. Dr. Erik Rodner is a faculty member at the University of Applied Sciences Berlin (HTW Berlin), where he serves as a Professor for Machine Learning and Data Science. He also contributes to the School of Engineering Sciences - Technology and Life. His research spans computer vision, machine learning, and biomedical applications, with a focus on learning with limited data, robust visual recognition models, and medical image analysis. He has developed innovative methods for medical diagnostics, industrial classification, and anomaly detection. Recent publications (2025-2016) highlight his expertise in visual in-context learning, semi-weakly segmentation, and active learning frameworks. He has collaborated with institutions such as ZEISS Group, Friedrich Schiller University Jena, and UC Berkeley. Scientific Awards: Award for Excellent Teaching (2023)
Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.
Professor Siegfried Handschuh holds dual academic appointments as Associate Professor at the University of Passau and Ordinary Professor for Data Science at the University of St. Gallen. His research spans semantic technologies, information linguistics, and artificial intelligence applications in the humanities, with significant funding from the EU, Science Foundation Ireland, and Enterprise Ireland. His research focuses on making big data workable for humanities scholars through innovative AI approaches. Handschuh's work addresses critical challenges in digital humanities including inconsistent and non-integrated data with varying quality. His research interests encompass semantic technologies, information linguistics, information extraction, and distributional semantics, with particular emphasis on applying AI to art history and cultural heritage. Handschuh has coordinated numerous international research projects including the Digital Aristotle project initiated by Microsoft founder Paul Allen, which aimed to develop AI-powered educational tools. His Neoclassica project teaches machines to recognize neoclassical objects through formal language processing, while the PACE initiative establishes the Passau Centre for eHumanities as a research hub. Other significant projects include EU-Project MARIO for healthy aging with care robots and various studies on human-machine interaction. His scientific contributions focus on developing new tools for humanities researchers that leverage artificial intelligence to uncover novel contexts and relationships in cultural data. Handschuh's work bridges computer science with humanities disciplines, creating practical applications for semantic technologies in cultural heritage analysis.
Prof. Dr. Franziska Mathis-Ullrich is a Professor at Friedrich-Alexander-University Erlangen-Nuremberg (FAU) leading the Surgical Planning and Robotic Cognition Lab (SPARC) in the Department of Artificial Intelligence in Biomedical Engineering. Previously, she was an Assistant Professor at Karlsruhe Institute of Technology (KIT) from 2019 to 2023. Her research focuses on minimally invasive robotic systems, soft robotics, and embedded machine learning for surgical applications. She holds a PhD in Microrobotics from ETH Zurich (2017), with earlier degrees from the same institution. Education: B.Sc. and M.Sc. in Mechanical Engineering and Robotics (ETH Zurich, 2009–2012) Ph.D. in Microrobotics (ETH Zurich, 2017) Research Interests: Minimally invasive medical robotics, soft robotic systems, AI-driven surgical assistance, microrobotics, and robot-assisted surgery. Her work emphasizes translating robotics innovations into clinical applications through interdisciplinary collaboration. Key Awards: IEEE ICRA Best Paper Award in Medical Robotics (2014) IEEE BioRob Best Student Paper Award (2016) ICRA Microassembly Challenge First Prize (2014 & 2015) Forbes 30 under 30 (2017) Grants & Projects: Leading a Bavarian State Ministry-funded project on endometriosis diagnostics (€3M). Active in multidisciplinary collaborations with Erlangen University Hospital. Serves as Vice-President of the German Society for Computer- and Robot-assisted Surgery (CURAC). Labs & Teams: Directs the SPARC Lab, which develops cognitive robotic systems for surgical planning and execution. Collaborates with institutions like Max Planck, Fraunhofer, and Helmholtz.
Prof. Dr. Matthias Krauledat is a faculty member at Hochschule Rhein-Waal , specifically within the Faculty of Technology and Bionics . His academic career spans both theoretical research and industrial application, with a focus on Machine Learning and Brain-Computer Interfaces . After completing his PhD in Electrical Engineering/Computer Science at Technische Universität Berlin , he has contributed significantly to the advancement of EEG-based communication systems and neural signal processing methodologies. Born in Essen, Germany Studied Mathematics with a minor in Computer Science at University of Münster/Oxford Doctoral research at TU Berlin on Brain-Computer Interfaces Industrial experience at Henkel AG & DMT GmbH Research Interests focus on Machine Learning applications in Neuroscience and Biomedical Engineering , specifically Brain-Computer Interfaces , EEG Signal Processing , and Adaptive Classification Systems . His work explores how algorithms can be developed to enable self-learning computers to solve complex tasks involving neural data interpretation and prediction for previously unseen data in clinical and technological contexts. Publications demonstrate a consistent contribution to Neuroscience and Machine Learning fields, with particular emphasis on Brain-Computer Interface systems from 2004 through 2009. His research has focused on reducing training requirements, improving signal processing accuracy, and developing novel interaction paradigms like the Hex-o-Spell mental typewriter while addressing statistical challenges like covariate shift in neural data analysis. Professional Experience includes academic research at TU Berlin's Intelligent Data Analysis group, industrial software development roles at Henkel AG's Scientific Computing department, and TÜV Nord Group's Optical Metrology and Machine Diagnostics divisions. He maintains active research connections through collaborative publications with leading experts in the field.
Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.
Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.
Shin Yoo is a tenured Full Professor in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST), where he leads the Computational Intelligence for Software Engineering (COINSE) research group. He received his PhD from King's College London in 2009 under the supervision of Prof. Mark Harman. Currently, he serves as the General Chair for ASE 2025, which will be held in Seoul, Korea. Professor Yoo earned his PhD in Computer Science from King's College London (2009), following an MSc in Software Engineering with Distinction from the same institution (2006). His academic journey includes positions as Tenured Associate Professor (2021-2025), Associate Professor (2018-2021), and Assistant Professor (2015-2018) at KAIST, as well as Lecturer and Research Associate positions at University College London and King's College London. His research focuses on the intersection of software engineering and artificial intelligence, particularly in search-based software engineering, software testing, automated debugging, SE4AI (Software Engineering for AI), and AI4SE (AI for Software Engineering). Professor Yoo's work bridges theoretical foundations with practical applications, developing innovative techniques for fault localization, test case generation, and debugging using machine learning and genetic programming approaches. His research has significant implications for improving software reliability and development efficiency in both traditional software systems and AI-powered applications. Professor Yoo's recent publications demonstrate a clear trend toward leveraging large language models and deep learning techniques for software engineering tasks. His work spans fault localization, automated debugging, GUI testing, and program analysis, with increasing focus on the challenges and opportunities presented by AI systems. His research shows a consistent evolution from traditional search-based software engineering to AI/ML-enhanced approaches, reflecting the broader trends in the field. ACM SIGEVO HUMIES Silver Medal (2017) for human competitive application of genetic programming to fault localization research IEEE TCSE Most Influential Paper Award (ICST 2024) for work on mutation-based fault localization Professor Yoo has supervised five PhD students to completion, with his former students now holding positions as assistant professors, post-doctoral researchers, and software engineers at institutions including Kyoungpook National University, Max-Planck Institute Security & Privacy, Università della Svizzera Italiana, Roku Korea, and NUS. He currently serves as an associate editor for the Journal of Empirical Software Engineering and ACM Transactions on Software Engineering and Methodology, and has held significant leadership roles in major software engineering conferences including Program Co-chair for SSBSE (2014), ICST (2018), and ICSE NIER track (2020), General Chair for SSBSE (2022), and Testing & Analysis Area Chair for ICSE (2024). As leader of the Computational Intelligence for Software Engineering (COINSE) group at KAIST, Professor Yoo directs research that combines computational intelligence techniques with software engineering challenges. The group focuses on developing novel approaches to software testing, debugging, and analysis using search-based and AI-driven methods. Their work spans both theoretical foundations and practical implementations, with strong connections to industry challenges and applications.
Peiyi Wang is an Assistant Professor at Peking University's School of Electronics Engineering and Computer Science, Institute for Artificial Intelligence. With strong research output spanning both natural language processing and robotics, Wang maintains significant collaborations with Southern University of Science and Technology and National University of Singapore, particularly in soft robotics research with Professor Cecilia Laschi. Additionally, Wang is actively involved with DeepSeek-AI, contributing to several major language model initiatives including DeepSeek-R1 and DeepSeek-V2. Peking University, School of EECS, Institute for Artificial Intelligence (Primary) Southern University of Science and Technology (Collaborative) National University of Singapore (Collaborative) DeepSeek-AI Research Organization Dr. Wang's research spans two primary domains with significant intersection points. In natural language processing, Wang focuses on large language model reasoning capabilities, mathematical verification, uncertainty estimation, and preference alignment. The robotics work centers on soft robotics, particularly origami-inspired designs, strain-based modeling, and control systems for continuum manipulators. These domains converge in Wang's work on vision-language models, embodied AI, and multimodal reasoning systems. Recent work demonstrates particular innovation in mathematical reasoning verification (Math-Shepherd), soft robotic control systems, and red teaming frameworks for language model safety. Wang's publication record shows remarkable productivity, with over 40 publications between 2021-2025 across top-tier venues including ACL, EMNLP, CVPR, and IEEE Transactions on Robotics. The work demonstrates consistent progression from foundational NLP tasks to increasingly sophisticated multimodal and reasoning systems. The most recent publications (2024-2025) show particular emphasis on mathematical reasoning verification, soft robotics control, and language model safety evaluation. While specific awards aren't documented in the provided materials, Wang's work has clearly gained significant recognition through acceptance at top-tier conferences and collaborations with leading researchers in both NLP and robotics fields. Wang's research demonstrates strong interdisciplinary connections, bridging theoretical NLP work with practical robotics applications. The work with DeepSeek-AI suggests active industry collaboration while maintaining strong academic research output. Current research directions appear focused on improving language model reasoning reliability while developing novel soft robotic systems that can interact safely and effectively with complex environments.
Prof. Yu-Seop Kim is a Professor at the School of Software, Hallym University, Chuncheon-si, Republic of Korea. He holds a B.Eng. in Computer Science from Sogang University (1992), and M.Eng. (1994) and D.Eng. (2000) in Computer Engineering from Seoul National University. His academic work is centered on the integration of artificial intelligence with biomedical applications. B.Eng., Department of Computer Science, Sogang University, 1992 M.Eng., Computer Engineering, Seoul National University, 1994 D.Eng., Computer Engineering, Seoul National University, 2000 His research interests lie at the intersection of bioinformatics, computational intelligence, natural language processing, and deep learning , with a strong emphasis on medical applications. He actively explores how AI can assist in clinical diagnostics and healthcare documentation. The recent trend in his publications demonstrates a focus on AI-driven medical image analysis and automated clinical text generation . His work leverages convolutional neural networks and language models to interpret brain CT scans, detect aortic dissection, and augment medical reports for cerebrovascular diseases. These efforts reflect a consistent effort to bridge machine learning with real-world clinical challenges. While no scientific awards are listed in the provided text, his collaborative research output suggests active engagement in academic and clinical partnerships. Prof. Kim has advised multiple researchers and co-authored numerous publications, particularly in journals like Applied Sciences and Journal of Clinical Medicine . Although specific grant information is not mentioned, his research likely involves funding for AI in healthcare. He collaborates with colleagues such as Byoung-Doo Oh, Chulho Kim, and Bitnarae Kim, indicating a multidisciplinary team approach. His work appears to be conducted within a research group or lab focused on AI for medical imaging and language processing , potentially involving students and clinical collaborators from affiliated institutions like Chuncheon Sacred Heart Hospital. This environment supports translational research from algorithm development to clinical validation.
