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.
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.
Dr. Hermann Cuntz is an Independent Group Leader at the Ernst Strüngmann Institute (ESI) for Neuroscience in cooperation with the Max Planck Society. He is also a Research Fellow at the Frankfurt Institute for Advanced Studies (FIAS) since 2014 and affiliated with the Goethe University Frankfurt via the Institute of Clinical Neuroanatomy . His email address is hermann.neuro@gmail.com , and he is based in Frankfurt am Main, Germany. Research Focus: Dr. Cuntz investigates principles of neuronal wiring, aiming to decode the "connection code" of the brain. His work bridges morphology and function using computational tools, mathematical laws, and morphological modeling. Key areas include dendritic constancy , structural plasticity , connectomics , and neuroinformatics , with applications in understanding neurodegenerative diseases like Alzheimer’s. Education: PhD from the University of California at Berkeley and Max Planck Institute of Neurobiology (2000-2004). Diploma in biology from Eberhard Karls Universität Tübingen (1994-2000). Recent Publications highlight research trends in dendritic structure, pattern separation, synaptic spine distribution, and cortical folding. His lab develops the TREES Toolbox , a MATLAB-based framework for neuronal morphology analysis. Scientific Awards: Bernstein Award (2013-2019) DFG Eigene Stelle (2014-2016) Feodor Lynen Fellowship (Alexander von Humboldt, 2006-2008) Minerva Fellowship (2004-2005) Wellcome Image Award (2011) 1st Prize Poster Competition, UCL Neuroscience Symposium (2010) Advising and Grants: Dr. Cuntz mentors numerous PhD and Master’s students, including Marcel Beining , Mariuss Schneider , and Marvin Weigand . His lab receives funding from the DFG , Bernstein Award , and collaborations with institutions like the 3R-Center Giessen and Interdisciplinary Centre for 3Rs (ICAR3R) . Labs and Collaborations: The Cuntz Lab specializes in computational neuroanatomy, with alumni working globally in academia and industry. Key collaborators include Prof. Peter Jedlicka (Justus Liebig University), Prof. Gaia Tavosanis (DZNE Bonn), and Prof. Alexander Borst (MPI Neurobiology).
Prof. Julijana Gjorgjieva is a tenured W3 Professor of Computational Neuroscience at the School of Life Sciences Weihenstephan, Technical University of Munich (TUM). She leads an independent research group at the Max Planck Institute for Brain Research and is affiliated with the Bernstein Center for Computational Neuroscience. Her research focuses on the principles governing neural circuit development, balancing learning plasticity with functional stability through computational and theoretical approaches. Key interests include synaptic organization, energy-efficient neural computation, and evolutionary optimality principles. Education & Career: B.Sc. Mathematics, Harvey Mudd College (2006) M.A.St. in Applied Mathematics, University of Cambridge (2007) Ph.D. Applied Mathematics, University of Cambridge (2011) Postdoctoral Fellowships: Harvard University (2011-2014), Brandeis University (2014-2016) Max Planck Research Group Leader (2016-2022) W2/W3 Professor at TUM since 2016 Research Interests: Computational neuroscience, theoretical modeling of neural circuits, synaptic plasticity mechanisms, homeostatic regulation, and the interplay of development and evolution in shaping brain architecture. She employs mathematical frameworks to study how circuits achieve robustness while enabling adaptive learning. Awards: Heinz Maier-Leibnitz Prize (2022) Eric Kandel Young Neuroscientist Prize (2021) ERC Starting Grant (2018) Multiple postdoctoral and early-career fellowships Grants & Funding: Includes DFG Collaborative Research Center on Neural Homeostasis, HFSP grants, and EU Horizon 2020 initiatives. Active in mentoring and promoting computational neuroscience through programs like Neuromatch Academy. Labs & Collaborations: Leads a multidisciplinary lab integrating experimental and theoretical approaches. Collaborates with institutions such as the Max Planck Society and international computational neuroscience networks.
Rainald Loehner is a Distinguished Professor of Fluid Dynamics at George Mason University's Center for Computational Fluid Dynamics. Since 2003, he has led the Center for Computational Fluid Dynamics at George Mason University. He is currently a Hans Fischer Senior Fellow at the Technical University of Munich's Institute for Advanced Study (TUM-IAS) for 2023, hosted by Professors Kai-Uwe Bletzinger and Roland Wüchner in the 'Adjoint-Based System Identification of Large-Scale Structures' Focus Group. Loehner received his Diplom Ingenieur (Maschinenbau) degree from the Technical University of Braunschweig, and his PhD and a DSc in civil engineering from the University College of Swansea, Wales. After teaching at Swansea for a year, he worked at the Naval Research Laboratory in Washington, DC, followed by a research professorship at George Washington University. He joined George Mason University as an associate professor and was promoted to full professor in 1995 and distinguished professor in 2004. With over 35 years of experience, Professor Loehner's research spans the complete pipeline of numerical solvers and simulation tools. His expertise includes pre-processing, grid generation, numerical methods, field solvers, parallel computing, adaptive mesh refinement, fluid-structure interaction, shape optimization, system identification, and computational crowd dynamics. His current work focuses on developing advanced field solvers for compressible and incompressible flows, acoustics, electromagnetic wave propagation, heat and mass transfer, structural mechanics, and fluid-structure interaction. Key application areas include blast mitigation, ship hydrodynamics, blood flow, contaminant transport, and pedestrian safety. Loehner's recent research output (2020-2024) shows a strong trend toward digital twin technology and adjoint-based methods for structural analysis and optimization. His publications focus on high-fidelity digital twins for detecting structural weaknesses, risk assessment in engineering systems, and optimization of sensor placement. His work bridges computational mechanics with machine learning approaches, particularly in system identification and inverse problems, demonstrating how computational methods can solve complex real-world engineering challenges. 2020: Ranked #15119 in the Stanford List of Most Influential Scientists of the World; #8 in Aerospace and Aeronautics 2010: Distinguished International Career Award, Argentine Association of Computational Mechanics 2008: Fellow, International Association for Computational Mechanics 2006: Associate Fellow, AIAA 2005: Honorary Professor, University of Wales Swansea 2005: Advisory Professor, Shanghai Jiao Tong University 2004: Distinguished Professor of Fluid Dynamics, George Mason University 1999: Computational Mechanics Achievements Award, Japan Society of Mechanical Engineering 1993: Doctor of Science in Civil Engineering, University College of Swansea 1979-1983: Studienstiftung des Deutschen Volkes (Top 1% of German Students) Professor Loehner has mentored numerous students through his work at George Mason University and has supervised research in computational fluid dynamics, structural mechanics, and related fields. His research has been supported by various grants from government agencies and industry partners, enabling the development of advanced simulation tools applied in aerodynamics, hydrodynamics, shock-structure interaction, and medical applications. His codes and methods have been widely adopted in industry and academia for applications ranging from aircraft and ship design to medical simulations and urban pathogen transmission modeling. Loehner leads the Center for Computational Fluid Dynamics at George Mason University, which focuses on developing cutting-edge computational methods for fluid dynamics and related multiphysics problems. The center works on strategic application areas including blast mitigation, ship hydrodynamics, blood flow simulation, and pedestrian movement modeling. As a TUM-IAS Fellow, he collaborates with the Chair of Computational Modeling and Simulation at TUM on adjoint-based system identification of large-scale structures, bringing together expertise in computational mechanics and digital twin technology to address complex engineering challenges.
Dr. Francesca Delogu is a Scientific Associate at Saarland University's Department of Linguistics and Language Technology. Her research focuses on the cognitive and neural bases of online language understanding, particularly expectation-based mechanisms, event/script knowledge, pragmatic inferences, and reference processes. Specializes in ERP (Event-Related Potentials) and eye tracking methodologies Collaborates extensively with Prof. Matthew W. Crocker and Dr. Herbert Brouwer Her work examines how extra-linguistic knowledge influences semantic integration and lexical retrieval, with applications in computational linguistics and language technology. She has taught courses on experimental methods in psycholinguistic research since 2012. Key research trends include the functional dissociation of ERP components (N400/P600) in language comprehension, rational redundancy in referential expressions, and the role of discourse context in expectation generation. Her publications span journals like Language, Cognition and Neuroscience , Cognitive Science , and Brain Research .
Prof. Vahid Jamali is an Assistant Professor and Head of the Resilient Communication Systems Group at the Technical University of Darmstadt, Germany. His research focuses on resilient communications, 6G wireless systems, bio-inspired molecular communication, and reconfigurable intelligent surfaces (RIS). He holds a Doctoral Degree from Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany, and has served as a postdoctoral researcher at Princeton University and FAU. Education PhD in Communication Systems, FAU (2019) Visiting Researcher at Stanford University (2017) Research Assistant at FAU's Institute for Digital Communications (2013-2019) Research Interests Resilient Networks : Emergency networks, RIS-based systems, and resilience-by-design architectures. Wireless Innovations : 6G technologies, holographic MIMO, and joint communication-sensing systems. Bio-inspired Systems : Molecular communication modeling using biological principles like diffusion and chemical reactions. Recent Work Trends His 2024-2025 publications emphasize RIS optimization (e.g., temperature-aware phase shifts, fast beam switching) and molecular communication (e.g., Poisson channel identification, bio-inspired receiver designs). Emerging themes include AoI-based RIS reconfiguration and integrated sensing-communication-powering (ISCAP) for IoT. Lab Activities He leads the Resilient Communication Systems Group, exploring cutting-edge RIS hardware (e.g., liquid crystal implementations) and theoretical foundations for future wireless systems.
Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025
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.
Dr. Eric T. Reifenstein is a neuroscience researcher at Humboldt-Universität zu Berlin's Faculty of Life Sciences, Institute of Biology, specializing in neural mechanisms of spatial navigation and memory. As a key contributor to SFB 1315 (Entorhinal Cortex as Interface between Memory and Space), his work bridges computational modeling and human electrophysiology. His research focuses on egocentric spatial mapping and sequence learning mechanisms , with particular expertise in human single-neuron recordings during virtual navigation tasks. Reifenstein investigates how the brain encodes self-centered spatial representations and how synaptic learning rules enable temporal sequence memorization. His publication trends reveal a strong emphasis on translational neuroscience , connecting rodent studies to human cognition through innovative virtual reality paradigms. Key methodological approaches include single-neuron recordings, computational modeling of neural networks, and behavioral analysis of spatial memory. Scientific contributions include: Identification of egocentric bearing cells in human parahippocampal cortex Mathematical analysis of phase precession in sequence learning Vectorial representation models of egocentric space Reifenstein actively collaborates with leading researchers including Prof. Richard Kempter and Joshua Jacobs, contributing to major neuroscience journals like Neuron and eLife. His work has implications for understanding memory disorders and developing neural prosthetics.
Bihuan Chen is an Associate Professor at the College of Computer Science and Artificial Intelligence, Fudan University, specializing in software engineering with focus on software supply chain security and trustworthy AI systems. His research spans multiple programming languages including JavaScript, Python, Java, and C/C++ across application and AI domains. Dr. Chen earned his B.Sc. and Ph.D. in Computer Science from Fudan University in 2009 and 2014 respectively, followed by postdoctoral research at Nanyang Technological University (2014-2017). His research interests include software supply chain risk assessment, trustworthy AI systems, and program analysis. His recent publications demonstrate strong focus on malicious package detection in NPM/PyPI ecosystems, vulnerability patch porting using LLMs, and safety verification for autonomous driving systems. The work shows increasing integration of machine learning techniques with traditional program analysis approaches, particularly evident in the 2024-2025 publications that leverage LLMs for vulnerability detection and code refinement. ACM SIGSOFT Distinguished Paper Award (FSE 2016, ASE 2018, ASE 2022, FSE 2025) IEEE TCSE Distinguished Paper Award (ICSME 2020, SANER 2023) CCF Prototype Competition Awards (2nd and 3rd Prizes) Dr. Chen has advised over 50 students including current PhD candidates and notable alumni now at Huawei, ByteDance, and other leading tech firms. His fuxi platform assesses security, legal, and maintenance risks across the software engineering lifecycle. He serves on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, and as Associate Editor for the Journal of Software: Evolution and Process.
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. Jens Eisert is a Professor at the Free University of Berlin, where he leads the Quantum Many-Body Theory, Quantum Information Theory, and Quantum Optics research group (Eisert AG) within the Institute of Theoretical Physics at the Dahlem Center for Complex Quantum Systems. His office is located at Arnimallee 14, Room 1.3.06 in Berlin-Dahlem. His research focuses on the intersection of quantum information theory and condensed matter physics, specifically exploring what information processing tasks are possible using individual quantum systems as information carriers. His group develops mathematical-theoretical foundations of quantum information, particularly in entanglement theory and tomography, while also investigating quantum optical implementations using light modes or cold atoms in optical lattices. A major emphasis of their work is on quantum many-body systems, including static properties, efficient numerical simulation methods like tensor networks, and non-equilibrium quantum dynamics. Recent publications highlight significant contributions in thermalization of quantum systems (Communications Physics 2025), quantum thermodynamics (Nature Physics 2025), and quantum error correction (PRX Quantum 2025). The group's work is characterized by combining the rigor of mathematical physics with physically motivated applicability, frequently leading to direct collaborations with experimental groups. Quantum Information Theory Quantum Many-Body Theory Quantum Optics Entanglement Theory Tensor Networks Quantum Error Correction Prof. Eisert maintains active supervision of numerous PhD students and postdoctoral researchers, with research positions regularly available in areas including quantum error correction, quantum information theory, tensor networks, and quantum simulation. His group has published extensively in top journals including Nature Physics, PRX Quantum, and Physical Review series.
Juan Zhai is an Assistant Professor in the Manning College of Information & Computer Sciences (CICS) at University of Massachusetts Amherst, where she co-directs the Laboratory for Advanced Software Engineering Research (LASER) and participates in the UMass NLP group. Her academic career spans over 7 years of active service including program committee roles at top-tier conferences like ICSE, FSE, and ASE. Her research focuses on Software-AI Synergy with core areas including: Formal Specification Synthesis for precise software behavior definition Comment Generation and Maintenance using LLMs Trustworthy AI through bias detection and framework testing Deep Learning Infrastructure Reliability Recent work demonstrates strong emphasis on practical tools for AI safety and software dependability. Her publication trends show consistent output in top software engineering venues (ASE, ICSE, FSE) with increasing focus on AI/ML conferences (ACL, CVPR, ICLR). Key themes include metamorphic testing for deep learning frameworks, bias analysis in LLMs, and formal methods for specification synthesis. She actively serves the community through: Program committees for 13 major conferences Reviewing for 5 top journals including TOSEM and TSE 40+ total reviews across SE and AI venues Juan mentors PhD students including Gehao Zhang (research focus: Software Engineering, AI Safety) and teaches graduate courses like CS520 (Theory and Practice of Software Engineering) and CS692P (Hot Topics in SE Research). She leads the LASER lab which develops tools like C2S, CPC, and DevMuT for software reasoning and AI infrastructure testing.
Timothy Baldwin is a Professor at the University of Melbourne, School of Computing and Information Systems, with additional affiliation at Mohamed bin Zayed University of Artificial Intelligence in UAE. His research spans natural language processing, large language models, and multilingual AI systems. His research interests focus on the safety, reliability, and ethical aspects of large language models. He investigates bias evaluation and debiasing techniques, uncertainty quantification methods, fact-checking systems, and multilingual model safety. His work addresses critical challenges in making AI systems more transparent, reliable, and culturally aware, with particular attention to low-resource languages and cross-cultural differences. Baldwin's recent publications demonstrate a strong focus on evaluating and improving the safety of language models across diverse linguistic contexts, developing tools for fact verification, and understanding the internal mechanisms of large language models. His research shows increasing emphasis on practical applications with real-world impact, particularly in multilingual settings and safety-critical domains. His scientific contributions include foundational work on multilingual NLP, bias mitigation techniques, and frameworks for evaluating LLM safety across different cultural contexts. His research has been published in top-tier venues including ACL, NAACL, EMNLP, and ICLR. Baldwin actively mentors students and junior researchers, with frequent collaborations with Haonan Li, Xudong Han, and Fajri Koto, among others. His research group appears to focus on practical applications of NLP with strong ethical considerations, particularly regarding model safety and cultural sensitivity.
