Prof. Dr. Oliver Crönertz serves as Dean and Professor of Business Administration and IT-Supported Business Processes at the Faculty of Digital Transformation , HTWK Leipzig. His work bridges digital transformation with business management, focusing on interdisciplinary project management, digital business models, and sustainability. Current roles: Dean, supervising professor for HTWK Robots/nao Team Research areas: Digital Transformation, Business Analytics, Industry 4.0, Stoffstrommanagement Research Trends : Recent publications emphasize digital solutions for environmental management, business process optimization, and smart urban logistics. His work connects Industry 4.0 with financial sustainability and societal impacts of digitalization. Projects : Leads Mittelstand-Digital Zentrum Leipzig-Halle, involved in EXIST-Potentiale, Future Parking, and FAssMII (Feedback-based E-Assessment in STEM).
Professor Alexander Koller is a leading academic in Computational Linguistics at Saarland University's Department of Language Science and Technology. He holds a courtesy appointment in Computer Science and contributes to the Saarland Informatics Campus - one of Europe's premier computer science research centers. He leads the Computational Linguistics group and serves as speaker for the DFG-funded Research Training Group 'Neuroexplicit Models of Language, Vision, and Action'. PhD in Computer Science (Saarland University) Former positions: University of Potsdam, Columbia University, University of Edinburgh Sabbatical experiences: Meta AI (Paris), Allen Institute for AI (Seattle) His research focuses on computational modeling of meaning and reasoning in NLP, combining neural and symbolic approaches. Key contributions include semantic parsing systems like the AM parser and Alto, neurosymbolic models, and the GIVE Challenge for NLG evaluation. His recent work explores LLMs' limitations in problem-solving and compositional generalization. Recent publications highlight diverse applications across semantic parsing, dialogue systems, and LLM evaluation. Awards include ACL 2020 Best Theme Paper and multiple Outstanding Paper recognitions at ACL conferences. 2025 - AI Action Summit keynote speaker 2023 - ACL Outstanding Paper Awards 2022 - ELLIS Faculty appointment He maintains the DialogOS system for spoken dialogue development and teaches advanced computational linguistics topics. His group includes multiple postdocs and PhD students working across LLMs, dialogue systems, and semantic modeling.
Holger Wittges is the Managing Director of the SAP University Competence Center (UCC) at the Technische Universität München (TUM) . His work focuses on Digital Transformation , Next Generation ERP , and Hybrid Cloud infrastructure. He is affiliated with the KrcmarLab and collaborates with IBM via the OpenPOWER@TUM initiative. Educational Background: 2004: Dr. rer. oec. (Promotion), Universität Hohenheim 1996: Diplom Wirtschaftsinformatiker, Universität Bamberg Research Interests include Digital Transformation, Cloud Computing, Enterprise Resource Planning (ERP), XaaS (Everything as a Service), and Service-Oriented Architecture (SOA). His work bridges academic innovation with industry needs through SAP UCC TUM, which provides 40+ educational service bundles like SAP HANA and S/4HANA for teaching and research. Recent Publications highlight advancements in machine learning for ERP support ticket systems, energy efficiency in SAP S/4HANA, and educational frameworks for cloud-based enterprise software. Articles emphasize collaboration with institutions across Europe and contributions to digital ecosystems like the SAP University Alliances. Key Projects include the OpenPOWER@TUM initiative with IBM, focusing on accessible AI/ML infrastructure for academia, and the SAP UCC TUM, which drives Education as a Service (EaaS) strategies for digital business ecosystems.
Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.
Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)
Prof. Dr.-Ing. Ralf Beck serves as Professor for Control and Regulation Technology and Automation Technology at Hochschule Düsseldorf University of Applied Sciences within the Faculty of Electrical Engineering & Information Technology. His academic responsibilities span multiple degree programs including BEng Electrical Engineering, BEng Industrial Engineering, and MSc Electrical Engineering and Information Technology. His educational background includes Mechanical Engineering studies at TU Braunschweig (1998-2004), followed by doctoral research at RWTH Aachen's Institute of Control Engineering where he earned his Dr.-Ing. in 2010 with a dissertation on predictive energy management for hybrid vehicles. Prior to his current professorship, he held progressive roles at FEV Europe GmbH from 2009-2018, culminating as Senior Project Manager for Vehicle and Powertrain Electronics. Beck's research focuses on control engineering systems with particular emphasis on automation technology, regulation systems, and model-based development approaches. His work bridges theoretical control methodologies with practical automotive applications, especially in hybrid vehicle energy management, multi-robot systems, and intelligent air path control. The Modellfabrik Fab21 serves as his primary experimental platform for model-based development applications. His publication record since 2005 demonstrates consistent contributions to control engineering, particularly in hybrid vehicle systems, emission control optimization, and calibration methodologies. Recent work shows increasing focus on distributed robotics and intelligent transportation systems, reflecting evolving research directions while maintaining core expertise in control theory applications. As an educator, Beck teaches foundational and advanced courses including Electrical Engineering III, Control and Regulation Technology, Model-Based Development, Technical Mechanics, and Advanced Control Engineering at the Master's level. His teaching integrates theoretical concepts with practical laboratory applications through the university's Moodle platform, emphasizing hands-on implementation of control algorithms and system modeling techniques.
Frank Fitzek serves as Full Professor holding the Deutsche Telekom Chair of Communication Networks at Dresden University of Technology, where he directs the Centre for Tactile Internet (CeTI) Cluster of Excellence and maintains association with the Faculty of Computer Sciences. His work is institutionally anchored within the School of Engineering Sciences and actively engages with 5G Lab Germany and 6G-life Hub initiatives, positioning him at the forefront of next-generation communication research. Fitzek's research spans communication networks, tactile internet systems, 5G/6G mobile technologies, network coding, quantum networking, virtual twinning, and haptic feedback systems. His recent publications demonstrate emphasis on resilient network architectures through quantum security protocols, cloud-native 5G implementations, theoretical communications frameworks, and human-computer interaction in mixed reality environments. This work consistently bridges theoretical innovation with practical testbed validations across multiple emerging technology domains. As Director of CeTI, Fitzek leads a major interdisciplinary research cluster focused on ultra-low latency networks enabling remote physical interaction. His affiliations with 5G Lab Germany and 6G-life Hub facilitate industry-academic collaboration on standardization and deployment of future communication infrastructures, with particular emphasis on network coding techniques and tactile internet applications that transform industrial automation and teleoperation scenarios.
Jelena Mirkovic serves as Principal Scientist at USC Information Sciences Institute (USC/ISI) and Research Associate Professor at the University of Southern California's Thomas Lord Department of Computer Science. She has held faculty positions at USC since 2010, progressing from Research Assistant Professor to her current role as Research Associate Professor since 2017, while also serving as Project Leader at USC/ISI. Her educational background includes: PhD in Computer Science from UCLA (2003) MS in Computer Science from UCLA (2000) B.Sc. in Computer Science from University of Belgrade, Serbia (1998) Mirkovic's research spans network security, human-centered attacks, and cybersecurity experimentation infrastructure. Her work focuses on critical security challenges including botnets, denial-of-service attacks, IP spoofing, vulnerability scanning, and user-centric privacy. She has pioneered methodologies for security experiments and led major infrastructure projects including the DETER testbed and SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation). Analysis of her recent publications reveals consistent innovation across multiple security domains. Her work demonstrates strong technical depth in DDoS defense systems (particularly DNS protection), binary vulnerability analysis, privacy-preserving systems, and security experimentation infrastructure. A notable trend is her focus on bridging theoretical security concepts with practical implementation through large-scale testbeds and real-world data analysis. Her significant scientific achievements include: IEEE Senior Member distinction Best paper award at IEEE COMSNETS 2023 for DNS DDoS defense research Mirkovic has secured substantial research funding as Principal Investigator or Co-PI on numerous grants from NSF, DHS, and other agencies. Current major projects include SPHERE (Security and Privacy Heterogeneous Environment for Reproducible Experimentation), DISCERN (Datasets to Illuminate Suspicious Computations), and modernizing DeterLab education infrastructure. She has successfully led multiple REU sites focused on cybersecurity education and workforce development. She directs the STEEL (Security Research Lab) at USC/ISI, which develops innovative security solutions through interdisciplinary research in network security, human factors in security, and cybersecurity experimentation infrastructure. The lab emphasizes practical implementations that address real-world security challenges while advancing theoretical understanding of security systems.
Mehrdad Salehi is a researcher at the Chair of Computer Science Applications in Medicine at the Technical University of Munich (TUM) . His work focuses on the intersection of computer science and medical imaging, with expertise in ultrasound technology, deep learning, and surgical navigation systems. Key research areas include sonification of medical data, 3D ultrasound reconstruction, and machine learning-based segmentation. He has contributed to innovative projects like PRO-TIP calibration phantoms and ColibriDoc autonomous docking systems. His publications highlight trends in acoustic feedback mechanisms, neural radiance fields for medical imaging, and real-time image analysis. He can be reached at mehrdad.salehi@tum.de .
Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.
Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.
Dr. Gaël Kermarrec is a researcher at the Boundary Layer Meteorology Group , part of the Institute of Meteorology and Climatology within the Faculty of Mathematics and Physics at Leibniz University Hannover . His work focuses on atmospheric turbulence, GNSS applications, and remote sensing for environmental monitoring. Boundary layer meteorology Turbulence theory GNSS signal processing Terrestrial laser scanning Climate change impacts Geodetic time series analysis His research integrates advanced mathematical models like LR B-splines and Matérn covariance with large eddy simulations to study: Atmospheric turbulence effects on optical/GNSS signals Hydrospheric mass loading Deformation analysis of terrain/port infrastructure Climatic sea-level changes Machine learning for remote sensing The 15 most recent articles (2025-2023) demonstrate his focus on: GNSS-based turbulence detection AI-enhanced climate mapping Advanced surface approximation techniques Multi-sensor data fusion Stochastic modeling of geodetic observations Environmental impacts on optical measurements He has developed tools like the Klimascanner QGIS plugin for urban climate resilience and contributes to: Understanding atmospheric scale lengths Improving TLS/GNSS deformation monitoring Analyzing hydrospheric changes Wavefront modeling Ionospheric corrections
Prof. Dr. Katja Thoring is a Full Professor of Integrated Product Design at the Technical University of Munich (TUM School of Engineering and Design). She holds a doctorate in Design Research from Delft University of Technology and has previously served as Professor of Integrated Design at Anhalt University of Applied Sciences in Dessau from 2009–2022. Her research bridges product design, architectural space, and technology, focusing on how physical environments stimulate creativity and design processes across functional, emotional, and cognitive dimensions. Key areas include generative AI applications in design, innovative research methodologies, and creative workspace design. She developed methods like the 'Delphi Design Sprint' and contributed to frameworks such as the FOD (Future-Oriented Design) model. Thoring is a member of prominent design societies (DGTF, Design Society, DRS) and a founding member of the Academy of Design Innovation Management (ADIM). Notable awards include the 'Best Paper Award' at ADIM Conference (2017) and recognition as a top early-career researcher (2019). Her work integrates design education innovation, with studies on pedagogical spaces and cross-cultural design thinking. She has published extensively on design knowledge models, creative environments, and future-oriented design strategies.
Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools
Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.
