Lisette Espin is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary areas spanning theoretical computer science and applied systems research. Her work emphasizes foundational topics in Algorithms, Theory, and Logic, alongside practical challenges in Programming Languages Verification, Cyber-Physical Systems, and Security & Privacy. She contributes to advancing Distributed Systems and Social Information Systems research. Her affiliation with MPI-SWS positions her within a leading institution for computer science and software systems research. While specific educational background, grants, or lab affiliations are not explicitly detailed in the text, her research portfolio highlights expertise in both core computational theory and real-world system applications.
Boris Köpf serves as a Scientific Director and Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, where he leads foundational research at the intersection of programming languages, formal verification, and security engineering. His research focuses on developing rigorous mathematical frameworks for analyzing information leakage in software systems, with seminal contributions to quantitative information flow theory and static analysis techniques. Key areas include probabilistic program semantics, side-channel vulnerability detection, and formal models for privacy-preserving computations, applied to critical domains like web security and cryptographic protocols. Professor Köpf actively supervises doctoral researchers within his dedicated security group at MPI-SWS, fostering next-generation methodologies for trustworthy software development through collaborative projects with academic and industrial partners across Europe.
Yannick Körber is a researcher affiliated with the Max Planck Institute for Software Systems (MPI-SWS), a leading research institute in computer science. His work focuses on foundational and applied aspects of software systems, including algorithms, programming languages, security, and distributed systems. He contributes to the institute's mission in advancing theoretical and practical computer science through interdisciplinary research. While specific academic rank details are not explicitly stated, his involvement with the institute's faculty and research programs aligns with a researcher role. His research interests span a broad spectrum, including formal verification of systems, cyber-physical systems (CPS), and privacy-preserving technologies. He is also engaged with distributed and networked systems, reflecting a commitment to both theoretical rigor and real-world applicability. MPI-SWS's interdisciplinary environment supports his exploration of social and information systems, emphasizing societal impacts of technology. Though no specific awards or publications are listed here, his affiliation with MPI-SWS underscores participation in high-impact research projects. He contributes to graduate education and mentoring, as evidenced by the institute's doctoral student and internship programs. The institute's structure fosters collaboration across multiple research groups, likely enabling him to engage in cutting-edge interdisciplinary work.
Animesh Nandi is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on core computer science research. His work spans algorithms, programming languages, verification, cyber-physical systems, and security/privacy. He contributes to the MPI-SWS faculty, engaging in graduate education and research leadership. Research interests include theoretical foundations of software systems, distributed/networked systems, and practical applications of formal methods. His work addresses challenges in safety-critical systems and privacy-preserving technologies. No specific publications, awards, or student advisees are listed in the provided text. MPI-SWS positions like tenure-track roles suggest active involvement in research and academic mentorship.
**Daniel Neider** is a Professor of Security and Explainability of Learning Systems at Carl von Ossietzky University of Oldenburg. His research focuses on secure machine learning, the safety and reliability of AI systems, and their explainability. He holds a PhD in Computer Science from RWTH Aachen University (2014) and a Habilitation in theoretical computer science from TU Kaiserslautern (2022). Prior to his professorship, he was a Research Group Leader at the Max Planck Institute for Software Systems (2017–2022) and a Postdoc at RWTH Aachen and the University of Illinois at Urbana-Champaign (2014–2017). His work bridges formal methods and machine learning, emphasizing verification of neural networks, temporal logic-based explainability, and robust reinforcement learning. Notable contributions include neuro-symbolic verification techniques, algorithms for learning temporal properties, and frameworks for secure AI deployment. Research interests span formal verification, interpretable AI, and the theoretical foundations of machine learning. He leads projects in the Research Center ‘Trustworthy Data Science and Security’ within the Ruhr University Alliance. Recent publications address challenges in anomaly detection, temporal query processing, and ethical AI applications.
Soaibuzzaman is a Research Associate and PhD candidate at Bauhaus-Universität Weimar's Software Engineering Professorship under Prof. Jan Oliver Ringert. His research develops formal methods for enhancing specification quality and addressing AI trustworthiness issues including bias, fairness, and safety in autonomous systems. Research areas: Formal specification methodologies Reactive system synthesis Explainable AI frameworks Trusted autonomous systems
Barbara König is a Professor at the University of Duisburg-Essen, affiliated with the Department of General Computer Science within the Faculty of Computer Science. Her research focuses on theoretical computer science, with a strong emphasis on formal methods, graph transformation systems, coalgebraic semantics, and behavioral metrics. She leads a team of researchers including postdocs and PhD students like Rebecca Bernemann and Sebastian Gurke. Her work integrates mathematical rigor with practical applications in formal verification, probabilistic systems, and automated reasoning. König has organized and contributed to numerous international conferences such as CSL, CONCUR, and ICGT, highlighting her role in advancing the field’s research agenda. Key research themes include fixpoint theory, coalgebraic modal logics, and the development of tools like CoReS for graph analysis. Her current projects explore quantitative logics, behavioral distances, and abstraction-refinement techniques for complex systems analysis. König actively contributes to academic communities through editorial roles and serves as a mentor in the university’s theoretical computer science department. Her interdisciplinary approach bridges foundational theory with applied challenges in software engineering and system modeling.
Prof. Martin Leucker is a Professor and Director of the Institute for Software Engineering and Programming Languages (ISP) at Universität zu Lübeck. He serves as CEO of UniTransferKlinik and leads the vocational master’s programme in AI (https://ai-master.org). His roles include editorial board memberships for Formal Aspects of Computing and STTT , and he chairs the ICTAC Steering Committee. He is actively involved in various international conferences, including RV, GandALF, and CGO, frequently serving on program committees. His research focuses on software engineering, formal methods, and theoretical computer science, with specialties in verification techniques like model checking and runtime verification. He explores applications in AI, medical informatics, and energy systems. Notable activities include organizing workshops on software product lines and presenting at venues like Dagstuhl. Prof. Leucker oversees ISP’s interdisciplinary projects, integrating programming languages and verification tools. His professional network spans IFIP WG 1.3 and the OR.NET Association, emphasizing collaborative research in informatics and engineering.
Valeriy Vyatkin is a Professor at Aalto University's Department of Electrical Engineering and Automation within the School of Engineering. He also maintains an affiliation with Luleå University of Technology in Sweden. His research spans industrial automation, distributed control systems, and digital transformation of manufacturing processes. Vyatkin leads a significant research group focusing on next-generation industrial control architectures and has established himself as a leading authority in the IEC 61499 standard for distributed industrial automation systems. Professor Vyatkin's research interests center around industrial automation systems with particular emphasis on distributed control architectures, formal methods for verification of industrial control systems, and digital twin technologies. His work bridges theoretical computer science with practical industrial applications, developing methods for model checking, virtual commissioning, and formal verification of industrial automation systems. He has pioneered approaches for applying reinforcement learning to industrial process control, particularly in steel manufacturing and energy systems. His recent work explores the integration of generative AI with industrial control systems, focusing on rapid prototyping and code generation for IEC 61499 applications. The analysis of Professor Vyatkin's recent publications (2023-2025) reveals a strong research trajectory focused on advancing industrial automation through multiple complementary approaches. His work demonstrates a consistent emphasis on the IEC 61499 standard as a foundation for distributed control systems, with growing integration of AI techniques, particularly generative models and reinforcement learning. A notable trend is the progression from theoretical foundations toward practical implementation frameworks, with increasing attention to security, privacy, and human factors in industrial settings. His research group has expanded into new application domains including energy systems, horticulture, and nuclear instrumentation while maintaining core expertise in manufacturing automation. Professor Vyatkin has made significant contributions to the field through his editorial work, including serving as guest editor for special issues in IEEE Transactions on Industrial Informatics. His research has been supported by multiple grants from national and international funding agencies focusing on industrial digitalization and smart manufacturing initiatives. Professor Vyatkin actively supervises numerous PhD and Master's students, with a consistent research group of 8-10 students and postdoctoral researchers. His advising approach emphasizes both theoretical rigor and industrial relevance, with many students collaborating directly with industry partners. His research group has established collaborations with major industrial players in manufacturing, energy, and automation sectors across Europe. The research activities are centered around the Industrial Automation research group at Aalto University, which maintains strong connections with the international IEC 61499 community. The team operates a dedicated laboratory for industrial automation research with capabilities for virtual commissioning, digital twin development, and formal verification of control systems. The group participates in multiple European research projects focused on Industry 4.0 and 5.0 technologies, with particular emphasis on human-centric automation and secure industrial systems.
Prof. Dr. Andreas Podelski is a Professor of Software Engineering at the Institute of Computer Science (Institut für Informatik) at the University of Freiburg, part of the Faculty of Engineering. His research focuses on formal verification, software model checking, and requirements engineering, with a particular emphasis on improving the reliability and safety of complex software systems. He leads the SystemValid project, funded by the German Federal Ministry of Education and Research (BMBF), which aims to validate requirements in system and software development to reduce errors early in the design phase. Key contributions include the development of verification tools like Ultimate Automizer and Ultimate Taipan , which are used in international competitions (e.g., SMT-COMP). His work bridges theoretical foundations and practical applications, addressing challenges in concurrent systems and safety-critical software. Podelski has been recognized as an IEEE Fellow (2022) and has collaborated with industry partners like Bosch on real-world applications of formal methods. His research also extends to teaching and academic leadership, contributing to courses on software engineering, formal methods, and verification. He actively engages in interdisciplinary projects, such as the European Flagship initiative DigiTwins , and has published extensively on topics including automated testing, concurrency, and model-driven engineering.
Matthias Heizmann is a Professor at the University of Freiburg's Department of Computer Science, part of the Faculty of Engineering. His research focuses on software verification, automata theory, and formal methods. He leads the development of the Ultimate Program Analysis Framework , particularly its Ultimate Automizer toolchain. Heizmann teaches courses on program verification, theoretical computer science, and automata theory. His work emphasizes automata-based verification techniques, termination analysis, and abstract interpretation refinement. He actively supervises student projects in program analysis and formal methods, integrating theoretical insights with practical implementations in the Ultimate framework. His research has been presented at conferences like CAV, TACAS, and SAS, with contributions to both theoretical foundations and practical verification tools.
Dominik Klumpp is a researcher at the University of Freiburg, affiliated with the Department of Computer Science. He focuses on automatic verification, concurrent programs, commutativity, and partial order reduction. His work bridges formal methods and practical software verification, contributing to tools like the Ultimate Framework. Klumpp co-organizes courses such as Cyber-Physical Systems and Program Verification, and supervises student projects on topics like program analysis and verification techniques. Research interests include developing efficient methods for verifying concurrent and parameterized systems, leveraging commutativity and abstraction techniques. His recent work explores correctness witnesses for concurrent programs and the application of Petri net unfoldings. Klumpp actively participates in academic conferences and competitions, such as TACAS and VMCAI, contributing to advancements in software verification tools and algorithms. He has advised numerous student theses on verification methodologies, partial order reduction, and program analysis. Klumpp collaborates with institutions like the University of Augsburg and maintains an open-source presence through projects like the Ultimate Framework, emphasizing practical tool development alongside theoretical research.
Vincent Langenfeld is a Researcher in the Department of Computer Science at the University of Freiburg, Germany. His work focuses on Requirements Engineering, Model Checking, and integrating Cognitive Science principles into formal systems analysis. He leads the development of tools like Hanfor for scalable requirement formalization and validation. Teaching roles include Software Engineering lectures and the Software Lab, emphasizing hands-on learning and programming proficiency. Completed a PhD in 2023 titled Formalisation and Analysis of System Requirements . Recipient of the REFSQ'23 Best Paper Award for research on formal pattern language comprehension. Key research interests span formal methods for real-time systems, cognitive modeling (e.g., ACT-R architecture), and requirement redundancy detection. His work bridges theoretical formalisms with practical applications in software engineering education and industry collaborations.
Dr. Paola Bruscoli is a former Researcher at TU Dresden's Faculty of Computer Science, affiliated with the International Center for Computational Logic (ICCL) and the Knowledge Representation and Reasoning research group. Her work focuses on foundational aspects of logic programming, proof theory, and computational logic, with notable contributions to proof search methodologies and linear logic frameworks. Her research emphasizes the structural properties of proof systems, particularly in sequentiality and first-order linear logic applications. Publications from 2002–2003 highlight her exploration of proof-theoretic foundations, aiming to bridge theoretical insights with practical logic programming systems. While no awards or grants are explicitly documented here, her work has advanced formal methods in computer science. Bruscoli collaborated closely with the ICCL, contributing to the center's mission in computational logic and knowledge representation. No students or current email addresses are listed in the provided materials.
Tim Polzehl is a Senior Researcher at the German Research Center for Artificial Intelligence (DFKI) in Berlin's Speech and Language Technology (SLT) Department. He holds a PhD in technical communication sciences from TU Berlin (2014), focusing on automatic personality prediction from speech/user data. Previously, he led the Next-Generation Crowdsourcing group as a postdoc at TU Berlin's Quality and Usability Lab, overseeing projects like the Crowdee crowdsourcing platform. His current research spans speech anonymization, disinformation detection, deepfake analysis, and AI ethics. He actively supervises doctoral students and collaborates on EU-funded projects. Education: PhD in Technical Communication Sciences, TU Berlin (2014) Studies in Technical Communication Sciences, TU Berlin Research Interests: Focuses on applying AI to speech technology, privacy-preserving systems, and combating disinformation through machine learning. Specializes in multimodal systems, ethical AI deployment, and human-AI collaboration frameworks. Publications: Recent work emphasizes regulatory challenges of AI (e.g., EU AI Act compliance), privacy in clinical speech data, and personality-aware chatbots. Key areas include disinformation detection via LLMs and technical cybersecurity for speech systems. Grants & Awards: Participated in BMBF-funded leadership programs and EIT-Digital EU projects. Current projects involve developing frameworks for ethical AI integration in critical applications like elections. Labs/Teams: Leads SLT Department initiatives on autonomous AI agents and voice cloning at DFKI. Collaborates with TU Berlin's Quality and Usability Lab on ongoing research.
