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.
Stefan Hougardy is a Professor at the Research Institute for Discrete Mathematics, part of the Mathematisch-Naturwissenschaftliche Fakultät at the University of Bonn. He is actively engaged in research and teaching, with a focus on discrete mathematics and combinatorial optimization. He contributes to academic governance through roles in examination boards, teaching mentoring, and faculty committees. Stefan Hougardy's research lies at the intersection of theoretical computer science and practical optimization. His primary interests include approximation algorithms, the Traveling Salesman Problem (TSP), Steiner trees, graph theory, and VLSI design automation. He develops efficient algorithms for NP-hard problems and analyzes their theoretical performance guarantees. His work often bridges theory and application, particularly in electronic design automation and mathematical programming. His recent publications demonstrate a strong focus on the complexity and approximation of combinatorial optimization problems. Key themes include the analysis of local search heuristics like k-opt for TSP, edge elimination techniques, fast matching algorithms, and optimal legalization in chip design. His work combines rigorous theoretical analysis with practical implementation and computational experiments. MPC 'Outstanding Paper of the Year' Award 2024 Stefan Hougardy supervises graduate students and leads seminars on discrete mathematics and optimization. He is involved in the Bonn International Graduate School of Mathematics and the Hausdorff Center for Mathematics, contributing to doctoral education and mentoring. While specific grant details are not listed, his sustained research output and leadership roles suggest active funding support. He also contributes to curriculum development and academic quality assurance through various institutional committees. He is affiliated with the Research Institute for Discrete Mathematics at the University of Bonn, a leading center for combinatorial optimization and algorithmic research. The institute is closely linked with the Hausdorff Center for Mathematics, fostering collaboration in discrete and applied mathematics.
Prof. Dr. Axel-Cyrille Ngonga Ngomo is a Professor at the University of Paderborn , affiliated with the Faculty of Electrical Engineering, Computer Science and Mathematics and the Institute of Computer Science . He leads the Data Science group at the Heinz Nixdorf Institute and is a member of the Sonderforschungsbereich Transregio 318 (Constructing Explainability). His roles include heading the Informatik Rechnerbetrieb (IRB) team. Research Focus : Knowledge graphs, semantic web technologies, explainable AI, and distributed systems. Selected Projects : SAIL (Sustainable Life Cycle of Intelligent Sociotechnical Systems), TRR 318 (Constructing Explainability), Colide (Co-training for Industrial Data), 3DFed (Dynamic Data Distribution), and SFB 901 (On-The-Fly Computing). Contact : Email axel.ngonga@uni-paderborn.de , Office F1.225 (Fürstenallee 11) and TP6.3.106 (Technologiepark 6), Paderborn. Teaching : Courses include Seminar on Recent Advances in Knowledge Graphs, Project Groups on SPARQL Query Processing, Large Language Model Training, Retrieval Augmented Generation, and Foundations of Knowledge Graphs.
Guo Li is affiliated with the Beijing Institute of Technology, School of Management and Economics. Their research spans computer vision, optimization algorithms, signal processing, and machine learning. Collaborations include work on image super-resolution, sensor networks, and energy systems. Publications are distributed across journals like Comput. Electron. Agric. , IEEE Trans. Circuits Syst. , and Entropy . Research interests focus on computational methods for image processing, algorithm design, and interdisciplinary applications in agriculture and energy. Recent work emphasizes lightweight neural network architectures, sparrow search algorithms, and thermodynamic modeling in materials science. Notable contributions include advancements in citrus fruit detection, fatigue life assessment of superalloys, and load forecasting techniques. Active in international conferences such as CVPR, ICC, and NSDI, with a strong publication record since 1998.
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.
Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.
Prof. Dr. Harald Ritz serves as Professor of Practical Computer Science, especially Business Informatics, at the Technical University of Central Hesse (THM) within the Department of Mathematics, Natural Sciences and Computer Science since 2003. He holds leadership roles as Chair of Examination Committees for B.Sc. and M.Sc. Business Information Systems and Spokesperson for the MNI department in the Business Informatics Working Group (AKWI). His educational background includes a Diplom in Business Informatics (Dipl.-Wirtsch.-Inform.) and doctorate (Dr. rer. pol.) from the Technical University of Darmstadt, following professional experience at SAP SI AG and a professorship at Heilbronn University of Applied Sciences. Ritz's research centers on AI-driven digital transformation for data-driven enterprises, with focus on the “Data to Decision” value chain encompassing Framing, Allocation, Analytics, and Preparation phases. His work integrates business intelligence, data warehousing, machine learning, and SAP ecosystems to address challenges in SME digitalization, operational IT management, and educational technology. Current projects emphasize AI applications in higher education, including intelligent tutoring systems and automated feedback mechanisms. Analysis of his 15 most recent publications reveals a consistent trajectory toward applied AI solutions in business contexts, particularly in intelligent chatbots for educational support, financial trading algorithms, and cloud-based data infrastructure. The research demonstrates increasing integration of no-code platforms, real-time analytics, and domain-specific AI applications across logistics, banking, and procurement sectors. No scientific awards were documented in the source materials. Professor Ritz actively supervises academic development through bachelor’s and master’s theses, doctoral research, and collaborative projects. Current initiatives include the “Winfy” AI chatbot (v4.0, 2025), AI-based feedback systems for educational content (Freiraum 2025 grant), the frits intelligent tutoring project with Prof. Kammer, and doctoral research on AI adoption in SMEs. His work bridges theoretical research with practical implementation in SAP environments and cloud platforms. He operates within THM’s MNI department infrastructure, collaborating through the Business Informatics Working Group (AKWI) and contributing to the Digital Classroom communication platform for online education.
Craig Knoblock serves as Keston Executive Director of the Information Sciences Institute (ISI) at the University of Southern California (USC), Vice Dean of the USC Viterbi School of Engineering, and Research Professor of Computer Science and Spatial Sciences. He also directs the Data Science Program and the Center on Knowledge Graphs at USC. His educational background includes a Ph.D. and M.S. in Computer Science from Carnegie Mellon University (1991, 1988) and a B.S. with honors in Computer Science from Syracuse University (1984). Knoblock's research focuses on data semantics , specializing in source modeling, schema and ontology alignment, entity and record linkage, data cleaning, Web data extraction, and knowledge graph construction. His work bridges computer science, geospatial analysis, and artificial intelligence to solve complex data integration challenges. Recent projects emphasize historical map digitization, geospatial knowledge graphs, and smart city applications. His 300+ publications demonstrate consistent contributions to knowledge graphs and geospatial data integration, with a growing emphasis on historical map analysis and urban applications. The research trajectory shows increasing interdisciplinary collaboration across computer vision, geoinformatics, and domain-specific applications. IEEE Fellow (2020) ACM Fellow (2017) AAAI Fellow (2004) Robert S. Engelmore Memorial Lecture Award (2014) Donald E. Walker Distinguished Service Award (IJCAI, 2018) Use-Inspired Research Award (USC Viterbi, 2018) As Executive Director of ISI, Knoblock oversees one of USC's premier research centers with significant federal funding. His leadership extends to directing the Center on Knowledge Graphs and the Data Science Program. While specific grant details aren't provided, his extensive publication record and leadership roles indicate substantial research funding across data integration, knowledge representation, and geospatial applications. His work bridges theoretical computer science with practical applications in historical preservation, urban planning, and resource management through collaborative projects with government agencies and industry partners. Knoblock leads the Center on Knowledge Graphs at USC, focusing on developing techniques for building and utilizing knowledge graphs across diverse domains. His team combines expertise in artificial intelligence, geospatial analysis, and data integration to tackle challenges in historical map digitization, urban applications, and resource discovery. The research group maintains strong connections with both academic and government partners through the Information Sciences Institute's extensive network.
Katharina Eggensperger is an Early Career Research Group Leader at the University of Tübingen , leading the AutoML for Science group within the Cluster of Excellence Machine Learning for Science . She previously completed her Ph.D. at the University of Freiburg under Frank Hutter and Marius Lindauer (2022), and actively contributes to the AutoML community through open-source tool development and competition leadership. Co-developer of AutoML.org tools Faculty member of IMPRS-IS Chair for multiple AutoML workshops/conferences (2019-2025) Her research focuses on automated machine learning (AutoML) with specific attention to: AutoML Systems Hyperparameter Optimization Tabular Machine Learning Scientific Applications of ML She has organized multiple AutoML schools and conferences, including serving as Program Chair for AutoML 2024 and Non-archival Track Chair for AutoML 2025. Her work emphasizes making machine learning accessible through automation while maintaining scientific rigor and interpretability, particularly for tabular data applications. Katharina actively recruits PhD students through IMPRS-IS and collaborates with institutions like the University of Freiburg and Cyber Valley .
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.
Dr. Sinno Jialin Pan is a leading researcher in machine learning and artificial intelligence at Nanyang Technological University, Singapore. His work focuses on domain adaptation, sentiment analysis, and efficient neural network optimization. Key research areas: Machine Learning, Domain Adaptation, Reinforcement Learning, Sentiment Analysis Recent publications demonstrate expertise in time-series classification (2025) using hierarchical domain adaptation, LLM efficiency (2025) through expert pruning, and graph generation (2024) via spectral diffusion. His work spans both theoretical advancements and practical applications in neural architecture optimization and adversarial learning. Scientific contributions include: 2025: Virtual-label hierarchical domain adaptation 2024: Spectral diffusion for graph generation 2024: Multilingual jailbreak analysis in LLMs Current trends show increasing focus on large language model optimization and robust neural architectures , with applications in fault diagnosis, recommender systems, and misinformation detection.
Markus Lange-Hegermann serves as Professor of Mathematics and Data Science at Ostwestfalen-Lippe University of Applied Sciences (TH OWL) since 2018 and holds a board position at the Institute for Industrial Information Technology (inIT). His career bridges academic research and industrial applications, with expertise in translating machine learning theory into practical engineering solutions for automation and manufacturing sectors. His educational foundation includes a Diplom (Master equivalent) in Computer Mathematics from RWTH Aachen University (2004-2008) followed by a Dr. rer. nat. (PhD equivalent) in algorithmic differential algebra (2008-2014). Prior to academia, he gained industry experience at FEV GmbH as an R&D engineer (2014-2017) and P3 automotive GmbH as a Data Science Consultant (2017-2018). Lange-Hegermann's research centers on probabilistic machine learning with distinctive emphasis on physics-informed approaches. He develops Gaussian process methodologies that incorporate differential equations to model time dependencies, uncertainties, and physical constraints in industrial systems. His work enables robust data-based modeling and optimization for cyber-physical systems, with applications spanning predictive maintenance, process control, and quality assurance in manufacturing. Analysis of his 15 most recent publications (2024-2025) reveals consistent innovation in physics-integrated machine learning, particularly using Gaussian processes to solve partial differential equations and optimal control problems. The research demonstrates strong industrial applicability across domains including medical imaging, material science, automotive engineering, and brewing processes, with recurring themes of anomaly detection in time-series data and uncertainty-aware decision making. His scientific contributions have earned significant recognition: Forschungspreis TH OWL (2024) Top reviewer award at NeurIPS (2023) Outstanding reviewer award at NeurIPS (2021) Best poster award at Bosch AI CON (2019) Borchers Plakette for outstanding dissertation (2014) Springorum Denkmünze for outstanding diploma (2009) As chairman of the Data Science study program and vice chairman of undergraduate examination boards, Lange-Hegermann actively shapes academic curricula while supervising graduate theses. His governance roles include serving on professorship search committees at multiple institutions and contributing to examination regulations. He maintains active research funding through collaborations with industrial partners and reviews proposals for initiatives like It's OWL and 3IA Côte d’Azur. Lange-Hegermann leads the Mathematics and Data Sciences research group within inIT, fostering collaboration between theoretical machine learning and industrial automation. He co-founded AICOmmunityOWL and the Informatics Europe working group on Data Analysis and Reporting, while organizing machine learning reading groups and data science hackathons to bridge academic research with industrial problem-solving.
Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.
