Prof. Dr. Christian Rossow is a faculty member at CISPA – Helmholtz Center for Information Security in Dortmund, Germany. He also serves as a professor at Saarland University and an honorary professor at TU Dortmund. His research focuses on network security , system/software security , and cyber attacks and countermeasures . His recent publications include work on CSS exploitation for browser fingerprinting, Spectre mitigations on ARM, DDoS attack analysis, and hardware-assisted security extensions. Christian Rossow regularly serves as a PC member and track chair for top cybersecurity conferences like ACM CCS and USENIX Security . He advises multiple PhD students and leads a research group exploring foundational and practical security solutions.
Daniel Wilhelm is a Professor of Statistics and Econometrics at LMU Munich, with a courtesy appointment in the Department of Economics. His research focuses on econometric theory, nonparametric methods, measurement error modeling, and statistical inference. He leads the Statistics and Econometrics Group at LMU and holds affiliations with the Centre for Microdata Methods and Practice (CeMMAP), Institute for Fiscal Studies (IFS), and the Centre for Research and Analysis of Migration (CReAM). Wilhelm’s work includes groundbreaking contributions to NPIV estimation, robust statistical testing, and the development of R and Stata packages for rank inference and econometric analysis. His recent publications address topics like rank-based inference, measurement error detection, and high-dimensional independence testing. He organizes academic events such as the Munich Econometrics Seminar and the LMU-Todai Econometrics Workshop. His research emphasizes methodological rigor and practical applications, with a focus on improving statistical techniques for social science and policy analysis.
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.
Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.
Prof. Dr.-Ing. Johannes Henrich Schleifenbaum is a Professor and Chair of Digital Additive Production at RWTH Aachen University, where he leads research in the Profile area Production Engineering (ProdE). His work advances additive manufacturing (AM) through interdisciplinary approaches combining materials science, process engineering, and digital technologies. His research encompasses: Laser powder bed fusion (LPBF) process optimization and defect mitigation Development of novel alloys/composites for AM applications Sustainable manufacturing practices including material recycling Integration of AI/ML for accelerated material and process design Digital tools for automated design and distributed manufacturing Recent publications (2023-2025) demonstrate a strong focus on: Multi-material processing and microstructure control Machine learning-driven alloy development Standardization and scalability of AM processes Advanced simulations for meltpool dynamics and thermal behavior Applications in aerospace, construction, and biochemical engineering He leads the Chair of Digital Additive Production, collaborating with industry partners to translate research into industrial solutions for next-generation manufacturing.
Cuiyun Gao is a Full Professor and PhD Supervisor at the School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen. She has established herself as a prominent researcher in the intersection of artificial intelligence and software engineering. Her educational background includes a PhD from the Chinese University of Hong Kong (completed in 2018), followed by postdoctoral work at CUHK and a Research Fellowship at Nanyang Technological University. She also had a visiting period at University College London supervised by Prof. Mark Harman and Prof. Federica Sarro. Dr. Gao's research primarily focuses on Software Repository Mining, Natural Language Processing, Code Analysis, Large Language Models, Source Code Understanding, User Review Analysis, Vulnerability Detection, and Mobile Advertising Analysis . Her work bridges the gap between traditional software engineering practices and modern AI techniques, particularly in the context of code intelligence and software maintenance. Her recent publications (2024-2025) demonstrate a strong emphasis on Large Language Models for code-related tasks, including code generation, optimization, vulnerability detection, and software engineering applications. Her research shows a clear trend toward addressing practical challenges in integrating LLMs into the software development lifecycle while maintaining code quality and security. Scientific Awards: Distinguished Paper Award at ASE 2023 Best Paper Award of the Track at ICSE 2024 Distinguished Paper Award at ICSE 2024 Dr. Gao actively supervises multiple PhD and Master's students, contributing to the next generation of software engineering researchers. She has served on numerous conference committees including FSE, ISSTA, ICSE, ASE, and SANER. Her research has received significant attention in the software engineering community, with multiple papers published in top-tier venues like FSE, ICSE, ASE, and TSE. Her lab appears to be actively engaged in both theoretical research and practical applications, particularly in the context of WeChat and other industry collaborations, demonstrating strong industry-academia connections.
Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.
Patrick Henkel is a Professor at the Technical University of Munich (TUM) affiliated with the TUM School of Engineering and Design and the Chair of Communication and Navigation. He holds a professorship in Satellite Geodesy under Prof. Hugentobler. His research focuses on advanced positioning technologies, including Global Navigation Satellite Systems (GNSS), autonomous systems, and sensor fusion. He develops algorithms for precise positioning in challenging environments such as urban areas, alpine regions, and indoor spaces. His work also extends to environmental applications, such as snow hydrology and climate monitoring using GNSS signals. Henkel’s contributions include innovations in real-time kinematic (RTK) positioning, UAV navigation, and multi-sensor integration for robotics and autonomous vehicles. His research is supported by collaborations with industry and academic partners, addressing both theoretical and applied challenges in geodesy and navigation. Henkel leads projects on GNSS signal processing, satellite-based environmental monitoring, and autonomous driving technologies. He has contributed to the Galileo HAS service and developed methodologies for snow water equivalent estimation using multi-frequency GNSS signals. His expertise spans hardware-software co-design for navigation systems and algorithm optimization for high-precision positioning in dynamic environments. He actively publishes in top-tier journals and conferences, with a focus on advancing the reliability and accuracy of navigation systems across various domains. His advising and grants include funding for projects on sensor fusion, UAV-based measurements, and satellite receiver development. He collaborates with teams at TUM’s Navigation Lab and the Professur für Satellitengeodäsie, contributing to both academic and industrial applications. His work on low-bandwidth RTK dissemination and laser-tracker verified UAV positioning highlights his commitment to bridging theoretical advancements with real-world implementation.
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
Xin Peng is a Professor and Deputy Dean at the School of Computer Science, Fudan University, China. He leads the CodeWisdom research team focusing on intelligent software engineering techniques for development, maintenance, and operation of software systems. His educational background includes a PhD in Computer Science (2001-2006) and Bachelor's degree in Computer Science (1997-2001), both from Fudan University. He progressed through the academic ranks from Assistant Professor (2006-2010) to Associate Professor (2010-2015) and finally to Professor (2015-present). Professor Peng's research interests span Software Analytics, Intelligent Software Development, Microservice systems, and AIOps. His work leverages AI technologies including deep learning and knowledge graphs to develop intelligent software engineering techniques. A significant portion of his recent work focuses on applying Large Language Models to various software engineering tasks, including vulnerability detection, API usage analysis, and test automation. His publication record shows a clear trend toward increasingly sophisticated applications of AI in software engineering, with recent work heavily featuring LLMs for tasks ranging from vulnerability patch porting to resource leak detection. The research spans multiple domains including microservice systems, automotive software, and Web of Things security. Best Paper Award of ICSM 2011 ACM SIGSOFT Distinguished Paper Award of ASE 2018 and 2021 IEEE TCSE Distinguished Paper Award of ICSME 2018, 2019, and 2020 IEEE Transactions on Software Engineering Best Paper award for 2018 Professor Peng serves in numerous leadership roles including Deputy Director of CCF Technical Committee on Software Engineering, Co-Editor-in-Chief of Journal of Software: Evolution and Process, and Associate Editor for ACM Transactions on Software Engineering and Methodology. He has been actively involved in program committees for major software engineering conferences including ICSE, ASE, ESEC/FSE, and ICSME. He leads the CodeWisdom research team at Fudan University, which has developed several benchmark systems including TrainTicket for microservice research. The team's work bridges academic research with industrial applications, particularly in microservice systems analysis and intelligent software development tools.
Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.
Heiko Falk is a Professor and Head of the Institute of Embedded Systems at Technische Universität Hamburg (TUHH). His roles include serving as Workshop Chair for the 2024 Embedded Systems Week (ESWEEK), Scientific Coordinator for the B.Sc. and M.Sc. Computer Science programs, and Deputy Head of the Board of Examiners for Computer Science and Engineering. His research focuses on real-time systems, compiler optimizations, and worst-case execution time (WCET) analysis. Key areas include multi-core architectures, cache management, energy efficiency, and hardware/software co-design. Falk's work emphasizes practical compiler techniques for improving real-time performance, such as WCET-aware memory allocation, dynamic SPM optimization, and event-driven scheduling. His publications analyze shared cache interference, preemptive/non-preemptive scheduling, and DMA-aware optimizations. Recent work explores multi-objective trade-offs between WCET, energy consumption, and code size in embedded systems. No scientific awards are explicitly listed, but his contributions to WCET benchmarking (e.g., haRTStone project) and compiler frameworks demonstrate significant impact in the field. Advising and grants: No formal advisees are listed in the provided texts. Falk's work is supported through projects like teamplay, focusing on cyber-physical systems optimization. Labs/Teams: His group operates within TUHH's Institute of Embedded Systems, collaborating on projects addressing real-time system challenges in multi-core environments.
Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.
Christian Engwer is a full Professor at the University of Muenster in the Institute for Applied Mathematics, specializing in Analysis and Numerics. He leads the Engwer Group focused on Applications of Partial Differential Equations and is actively involved in the Cells in Motion initiative as a supervisor in the CiM-IMPRS Graduate Programme. His research centers on developing numerical methods for partial differential equations, particularly addressing challenges in complex geometries and multi-physics applications. He specializes in Unfitted Discontinuous Galerkin methods, which allow simulations on complex geometries without requiring domain-fitted meshes. His work spans porous media modeling, biological systems, and bioelectromagnetism applications, with significant contributions to EEG/MEG forward modeling in neuroscience. Analysis of his recent publications reveals a strong focus on model order reduction techniques, stabilized numerical schemes for cut-cell meshes, and applications in bioelectromagnetism. His work demonstrates a consistent trajectory toward developing robust, efficient numerical methods applicable to real-world problems in medical imaging and biological modeling, with increasing emphasis on high-performance computing implementations. Professor Engwer actively supervises doctoral students, with recent completions including Lukas Renelt (2025), Michael Wenske (2021), and Maria Carla Piastra (2019), among others working on topics related to numerical methods and biomedical applications. He leads several major research projects including BrainStorm: Highly Extensible Software for Advanced Electrophysiology and MEG/EEG Imaging (NIH-funded since 2019), multiple EXC 2044 Cluster of Excellence projects through 2025, and the InterKI interdisciplinary teaching program on machine learning and artificial intelligence. His group develops several important software packages including DUNE (Distributed and Unified Numerics Environment), duneuro (for bioelectromagnetism applications), and TPMC (Topology Preserving Marching Cubes). These tools support research in numerical methods and their applications to complex scientific problems.
