Prof. Michael Weyrich is a faculty member at the Institute of Industrial Automation and Software Engineering (IAS) within the University of Stuttgart , leading the Cluster of Excellence IntCDC . His academic rank is Professor, and he focuses on Industrial Automation , Digital Twins , and Large Language Models (LLMs) for manufacturing and automotive systems. His research explores integrating LLMs into industrial automation for adaptive control, cloud offloading of vehicle functions, and semantic interoperability via Asset Administration Shells . He investigates modular production architectures , connected vehicle systems , and synthetic data generation for autonomous machinery. Recent publications highlight LLM-driven production planning , dynamic sensor calibration , and machine learning for fault detection in electric vehicle powertrains. His work emphasizes real-time data modeling and flexible microservice orchestration .
Ori Lahav is a faculty member in the School of Computer Science at Tel Aviv University. His research is generously supported by an ERC Starting Grant and an ISF Grant. He actively supervises PhD and MSc students, and seeks highly motivated candidates for postdoc, PhD, and MSc positions in programming language theory, concurrency, and formal methods. Dr. Lahav completed his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. From 2014 to September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer. His primary research areas focus on programming languages and verification, with specialization in concurrency and relaxed memory models. He also has significant interests in proof-theory, semantics of non-classical logics, and automated reasoning. His work bridges theoretical foundations with practical applications in programming language design and implementation. Dr. Lahav's publication record shows a consistent trajectory of high-impact research in top-tier conferences including PLDI, POPL, OOPSLA, and ESOP. His recent work (2023-2025) demonstrates continued leadership in memory models, concurrency semantics, and verification techniques. His research spans both theoretical contributions in denotational semantics and practical tools for verification. Best Paper Award DISC 2024 Best Student Paper Award DISC 2024 Distinguished Artifact Award ESOP 2022 Distinguished Paper Award OOPSLA 2021 Kleene Award for Best Student Paper LICS 2013 Dr. Lahav actively advises students including Yoav Ben Shimon, Yotam Dvir, Amir Karniel, and Roy Margalit (PhD students), Yuval Katsman Ezra (MSc student), and has alumni including Ori Saporta (MSc) and Abhishek Kr Singh (postdoc, now Assistant Professor at IIIT Hyderabad). He has organized significant events including VMCAI 2024 and Dagstuhl Seminars on persistent programming. His teaching portfolio includes courses on Shared Memory Concurrency Semantics, Programming Language Foundations, and Software Foundations in Coq.
Ina Fichtner is a Professor at the Faculty of Digital Transformation of University of Applied Sciences HTWK Leipzig since 2022. Previously, she led the MINT department at the Institute for Applied Training Science (IAT) in Leipzig for 13 years (2009–2022), focusing on integrating mathematics, informatics, and natural sciences into sports research. Her work bridges computer science , biomechanics , and sports informatics , with extensive projects on athlete movement analysis, data systems (IDA), and digital tools for elite sports. PhD in Computer Science (2007) from TU Dresden and Leipzig University Diplom in Mathematics and Computer Science (2002) from Jena, Dresden, and Sheffield Her research spans data science , sports technology , and applied informatics , particularly in ski jumping , dive analysis , and athlete biomechanics . She has co-authored numerous publications in theoretical computer science and applied sports informatics , including studies on 3D body scanning , inertial sensors , and force-velocity profiling . She served as Alumni Representative and Treasurer of the Friends' Association at HTWK Leipzig, with memberships in German Mathematical Society and German Sports Science Association .
Andreas Maier is a Researcher at the University of Hamburg's Faculty of Mathematics, Informatics and Natural Sciences, affiliated with the Computational Systems Biology department. He began his PhD in May 2021 with Cosy.Bio (Center for Systems Biology) at UHH, focusing on drug repurposing projects such as REPO-TRIAL. Previously, he completed a Bioinformatics master's thesis at TUM (Technical University of Munich), developing a web application for analyzing molecular disease networks. His research interests emphasize network medicine, drug repurposing, and computational tools for biomedical discovery. He has contributed to platforms like NeDRex-Web, Drugst.One, and BioCypher, which democratize access to systems medicine workflows. His work bridges heterogeneous data integration, federated learning for rare diseases, and quantum computing applications in genetics. Maier's publications highlight innovations in knowledge graph-based drug discovery, privacy-preserving federated learning, and single-cell network analysis. He actively develops open-source bioinformatics tools to address challenges in disease module identification and patient stratification. His projects align with the REPO4EU consortium and other collaborative initiatives in translational bioinformatics.
Dr. Stephan Rave is a Researcher in the Institute for Analysis and Numerics at the University of Münster. He is affiliated with the Applied Mathematics Münster cluster and serves as an Investigator in Mathematics Münster. His work focuses on numerical analysis, scientific computing, and machine learning, with a strong emphasis on model reduction techniques for complex systems. Education : PhD in Mathematics (2012), University of Münster, thesis on finitely summable K-homology. Master's and Bachelor's degrees in Mathematics from the University of Münster. Research Interests : Dr. Rave specializes in model order reduction (MOR) methods, including reduced basis techniques, localized orthogonal decomposition (LOD), and nonlinear approximation strategies. His work addresses challenges in multiscale modeling, domain decomposition, and parametrized partial differential equations. He also develops open-source software tools like pyMOR for MOR and contributes to initiatives like the MaRDI (Mathematical Research Data Initiative) to enhance interoperability in scientific computing. Projects : Key initiatives include the MaRDI project (2021–2026), EXC 2044 Cluster of Excellence (Geometry-based modeling), and MULTIBAT (lithium-ion battery simulation). His research bridges theoretical developments with practical applications in battery modeling, electrochemistry, and computational fluid dynamics. Grants & Awards : Funded by DFG, the German Federal Ministry of Research, and internal university grants, his work addresses strategic areas like sustainable research software and energy storage systems. He leads projects on distributed model reduction and communication-avoiding algorithms. Teaching : Dr. Rave teaches advanced numerical methods courses, including Model Order Reduction, Numerical Methods for PDEs, and Python-based computational labs. He co-organizes seminars and workshops on MOR and scientific software engineering.
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.
Judith Fauth is a researcher at the Technical University of Munich's Chair of Computing in Civil and Building Engineering, where she pioneers digital transformation in building permit processes through Building Information Modeling (BIM) and digital twin technologies. Her work bridges civil engineering, computer science, and public policy to streamline regulatory compliance across international contexts. Her research expertise spans Building Permit Processes , Digital Building Permits , Ontology Engineering , and Process Modeling , with emphasis on developing standardized frameworks for global permit system benchmarking. She investigates how semantic technologies and digital twins can automate regulatory compliance while accommodating regional variations in construction law and administrative practices. Analysis of her 2023-2025 publications reveals three dominant trends: (1) integration of digital building permits with digital building logbooks for lifecycle data management, (2) development of ontologies like OBPA for automated permit reviews, and (3) creation of taxonomies and process models (e.g., PACE-BP framework) enabling cross-national comparisons of permit systems. This work increasingly incorporates sustainability metrics and stakeholder-specific KPIs. Within TUM's research infrastructure, Dr. Fauth contributes to the BIM Lab and Digital Twinning research groups, collaborating on projects involving Gaia-X-based data frameworks and semantic modeling of the built environment. She teaches practical software development skills through the SoftwareLab course, preparing engineering students for digital construction workflows.
Dr.-Ing. Ullrich Mönich is a Senior Researcher and Lecturer at the Technical University of Munich (TUM) , affiliated with the Chair of Theoretical Information Technology and leading research activities at the Advanced Communication Systems and Embedded Security Lab (ACES Lab) . Since 2019, he has been instrumental in shaping experimental and theoretical research in 6G communications, physical layer security, and signal processing. Education: Dr.-Ing. in Electrical Engineering, Technische Universität München (2011) – supervised by Prof. Holger Boche Previous affiliations include MIT (2012–2015) and TU Berlin Research Focus: His research spans signal processing, wireless communications, machine learning, and sampling theory , with a strong emphasis on physical layer security , computability in signal processing , and 6G communications . He explores theoretical foundations and practical implementations, including neuromorphic computing, digital twinning, and secure modular coding schemes. Publications & Trends: His recent publications (2023–2025) are heavily concentrated in 6G communications , integrated sensing and communications (ISAC) , semantic physical layer security , and digital twinning . These works often combine theoretical analysis with experimental validation using 5G/6G testbeds and neuromorphic hardware. Teaching & Supervision: Regularly teaches "Foundations of Analog, Digital, and Quantum Computers" (tutorials since 2018) Previously taught "Applied Functional Analysis" and "Advanced Signal Theory" Involved in practical courses like "Software Defined Radio Laboratory" Labs & Teams: He leads the ACES Lab at TUM, which focuses on experimental validation of advanced communication systems, including physical layer security, neuromorphic computing, and 6G testbeds. The lab collaborates with national and international partners, including MIT, and is supported by major funding bodies such as the German Federal Ministry of Education and Research (BMBF) and the German Research Foundation (DFG).
Prof. Mike Barth is a Professor for Networked Secure Automation Technology at the Karlsruhe Institute of Technology (KIT), affiliated with the Department of Electrical Engineering and Information Technology (ETIT) and the Institute for Control Systems (IRS). His academic background includes a doctorate from Helmut Schmidt University (2011) and a master's degree from Pforzheim University (2008). He previously held roles as a researcher at ABB and as a professor at Pforzheim University, focusing on blended learning and Industry 4.0 integration. Education: PhD in Automation Technology, Helmut Schmidt University (2011) M.Sc. in Product Development, Pforzheim University (2008) Diploma in Mechanical Engineering, Pforzheim University (2006) Research Interests: Automation technology, control systems, Industry 4.0, cyber-physical systems, digital twin engineering, cybersecurity, and IoT protocols. Teaching: Courses include System Modeling, Cyber Physical Production Systems, and Digital Twin Engineering. His research emphasizes secure automation architectures, decentralized systems, and model-based engineering. He chairs multiple committees including IFAC TC3.1 and the VDI/VDE Society for Measurement and Automation. Over 50+ publications span topics like simulation models, industrial security, and robotic integration. Labs/Teams: Leads the IRS Automation Technology team, focusing on innovation in control systems and digital twin applications.
Gerhard Pfister is a professor of Mathematics at the University of Kaiserslautern. He holds the academic rank of Professor and specializes in Singularity Theory, Computer Algebra, Algebraic Geometry, and Complex Analysis. His career includes positions at Humboldt-Universität zu Berlin and University of Kaiserslautern, where he served as a professor from 1993 until his retirement in 2012, followed by a Senior Professorship until 2016. He has supervised numerous Ph.D. students, many of whom contributed to areas like computational algebra and singularity theory. Education: Gerhard Pfister earned his Diplom in Mathematics (1970) and Dr. rer. nat. (1971) from Humboldt-Universität zu Berlin. He habilitated in 1976 and became a professor there in 1983 before moving to Kaiserslautern in 1993. Research Interests: Pfister's work focuses on singularity theory, computational algebra, and the development of the SINGULAR computer algebra system. His research bridges theoretical and algorithmic aspects of algebraic geometry and commutative algebra, with contributions to Gröbner bases, standard bases, and modular computation techniques. He has co-authored foundational textbooks and over 140 publications. Key Contributions: Pfister is a co-developer of the SINGULAR software, a leading system for polynomial computations in algebraic geometry and singularity theory. His work includes algorithmic approaches to primary decomposition, normalization of rings, and classification of singularities. He has also contributed to the theoretical underpinnings of Neron desingularization and semicontinuity in algebraic geometry. Grants & Awards: While no specific awards are listed, his sustained contributions to computational algebra and singularity theory have had significant impact. He has supervised over 25 Ph.D. students and co-authored multiple influential books. Labs/Teams: He is a core contributor to the SINGULAR project and collaborates actively with researchers in computational commutative algebra and algebraic geometry.
Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.
Prof. Dr.-Ing. Frank Thielecke is a full Professor and the head of the Institute of Aircraft Systems Engineering (Flugzeug-Systemtechnik) at Technische Universität Hamburg (TUHH), Germany. His research is centered on advanced aircraft systems, avionics, flight control, and the integration of emerging technologies such as hydrogen and hybrid-electric propulsion. Institution: Technische Universität Hamburg Department: Institute of Aircraft Systems Engineering (Flugzeug-Systemtechnik) Email: frank.thielecke@tuhh.de Office: Neßpriel 5, Room 1.012, 21129 Hamburg His research interests include integrated modular avionics (IMA), model-based systems engineering (MBSE), aircraft load estimation, health monitoring, fault diagnosis, and sustainable aviation technologies. He leads a research group actively contributing to next-generation aircraft design, with a strong focus on digitalization, virtual testing, and system safety. The recent publications highlight a consistent trend in developing model-based tools and architectures for avionics and aircraft systems. Key themes include the design of IMA platforms, virtual integration, system validation, hydrogen aircraft systems, and control algorithms for UAVs and flexible aircraft. His work frequently appears in AIAA, DASC, DLRK, and CEAS conferences and journals. Prof. Thielecke has been involved in numerous collaborative research projects focusing on more-electric aircraft, fuel cell systems, and advanced actuation. He has contributed to the development of frameworks such as ASHLEY and SArA for avionics platform design and systems architecting. His team also works on noise reduction in hydraulic systems and condition monitoring for aircraft subsystems. He supervises a group of researchers and PhD students, many of whom co-author his publications. While specific student names are not listed, long-term collaborators like Oliver Luderer, Thimo Bielsky, Nils Külper, and Philipp Chrysalidis are likely doctoral candidates or postdoctoral researchers in his group. He has secured funding for projects related to hydrogen aircraft, hybrid propulsion, and digital avionics engineering. His lab, the Institute of Aircraft Systems Engineering, operates test benches for avionics, hydraulic systems, and flight control validation. The team uses advanced simulation, co-simulation (e.g., FMI), and hardware-in-the-loop techniques for virtual integration and testing. Ongoing work includes the development of tools for early validation of flight control platforms and automated requirement-based testing.
Volker Markl is a Professor at Technische Universität Berlin in the Institute of Software Engineering and Theoretical Computer Science, with additional affiliations at the Berlin Institute for the Foundations of Learning and Data (BIFOLD) and the German Research Center for Artificial Intelligence (DFKI). His research spans database systems, stream processing, and distributed data management with significant contributions to both theoretical foundations and practical implementations. Markl's research interests focus on next-generation data management systems, particularly for streaming and IoT environments. His work addresses critical challenges in distributed query processing, system integration, and performance optimization. He has pioneered approaches for stream processing in volatile infrastructures and developed innovative techniques for GPU-accelerated database operations. His NebulaStream project represents a major contribution to distributed stream processing systems. His publication record demonstrates consistent impact across top database venues including VLDB, SIGMOD, and ICDE. Recent work shows increasing focus on machine learning integration with database systems, privacy-preserving query processing, and educational approaches for teaching large-scale data management. Markl has mentored numerous researchers who have become prominent in the database community, with frequent collaborators including Steffen Zeuch, Tilmann Rabl, and Philipp Grulich. His leadership extends to major research initiatives and collaborations across European institutions.
Dr. Pascal Reuss is a Researcher at the Intelligent Information Systems (IIS) Division within the Institute of Computer Science , University of Hildesheim . His work focuses on Case-Based Reasoning (CBR) systems, Multi-Agent Systems , and Knowledge Management applications. Active in CBR framework development and game-based AI research Teaching Computer Science III (Databases) for winter 2025/26 Participating in university sustainability initiatives like Stadtradeln 2024/25 Reuss contributes to AI education through practical implementations in gaming environments and has developed visualization tools for CBR agent behavior. His research spans multi-agent collaboration , dynamic case bases , and domain-specific language implementations for knowledge maintenance. Notable contributions include: Co-developing the FEATURE-TAK framework for knowledge extraction Designing case factories for distributed CBR systems Implementing finite state machines for tactical game agents Creating CBR-based fitness planning systems His work appears in various CBR and Game Development publications from 2011-2024. The research demonstrates practical applications of CBR in aircraft maintenance diagnostics , training plan generation , and educational technology contexts.
Professor Dr. Johannes Ismaiel-Wendt is a faculty member at the Institute for Music and Musicology , part of the University of Hildesheim ’s School of Cultural Studies & Aesthetic Communication. He earned a doctorate in cultural studies, sociology, and musicology from the University of Bremen (supervised by Prof. Dr. Sabine Bröck and Prof. Dr. Alexander Weheliye) with his dissertation tracks'n'treks. Popular Music and Postcolonial Analysis (2011). Ismaiel-Wendt is a certified educator, known for blending research with live drum machine performances and sound lectures. From 2012 to 2018, he served as Junior Professor for Systematic Musicology and Music Sociology before being appointed University Professor in 2018.
