Prof. Dr.-Ing. Hakan Kayal serves as University Professor for Aerospace Engineering at the University of Würzburg, holding the Chair of Computer Science VIII (Space Technology) and chairing the Interdisciplinary Research Center for Extraterrestrial Studies (IFEX). His leadership bridges computer science and space systems engineering within the university's Institute of Computer Science. Research focuses on three synergistic domains: nanosatellite development for extraterrestrial missions (including the SONATE-2 6U platform demonstrating AI-driven onboard processing), scientific investigation of Unidentified Anomalous Phenomena (UAP) through the university's collaboration with the Federal Aviation Office, and spacecraft autonomy systems enabling higher mission independence. Current projects include the NEAlight mission (extended to develop the Apophis Interceptor concept for the 2029 asteroid flyby), VaMEx3-MarsSymphony for Mars exploration, and JMU Space Observatory initiatives. Publication trends reveal strong emphasis on asteroid defense strategies (particularly for Apophis), CubeSat-based UAP detection methodologies, and real-time AI processing in constrained space environments. His team actively engages students through ADS-B tracking, Meteosat App development, and Moon Base 2030 projects, while recent recognition includes co-authoring a landmark UAP review in Progress in Aerospace Sciences with 33 international scientists.
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
Prof. Martin Boeker is a Professor of Medical Informatics at the Technical University of Munich (TUM), affiliated with the TUM School of Medicine and Health. His work focuses on advancing healthcare through AI-driven solutions, interoperability frameworks, and precision medicine initiatives. Key projects include the German Medical Text Corpus (GeMTeX) and the MIRACUM DIFUTURE Alignment Hub. Expertise: Medical Informatics, AI in Healthcare, Federated Learning, Health Data Integration Key Contributions: FHIR-based systems, clinical decision support, patient-centered outcomes research Leadership: Director of the Institute for AI and Informatics in Medicine at TUM Hospital Right of the Isar Research emphasizes bridging clinical practice and data science through projects like modular health crawlers, automated guideline adherence monitoring, and cross-institutional medical NLP solutions. His work spans oncology informatics, rare disease management, and pandemic response data ecosystems. Recent articles highlight innovations in digital twins for precision oncology, federated analysis in oncology, and German-language medical NLP challenges. He collaborates internationally on EHR standardization and healthcare interoperability, contributing to the Medical Informatics Initiative (MII) and pandemic evidence ecosystems. Grants and collaborations involve the German Federal Ministry of Education and Research, European initiatives, and industry partnerships. Educational efforts focus on training future medical informatics professionals through MII competency programs.
Elena Simperl is a Professor of Computer Science and Deputy Head of Department for Enterprise and Engagement at King's College London's Department of Informatics. She co-directs the King's Institute for Artificial Intelligence and serves as Director of Research for the Open Data Institute. As a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study, she leads the Trustworthy Knowledge Graphs focus group and contributes to advancing human-centric AI research across European institutions. Professor Simperl obtained her doctoral degree in Computer Science from the Free University of Berlin and her diploma from the Technical University of Munich. Prior to joining King's, she held academic positions in Germany, Austria, and at the University of Southampton, and was a Turing Fellow. Her career trajectory demonstrates consistent leadership in bridging academic research with practical applications in data ecosystems. Her research sits at the critical intersection of AI and social computing, focusing on human-centric approaches to building sociotechnical systems that integrate data, algorithms, and human capabilities. She investigates how to make knowledge engineering more accessible, how to leverage collective intelligence for data quality improvement, and how to design participatory AI systems that address societal challenges like misinformation. Her work spans knowledge graphs, semantic technologies, crowdsourcing, and open data, with particular emphasis on the social dimensions of data-intensive systems and the governance frameworks needed for trustworthy AI deployment. Analysis of her recent publications reveals a strong evolution toward integrating large language models with traditional knowledge engineering practices while maintaining human oversight. There's a clear trajectory from foundational work on knowledge representation toward increasingly applied research addressing real-world challenges in media ecosystems, citizen science, and data governance, with growing attention to policy implications of AI technologies. Fellow of the British Computer Society Fellow of the Royal Society of Arts Hans Fischer Senior Fellow at TUM-IAS (2023) Ranked among top 100 most influential scholars in knowledge engineering of the last decade Included in Women in AI 2000 ranking Professor Simperl has led 14 major European and national research projects totaling millions in funding, including MediaFutures (a Horizon 2020 program tackling online misinformation), QROWD, ODINE, Data Pitch, and ACTION. She currently co-chairs the Croissant working group in ML Commons developing data standards for AI, and serves as president of the Semantic Web Science Association. Her research has directly influenced the development of data ecosystems supporting startups and citizen science initiatives across Europe, demonstrating exceptional ability to translate theoretical advances into practical impact. As Director of Research at the Open Data Institute, she oversees initiatives connecting data entrepreneurs with artists and civic organizations. Her leadership in the MediaFutures project established a data-driven innovation hub that supported 51 startups/SMEs and 43 artists through three open calls, creating a sustainable model for arts-technology collaborations addressing media challenges. Her work with the ODINE project helped create a European ecosystem for data-driven startups, demonstrating her commitment to building practical applications of open data principles.
Prof. Dr. Tobias Gemmeke is a University Professor at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, leading the Chair of Integrated Digital Systems and Circuit Design. His work focuses on neuromorphic computing, hardware accelerators, and energy-efficient electronics. He has pioneered advancements in FPGA-based computational neuroscience simulators, neuromorphic processor architectures, and sensor integration for industrial and medical applications. Research interests include time-domain computing, ReRAM reliability, and co-optimization of neural networks with hardware. Notable contributions include the neuroAIx framework for accelerated neuroscience simulations and energy-efficient ASIC designs for post-quantum cryptography. He actively explores memristive devices and domain generalization techniques for edge computing. Recent publications highlight innovations in spiking neural networks, sensor systems for plain bearings, and time-domain compute-in-memory engines. His work bridges theoretical neuroscience with practical hardware implementations, emphasizing scalability and real-time performance.
Krishna Gummadi is a Scientific Director and Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Germany, where he leads the Networked Systems Research Group. He also holds a professorship at the University of Saarland, demonstrating his dual commitment to research and academic instruction in computer science. His educational background includes: Ph.D. in Computer Science and Engineering from the University of Washington (2005) B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Madras (2000) Gummadi's research spans networked and distributed computer systems with a current focus on social computing systems. His work addresses critical challenges in algorithmic fairness, privacy in social media, trustworthiness of online identities, and information dissemination in social networks. He approaches these problems through interdisciplinary methods combining user-centric studies, data-centric analysis, and systems-centric design to create practical solutions that enhance fairness, transparency, and user control in online platforms. His methodology integrates large-scale observational studies, computational modeling, and system implementation to tackle complex human-computer interaction challenges at societal scale. His recent publications reveal a strong emphasis on fairness in algorithmic decision making, with significant contributions to quantifying and addressing discrimination in machine learning systems. His work bridges computer science, social science, and ethics, creating frameworks for fair classification, understanding media bias, and developing privacy-preserving techniques that maintain functionality while protecting user data. The research demonstrates a progression from technical system design to addressing societal implications of computing systems. Among his notable scientific achievements: ERC Advanced Grant in 2017 for 'Foundations for Fair Social Computing' Test of Time Awards at ACM SIGCOMM and AAAI ICWSM Casper Bowden Privacy Enhancing Technologies (PET) and CNIL-INRIA Privacy Runners-Up Awards IW3C2 WWW Best Paper Honorable Mention Multiple Best Paper awards across prestigious conferences Gummadi has advised numerous PhD students and postdoctoral researchers who have gone on to prominent positions in academia and industry. His ERC Advanced Grant has supported extensive research into fair social computing, while his leadership in major conferences (including serving as General Chair for ICWSM 2016 and Program Chair for WWW 2015) has shaped research directions in the field. His teaching portfolio includes courses on Distributed Systems, Human-Centered Machine Learning, and Social Media Analysis. He leads the Networked Systems Research Group at MPI-SWS, which has developed several publicly available systems including tools for fair classification, privacy risk assessment, trust evaluation in social media, and information diet management. The group's work bridges theoretical advances with practical implementations that address real-world challenges in social computing, with numerous software releases and datasets made available to the research community.
Luigi Acerbi is an Associate Professor in the Department of Computer Science at the University of Helsinki, where he leads the Machine and Human Intelligence research group. He is also an active member of the Finnish Center for Artificial Intelligence (FCAI) and ELLIS (European Laboratory for Learning and Intelligent Systems). His research focuses on probabilistic machine learning and computational neuroscience, particularly on developing efficient methods for statistical inference, Bayesian models of perception, and resource-constrained rationality. His work bridges machine learning and cognitive science, with applications in Bayesian optimization, simulation-based inference, and image completion. The recent publications highlight a strong trend toward unifying probabilistic conditioning across diverse tasks using transformer-based meta-learning frameworks like the Amortized Conditioning Engine (ACE). These works emphasize amortized inference, flexible latent variable modeling, and the integration of prior knowledge at runtime, enabling efficient and scalable Bayesian methods for complex problems. Scientific Affiliations: University of Helsinki, Department of Computer Science Finnish Center for Artificial Intelligence (FCAI) ELLIS (European Laboratory for Learning and Intelligent Systems) Education: PhD in Computational Neuroscience, Doctoral Training Centre, Edinburgh, UK Advisor: Sethu Vijayakumar and Daniel Wolpert Visiting work at Computational and Biological Learning Lab, Cambridge Postdoctoral Experience: Alex Pouget’s lab, University of Geneva, Switzerland Wei Ji Ma, New York University, USA Collaboration with the International Brain Laboratory Luigi Acerbi mentors PhD students including Daolang Huang and Nasrulloh Loka, and collaborates widely with researchers such as Samuel Kaski. He has contributed to open-source tools like PyVBMC and is involved in community initiatives such as the EurIPS conference. His work is supported by grants from the Research Council of Finland, Business Finland, and the UKRI Turing AI World-Leading Researcher Fellowship. He leads a research lab focused on amortized probabilistic inference, with ongoing projects including PriorGuide and Stacked VBMC, aiming to make Bayesian methods more practical and accessible for real-world scientific and engineering applications.
Colin Atkinson is a Professor in the School of Business Informatics and Mathematics at the University of Mannheim, where he has led the Software Engineering Group since April 2003. He additionally serves as head of the Examination Board for the Bachelor Business Informatics course, with administrative support from secretary Simone Kehrberg. His educational background includes a Ph.D. and M.Sc. in Computer Science from Imperial College, London (awarded in 1990 and 1985 respectively), and a B.Sc. in Mathematical Physics from the University of Nottingham (1983). Prior academic appointments include professorships at the University of Kaiserslautern and the affiliated Fraunhofer Institute for Experimental Software Engineering, followed by an Assistant Professorship in Software Engineering at the University of Houston – Clear Lake from 1991 to 1997. Professor Atkinson's research concentrates on Model-Driven Development with specialized focus on deep modeling and view-based modeling techniques, complemented by significant contributions to Dynamic Software Analysis and Software Search methodologies within the broader domain of Software Engineering. His work bridges theoretical frameworks with practical applications in software system construction and analysis.
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.
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.
Min Peng is a Professor at Wuhan University's School of Computer Science. His research focuses on artificial intelligence, machine learning, natural language processing, and knowledge graphs. He has collaborated extensively with institutions like Hefei University of Technology and the University of Chinese Academy of Sciences. His work bridges theoretical advancements in AI with practical applications in finance, social media analysis, and network optimization. Recent contributions include neural-symbolic reasoning frameworks, contrastive learning for knowledge graphs, and financial benchmarking with large language models. Research interests emphasize scalable machine learning models for complex reasoning tasks, explainable AI, and domain-specific applications in finance and social networks. Over 100 publications span venues like WWW, ACL, and NeurIPS, highlighting interdisciplinary impact. Notable projects include SymAgent (neural-symbolic agent frameworks), PIXIU (financial LLM benchmark), and DTC (commonsense machine comprehension). Key technical trends include integrating large language models with structured data, temporal knowledge graph reasoning, and transfer learning across domains. His work often addresses real-world challenges in data efficiency, interpretability, and cross-domain scalability. Current efforts explore financial LLMs, agent-based reasoning systems, and multimodal applications. While no specific grants or awards are listed in the provided data, his prolific publication record indicates sustained research excellence. Collaboration networks include teams in computer science, electrical engineering, and finance disciplines.
Prof. Dr. Sören Laue is a Professor of Machine Learning at the University of Hamburg's Department of Informatics. His research focuses on optimization algorithms, machine learning frameworks, and high-performance computing. He leads the Machine Learning research group and developed the GENO optimization framework and the Matrix Calculus toolset. His work emphasizes GPU acceleration, tensor operations, and scalable solutions for classical machine learning problems. Projects: GENO solver (Python-based optimization), Matrix Calculus (derivative computation), and SQL-based tensor operations. Key Research Themes: Optimization frameworks, GPU computing, neural network scalability, and algorithm design. Selected recent publications highlight contributions to tensor calculus benchmarks, GPU-optimized machine learning pipelines, and novel optimization methods. His work bridges theoretical foundations and practical software tools for the machine learning community.
Paul R. Genssler is a Dr.-Ing. researcher at the Chair of AI Processor Design (AI-Pro) within the Technical University of Munich (TUM), actively advancing hardware solutions for artificial intelligence under Prof. Hussam Amrouch. His work bridges computer engineering and emerging technologies, focusing on overcoming fundamental limitations in conventional computing architectures through brain-inspired paradigms. His research spans critical domains in next-generation computing: Hyperdimensional Computing for robust pattern recognition and bioinformatics applications Neuromorphic and In-Memory Computing architectures for energy efficiency Reliability engineering for emerging memory technologies (FeFET, etc.) Quantum computing support systems including cryogenic embedded electronics Machine learning-driven transistor aging prediction and mitigation Analysis of his 15 most recent publications (2023-2024) reveals a dominant trend toward hyperdimensional computing as a unifying framework for addressing reliability challenges in emerging technologies. His work consistently integrates in-memory computing techniques to bypass von Neumann bottlenecks while targeting real-world applications like genome matching and unsupervised learning. A significant portion focuses on error-resilient implementations for unreliable nanoscale devices, demonstrating exceptional cross-stack expertise from transistor physics to algorithm design. As a core member of TUM's AI Processor Design group affiliated with the Munich Institute of Robotics and Machine Intelligence (MIRMI), Genssler collaborates extensively on projects spanning cryogenic quantum control systems, FPGA-based AI resilience, and monolithic 3D integration. The team operates at the intersection of semiconductor physics, computer architecture, and machine learning, with strong industry connections evident through publications at DATE, ASP-DAC, and ICCAD.
Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.
Jie M. Zhang is an Assistant Professor in the Department of Informatics at King's College London, specializing in the intersection of software engineering and artificial intelligence. Her research focuses on two main directions: AI for Software Engineering (leveraging AI technologies to automate software tasks) and Software Engineering for AI (applying SE principles to enhance AI system trustworthiness). Her educational background includes a PhD in Computer Science from Peking University, where she was supervised by Professors Lu Zhang and Dan Hao. Prior to joining King's College London, she was a Research Fellow at University College London working with Professor Mark Harman and Professor Federica Sarro. Dr. Zhang's research interests center on software testing, machine learning trustworthiness, fairness testing, bias mitigation in AI systems, and program analysis. Her work particularly examines how large language models can be utilized for code generation, test case creation, and program repair, while also developing techniques to detect and fix issues within AI models. Her recent publications demonstrate strong trends in evaluating and enhancing the trustworthiness of AI-generated code, with specific emphasis on fairness testing across various domains including autonomous driving systems, machine translation, and decision-making software. Her research increasingly focuses on the efficiency of generated code and detecting hallucinations in large language models. 2025 ACM Sigsoft Early Career Researcher Award for pioneering contributions to software engineering for AI IEEE TSE 2024 Best Paper Award for 'Stealthy Backdoor Attack for Code Models' FSE 2025 Distinguished Paper Award Royal Society International Exchange Grant recipient NMES Enterprise & Engagement Partnerships Fund recipient Dr. Zhang has served in numerous leadership roles across major software engineering conferences including as General Chair for AIware 2025, Area Chair for ASE 2025, and Steering Committee Member for ICST. She has advised multiple PhD students and received significant research funding for her work on LLMs and software engineering. Her research group collaborates with industry partners including Huawei and Facebook, and she leads projects such as ITEA GENIUS and ITEA GreenCode. She is actively involved with King's College London research hubs including the Trusted Autonomous Systems Hub, Security Hub, and Software Systems group, where her work contributes to developing trustworthy AI systems across multiple domains.
