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.
Prof. Ilia Polian serves as Head of the Institute of Computer Engineering and Chair of the Hardware-Oriented Computer Science (HOCOS) department at the University of Stuttgart. His leadership spans research, teaching, and institutional coordination across multiple high-impact projects. Prof. Polian's research focuses on developing circuit and system architectures based on both traditional and novel principles, including neuromorphic, stochastic, and approximate architectures. His second major research focus is systematic design methodology and design automation, with particular emphasis on safety and reliability properties of developed systems. Current research directions include quantum computing engineering, secure mixed-signal neural networks, and resource-efficient stochastic circuits for near-sensor computing applications. His recent publications demonstrate strong trends in quantum computing (particularly circuit partitioning and compilation for multi-QPU architectures), hardware security (including memristive cryptographic implementations), and AI-driven approaches to hardware testing and reliability. These works bridge fundamental computer architecture research with practical industrial applications. University of Stuttgart's Publication Prize for Paper on Partitioning of Quantum Circuits Prof. Polian actively supervises doctoral students including Devanshi Upadhyaya, and leads significant research grants such as the DFG Priority Program Nano Security which he coordinates. His department offers numerous thesis and research opportunities for students interested in cutting-edge hardware research. The Hardware-Oriented Computer Science department maintains strong collaborations with industry partners including IBM, Infineon Technologies, and Advantest, as well as academic institutions through the IQST Graduate School and QuantumBW initiatives.
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.
Prof. Dr. Gerrit Remane is a full-time professor at Wedel University of Applied Sciences since 2018, leading the Bachelor's program in IT Management, Consulting, and Auditing (IMCA) and the Master's program in Business Information Systems / IT Management (WIM). He specializes in IT management, business intelligence, and digital transformation, integrating his industry experience from Roland Berger and academic research on digital business models and innovation. Education: Dr. rer. pol (Digital Business Models in the Mobility Sector), Georg-August-University Göttingen (2014–2017) M.Sc. Business Information Systems, Technical University of Munich (2008–2011) B.Sc. Business Information Systems, Wedel University of Applied Sciences (2005–2008) Research Interests: Digital transformation and business model innovation Agile methodologies in enterprise IT Strategic data acquisition and analytics Sustainable IT practices and Green Technology DevOps, BizDevOps, and hybrid project management His recent publications focus on digital business models, agile transformations, and sustainability in IT. He has supervised numerous student seminars on topics like ITIL maturity assessments, data privacy, generative AI use cases, and metaverse applications. While no specific scientific awards are documented, his work has been presented at conferences including AMCIS, ECIS, and WI. Gerrit Remane collaborates with scholars such as S. Schneider, A. Hanelt, and L.M. Kolbe, and his research underscores the integration of IT with organizational strategy.
Alina Roitberg is a Junior Professor (Assistant Professor) at the University of Stuttgart , affiliated with the Faculty of Computer Science, Electrical Engineering and Information Technology . Her research focuses on advancing computer vision, machine learning, and robotics applications, particularly in human activity recognition, domain adaptation, and synthetic data generation. She explores challenges in action understanding, cross-domain generalization, and real-world deployment of AI systems in fields like healthcare, autonomous vehicles, and industrial automation. Her work emphasizes robust learning under noisy conditions, multimodal data fusion, and ethical AI applications. Recent projects include foundational studies on large language models in construction (AEC), video-based muscle group estimation, and improving driver activity recognition for autonomous vehicles. She also investigates circular factory design through uncertainty-aware process optimization and human-robot interaction. Dr. Roitberg's contributions span academic publications and industrial collaborations, addressing both theoretical advancements and practical implementations. Her research bridges computer vision techniques with real-world problems, emphasizing scalability and ethical considerations in AI deployment.
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.
Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.
Kihong Heo is an Associate Professor in the School of Computing and Graduate School of Information Security at KAIST (Korea Advanced Institute of Science and Technology) in South Korea. His academic career includes serving as an Assistant Professor at KAIST from 2017-2019 before being promoted to Associate Professor in 2020, following his postdoctoral research at the University of Pennsylvania. He earned both his Ph.D. and B.S. in Computer Science & Engineering from Seoul National University. Dr. Heo's research focuses on developing program reasoning systems for safe and reliable software, with specific interests in AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges the gap between programming languages, program analysis, and machine learning techniques to create next-generation programming systems. Analysis of his recent publications reveals a strong trend toward integrating machine learning techniques with traditional program analysis methods, with significant contributions in compiler validation, software security, fault localization, and program debloating. His research has practical impact, with some of his work incorporated into Facebook's Infer static analyzer. ACM SIGSOFT Distinguished Paper Award, FSE 2025 Amazon Research Award, 2024 The Soo-Young Lee Teaching Innovation Award, KAIST, 2024 Prize for Excellence in Teaching, KAIST, 2024 Best Artifact Award, ICSE 2022 ACM SIGPLAN Distinguished Paper Award, PLDI 2019 ACM SIGSOFT Distinguished Paper Award, ICSE 2019 Dr. Heo actively mentors graduate students, currently advising several Ph.D. candidates including Yeonhee Ryou, Taeeun Kim, and Sujin Jang, as well as master's students. He has served on program committees for major software engineering and programming language conferences including PLDI, ICSE, POPL, and SPLASH, demonstrating his active role in the academic community. His laboratory, the Programming Systems Laboratory at KAIST, focuses on creating innovative programming systems that leverage both semantic-based program analysis and AI techniques.
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.
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.
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.
Prof. Dr. Sebastian von Mammen is a tenured professor at the University of Würzburg's Institute for Computer Science, where he heads the Games Engineering research group and contributes to the Chair for Human-Computer Interaction. His group leads the Games Engineering academic program. Previously, he completed his habilitation (2012-2016) at the University of Augsburg's Chair of Organic Computing and was a postdoctoral fellow at the University of Calgary. His research spans: Real-Time Interactive Systems : Visual programming, immersion techniques, software engineering Interactive Simulations : Serious games for healthcare/logistics/construction Artificial Life : Self-organisation, adaptive systems, evolutionary computation Artificial Intelligence : Agent-based modeling, procedural content generation Recent publications (2023-2025) demonstrate strong focus on: Virtual reality applications in education (femtoPro optics simulator, BrainBuilder neuroanatomy) Healthcare technology platforms (VIA-VR for medical serious games) Game mechanics analysis (Match-3, Jump'n'Run flow) AI-driven emotion recognition and interactive systems Computational modeling of biological systems He leads the Games Engineering research group and previously participated in the Evolutionary and Swarm Design group (Calgary) and LINDSAY project. His lab develops VR simulations for scientific training and serious games applications.
Peiyi Wang is an Assistant Professor at Peking University's School of Electronics Engineering and Computer Science, Institute for Artificial Intelligence. With strong research output spanning both natural language processing and robotics, Wang maintains significant collaborations with Southern University of Science and Technology and National University of Singapore, particularly in soft robotics research with Professor Cecilia Laschi. Additionally, Wang is actively involved with DeepSeek-AI, contributing to several major language model initiatives including DeepSeek-R1 and DeepSeek-V2. Peking University, School of EECS, Institute for Artificial Intelligence (Primary) Southern University of Science and Technology (Collaborative) National University of Singapore (Collaborative) DeepSeek-AI Research Organization Dr. Wang's research spans two primary domains with significant intersection points. In natural language processing, Wang focuses on large language model reasoning capabilities, mathematical verification, uncertainty estimation, and preference alignment. The robotics work centers on soft robotics, particularly origami-inspired designs, strain-based modeling, and control systems for continuum manipulators. These domains converge in Wang's work on vision-language models, embodied AI, and multimodal reasoning systems. Recent work demonstrates particular innovation in mathematical reasoning verification (Math-Shepherd), soft robotic control systems, and red teaming frameworks for language model safety. Wang's publication record shows remarkable productivity, with over 40 publications between 2021-2025 across top-tier venues including ACL, EMNLP, CVPR, and IEEE Transactions on Robotics. The work demonstrates consistent progression from foundational NLP tasks to increasingly sophisticated multimodal and reasoning systems. The most recent publications (2024-2025) show particular emphasis on mathematical reasoning verification, soft robotics control, and language model safety evaluation. While specific awards aren't documented in the provided materials, Wang's work has clearly gained significant recognition through acceptance at top-tier conferences and collaborations with leading researchers in both NLP and robotics fields. Wang's research demonstrates strong interdisciplinary connections, bridging theoretical NLP work with practical robotics applications. The work with DeepSeek-AI suggests active industry collaboration while maintaining strong academic research output. Current research directions appear focused on improving language model reasoning reliability while developing novel soft robotic systems that can interact safely and effectively with complex environments.
Pierre Monnin is a Junior Fellow in AI at Université Côte d'Azur , conducting research within the Wimmics team at the I3S Laboratory . He also teaches within the EFELIA Côte d'Azur program. His work spans multiple institutions through funded projects like SHACKLE (EU Horizon), ECLADATTA and AT2TA (ANR), with collaborations at Télécom Paris , Università di Bari , and INESC-ID in Lisbon. Previous roles include temporary lecturer at TELECOM Nancy (2023-2024) and researcher at Orange (2020-2023). Research Interests focus on the knowledge graph lifecycle (construction, matching, refinement, mining, discovery) from neurosymbolic AI and analogical reasoning perspectives. He explores Domain knowledge injection into ML models Symbolic-semantics for graph embeddings Zero-shot bootstrapping techniques Context-aware semantic annotation Link prediction with constraint enrichment Life sciences applications Recent scientific awards include: Best Paper Award at ESWC 2024 (Student & Resource Papers) Best Thesis Award from French Association EGC (2022) 1st Prize (Accuracy Track) at Semantic Web Challenge (2021) His teaching portfolio covers AI fundamentals for foreign languages, marketing, and adult education programs, with specialized courses in Semantic Web technologies NoSQL databases XML tools Compiler implementation He supervises multiple PhD students and interns on topics involving neurosymbolic refinement , knowledge reconciliation , and analogical reasoning . Key software contributions include: KGPrune - Web application for thematic Wikidata subgraph extraction PyGraft - Synthetic knowledge graph generation tool DAGOBAH UI - Semantic table interpretation interface He also maintains datasets like PGxLOD and YAGO4-LP for pharmacogenomics and link prediction.
