Find Academic Supervisors

Gianni Dal MasoView profile

Professor

• Calculus of Variations
• Semicontinuity and Relaxation Problems
• Gamma-convergence
• +5 more

Gianni Dal Maso is a Professor of Mathematical Analysis at the International School for Advanced Studies (SISSA) in Trieste, Italy. He has been a faculty member at SISSA since 1985, first as Associate Professor and then as Full Professor since 1987. He has held several leadership positions at SISSA including Head of the Sector of Functional Analysis and Applications (1993-1998, 2001-2010), Deputy Director (2010-2015), and Coordinator of the Mathematics Area (2016-2020). His educational background includes: 1973-1977: Undergraduate student in Mathematics at the University of Pisa and Scuola Normale Superiore 1977: Degree in Mathematics with honors at the University of Pisa (thesis: "Gamma-limits of set functions," advised by Ennio De Giorgi) 1977: "Diploma" in Mathematics from the Scuola Normale Superiore 1977-1981: Post-graduate Research Fellowship in Mathematics ("Perfezionamento") at the Scuola Normale Superiore Dal Maso's research focuses on the Calculus of Variations, with particular emphasis on semicontinuity and relaxation problems, Gamma-convergence, and more recently, free discontinuity problems and their applications to mechanics. His work bridges pure mathematical analysis with practical applications in material science, particularly in plasticity and fracture mechanics. He has developed mathematical frameworks for understanding crack propagation, material failure, and the behavior of solids under stress, contributing significantly to both theoretical foundations and practical modeling approaches in these areas. His extensive publication record shows a clear evolution from foundational work in Gamma-convergence (culminating in his influential book "An Introduction to Gamma-Convergence" in 1993) toward increasingly sophisticated models of material behavior, particularly in fracture mechanics and plasticity. Recent work demonstrates continued innovation in handling complex discontinuities, non-local effects, and multi-scale phenomena in material science applications. Among his notable scientific recognitions: 1982: Stampacchia Prize, awarded by the Scuola Normale Superiore 1990: Caccioppoli Prize, awarded by the Italian Mathematical Union 1996: Medaglia dei XL per la Matematica, awarded by the Accademia Nazionale delle Scienze detta dei XL 2003: Prize of the Minister for the Cultural Heritage for Mathematics and Mechanics, awarded by the Accademia Nazionale dei Lincei 2005: Prize Luigi and Wanda Amerio, awarded by the Istituto Lombardo Accademia di Scienze e Lettere Dal Maso has supervised 42 PhD students at SISSA, demonstrating a strong commitment to academic mentorship. His research has been significantly supported by multiple National Research Projects (PRIN) in Italy, and notably by an ERC Advanced Grant "Quasistatic and Dynamic Evolution Problems in Plasticity and Fracture" (QuaDynEvoPro) from 2012-2017, where he served as Principal Investigator. This major project focused on nonlinear evolution problems in plasticity and fracture, with three main research directions: plasticity with hardening and softening, quasistatic crack growth, and dynamic fracture mechanics. His scholarly activities extend to editorial service, with membership on the boards of numerous prestigious journals including Archive for Rational Mechanics and Analysis, SIAM Journal on Mathematical Analysis, and Journal of Convex Analysis. He has also been active in the mathematical community through membership in scientific committees and academies, including the Accademia Nazionale dei Lincei since 2014.

• Sustainability Science
• Human-Environment Modeling
• Complex Systems
• +7 more

Dr. Wolfram Barfuss is the Argelander Professor of Integrated Systems Modeling for Sustainability Transitions at the University of Bonn, affiliated with the Center for Development Research (ZEF). He is a member of multiple interdisciplinary research areas including TRA Sustainable Futures, TRA Modeling, and TRA Individual and Societies, as well as the Cluster of Excellence PhenoRob and the Center for Earth System Observation and Computational Analysis (CESOC). He also collaborates with the Potsdam Institute for Climate Impact Research and the Earth Resilience Science Unit. His research focuses on understanding whether humanity is 'smart enough for the good life' by developing formal models of collective learning and decision-making in complex social-ecological systems. He integrates methods from complex systems, multi-agent reinforcement learning, and dynamical systems theory to explore sustainability transitions, cooperation, and Earth system resilience. The recent publications demonstrate a strong focus on modeling collective intelligence, cooperation in stochastic games, decision-making under uncertainty, and integrated World-Earth system modeling. His work spans disciplines including computer science, environmental science, game theory, and cognitive science, with frequent contributions to high-impact journals like PNAS , Nature Communications , and Environmental Research Letters . Argelander Professor for Integrated Systems Modeling for Sustainability Transitions Member, TRA Sustainable Futures Member, TRA Modeling Member, TRA Individual and Societies Cluster of Excellence PhenoRob Center for Earth System Observation and Computational Analysis (CESOC) Earth Resilience Science Unit (Potsdam) Earth Resilience and Sustainability Initiative (Princeton-Stockholm-Potsdam) Dr. Barfuss teaches graduate courses at the University of Bonn and Humboldt University Berlin, including Complex System Modeling of Human-Environment Interactions, Economics on Sustainability, Systems Modeling, and Introduction to Agent-Based Modeling. He leads the BarfussLab, where his team develops computational tools such as pyCRLD for modeling collective reinforcement learning dynamics. While specific student advisees are not listed, his lab and publications suggest active supervision and collaboration with early-career researchers. He has not received any explicitly mentioned scientific awards in the provided text. His research is supported through institutional affiliations and collaborative projects rather than individually listed grants.

Caterina ZeppieriView profile

Professor

• Calculus of Variations
• Homogenization Theory
• Stochastic Analysis
• +5 more

Professor Caterina Zeppieri is a faculty member at the Institute for Analysis and Numerics within the Faculty of Mathematics and Computer Science at the University of Münster, Germany. She serves as an investigator in Mathematics Münster and specializes in optimization and calculus of variations. Her research spans multiple collaborative projects within the Excellence Cluster EXC 2044. Her primary research interests focus on Calculus of Variations , Homogenization Theory , and Free-Discontinuity Problems , with significant contributions to the mathematical understanding of material science phenomena. Her work bridges theoretical mathematics with practical applications in material modeling, fracture mechanics, and multi-scale analysis. She has developed sophisticated mathematical frameworks for understanding stochastic homogenization, phase-field approximations, and gradient damage models in heterogeneous materials. Analysis of her recent publications reveals a consistent trajectory toward increasingly complex multi-scale problems involving randomness and discontinuities. Her work demonstrates deep connections between Γ-convergence theory, stochastic processes, and applications to material science, particularly in modeling fracture phenomena and composite materials. A notable trend is her development of global methods that unify deterministic and stochastic approaches to homogenization problems. Zeppieri actively contributes to teaching at the University of Münster, regularly offering courses on Partial Differential Equations, Calculus of Variations, and Advanced Topics in Mathematical Modeling. Her teaching spans both undergraduate and graduate levels, including specialized seminars on cutting-edge research topics in her field. She is deeply involved in the EXC 2044 collaborative research center, particularly in project units C1 (Evolution and asymptotics), C2 (Multi-scale phenomena and macroscopic structures), and C3 (Interacting particle systems and phase transitions), where she contributes her expertise in variational methods and homogenization to multi-disciplinary research efforts.

• Complex Systems Modeling
• Computational Mathematics
• Applied Mathematics
• +7 more

Yannis Kevrekidis is a Professor at Princeton University with a distinguished career in computational mathematics and chemical engineering. He is currently a Hans Fischer Senior Fellow at the Technical University of Munich (TUM-IAS) and has held visiting positions at institutions like the Zuse Institute Berlin and Caltech. Education : National Technical University of Athens (Chemical Engineering) University of Minnesota (PhD in dynamical systems) Research Interests : Equation-Free and Variable-Free Modeling Complex Systems Dynamics Multiscale Computation Integration of Machine Learning with Scientific Computing Pattern Formation & Instability Analysis Key Article Trends : Advanced data-driven modeling of dynamical systems Manifold learning for reaction coordinates Projective integration methods Coarse-grained modeling across disciplines Applications in epidemiology, neuroscience, and fluid dynamics Scientific Awards : Guggenheim Fellowship Humboldt Research Award Computing in Chemical Engineering Award (AIChE) Bodossaki Academic Award Allan P. Colburn Award Collaborations : Extensive international collaborations with institutions in Germany, Austria, and the UK Key role in the Complex Systems Modeling and Computation focus group at TUM-IAS

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +5 more

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

Steffen BondorfView profile

Professor

• Network Calculus
• Deterministic Networking
• Performance Modeling
• +4 more

Steffen Bondorf is a Professor of Distributed and Networked Systems in the Faculty of Computer Science at Ruhr University Bochum, Germany. His research focuses on performance modeling and analysis of deterministic networking, particularly using network calculus to provide rigorous performance guarantees for networked systems. Dr. Bondorf received his B.Sc., M.Sc., and Dr.-Ing. (Ph.D.) in Computer Science from TU Kaiserslautern (TUK), where he was part of the distributed computer systems lab. He was the first student to enroll in a B.Sc. program at TUK before finishing secondary education. After graduation, he held positions as postdoctoral researcher, lecturer and Carl-Zeiss Fellow at TUK, research fellow at the National University of Singapore, and visiting researcher at the University of Toronto. From fall 2018 to fall 2019, he was funded by an ERCIM Alain-Bensoussan fellowship at NTNU Trondheim, Norway, and spent time at INRIA Paris. His research interests include network calculus, deterministic networking, performance modeling, computer networks, distributed systems, and P2P overlays. Dr. Bondorf's work has significantly advanced the field of network calculus, particularly in developing methods for analyzing FIFO feedforward networks, multicast flows, and P2P overlay structures. His recent research has integrated machine learning techniques with network calculus to improve analysis accuracy and efficiency, creating hybrid approaches that leverage the strengths of both methodologies. Dr. Bondorf was appointed as assistant professor at Ruhr University Bochum on October 1, 2019, becoming the university's first hire in the joint tenure-track program for the promotion of young scientists. Since December 1, 2021, he has been a tenured full professor at RUB. Carl-Zeiss Fellow ERCIM Alain-Bensoussan fellowship At RUB, Dr. Bondorf teaches Advanced Topics in Networking, Distributed Systems, Deterministic Network Calculus, and Seminar Distributed and Networked Systems. His research group develops tools and methodologies for deterministic network analysis with applications in industrial networking, real-time systems, and time-sensitive communications. His work bridges theoretical networking principles with practical implementations, contributing to the advancement of deterministic networking standards and protocols.

Marie-Christine DükerView profile

Assistant Professor

• high-dimensional statistics
• time series analysis
• functional data analysis
• +11 more

Marie-Christine Düker is an Assistant Professor in the Department of Statistics and Data Science at Friedrich-Alexander University (Germany). Her research focuses on high-dimensional statistics, time series analysis, functional data analysis, and extreme value theory with applications in economics, psychology, chemistry, and ecology. Previously, she was a postdoctoral associate at Cornell University's Department of Statistics and Data Science under David Matteson. She earned her PhD in Mathematics from Ruhr-University Bochum under Herold Dehling and spent part of her doctoral studies at the University of North Carolina at Chapel Hill with Vladas Pipiras. Current Position: Assistant Professor, Department of Statistics and Data Science, Friedrich-Alexander University Previous Academic Affiliation: Postdoctoral Associate, Cornell University Education: PhD in Mathematics, Ruhr-University Bochum; Part-time research at University of North Carolina Research Interests: Her work spans high-dimensional time series under long-range dependence and nonstationarity, discrete data modeling, nonlinear dynamics, dimension reduction, and change-point analysis. Applications include econometrics, neuroscience, chemical data analysis, and ecological forecasting. Recent Publications: Her 2025-2024 work covers Hilbert space-valued linear processes, kernel estimation for nonlinear dynamics, confidence interval approximations, and latent Gaussian count time series. Earlier papers address simultaneous diagonalization, long-run variance matrices, and transition rate estimation challenges. Contact: marie.dueker@fau.de

• Energy Systems Modeling
• Geothermal Energy
• Optimization Algorithms
• +3 more

Smajil Halilovic is a Researcher at the Chair of Renewable and Sustainable Energy Systems at the Technical University of Munich . His work focuses on energy systems modeling and optimization, particularly for geothermal and renewable energy integration. Current projects include Geo.KW , a coupled hydrothermal and infrastructure model for urban-scale geothermal use Research emphasizes optimization techniques for groundwater heat pump systems Key contributions in PDE-constrained optimization and thermal resource assessment Halilovic has published extensively in Renewable Energy and Energy Conversion and Management , with recent work on spatial optimization of geothermal systems and urban heat planning. His collaborations with Prof. Thomas Hamacher and Kai Zosseder highlight his role in advancing sustainable energy infrastructure. He teaches Mathematical Modeling of Complex Systems in the Energy Field and contributes to interdisciplinary projects like the Interdisciplinary project internship: Concept development of a renewable energy system in a developing country . His publications demonstrate expertise in geothermal integration, optimization algorithms, and urban energy modeling.

Sven ScheweView profile

Professor

• Automata Theory
• Game Theory
• Formal Verification
• +12 more

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.

• Conservation Laws
• Finite Volume Schemes
• Discontinuous Galerkin Methods
• +7 more

Professor Siegfried Müller is a full professor at the Institute for Geometry and Practical Mathematics within the Faculty of Mathematics, Computer Science and Natural Sciences at RWTH Aachen University. His research focuses on developing advanced numerical methods for solving complex fluid dynamics problems, with particular expertise in conservation laws, adaptive multiscale techniques, and multiphase flow modeling. He maintains an active research program with numerous publications in leading computational mathematics journals and collaborates extensively with researchers across multiple institutions. Professor Müller's research interests span a wide range of computational mathematics topics including Conservation Laws, Finite Volume Schemes, Discontinuous Galerkin Methods, Adaptive Multiscale Techniques, and specialized applications in Fluid Dynamics. His work demonstrates particular strength in developing numerical methods for two-phase flow systems, transpiration cooling applications, and surface lubrication phenomena. His research bridges theoretical mathematical analysis with practical engineering applications, particularly in aerospace and mechanical engineering contexts. His recent publications reveal a strong focus on advancing numerical techniques for hyperbolic conservation laws, with increasing emphasis on stochastic methods, multilevel approaches, and coupled system modeling. His work spans both theoretical developments in numerical analysis and practical applications in fluid dynamics, with particular attention to multiphase flow systems and cooling technologies. The publications show a clear progression toward more complex, high-dimensional problems and increasingly sophisticated numerical techniques to address computational challenges. Professor Müller has led and participated in numerous research projects funded by German research organizations including DFG Priority Programmes, BMBF projects, and DFG Research Training Groups. His projects have focused on hyperbolic balance laws, adaptive numerical methods, transpiration cooling, and textured surface lubrication. He has organized multiple workshops on multiresolution methods and active drag reduction, demonstrating leadership in his research community. Professor Müller's research group at RWTH Aachen collaborates closely with engineering departments and industry partners to apply advanced numerical methods to practical engineering challenges. His team has developed specialized computational tools for simulating complex fluid phenomena, particularly in aerospace applications where cooling technologies and fluid-structure interactions are critical. The group maintains strong connections with international research communities in computational mathematics and fluid dynamics.

• Nanophotonics
• Quantum Technologies
• Computational Optics
• +5 more

Dr. Sven Burger is a leading Researcher at the Zuse Institute Berlin (ZIB) within the Modeling and Simulation of Complex Processes department. His work focuses on Nanophotonics , Quantum Technologies , and Optical Resonance Computation , particularly in photonic crystals, plasmonic systems, and quantum light sources. Key projects: NanoLab GRIPS 2024 , MATH+ TES QT , MATH+ PaA-1 (perovskite solar cells), Colour Impression of Solar Cells Collaborations: MATH+ , BIFOLD , Research Campus MODAL His research spans Bayesian optimization for quantum systems, quasinormal mode expansions , chiral plasmonics , and terawatt-scale photovoltaics . Recent work emphasizes RPExpand software for resonance analysis and AAA algorithm applications in photonic design. He contributes to quantum key distribution via plug&play single-photon sources, hot carrier dynamics in plasmonic nanocrystals, and high-efficiency light extraction for deep-UV LEDs. His computational methods address non-Hermitian systems , exceptional points , and self-interference nanoparticle tracking .

• Automata Theory
• Formal Verification
• Logic in Computer Science
• +3 more

Christof Löding , currently an Adjunct Professor at the Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7) department of RWTH Aachen University , is a leading researcher in Automata Theory , Formal Verification , and Logic in Computer Science . His work bridges theoretical foundations with practical applications in software verification, automata minimization, and game theory. Research Interests include automata theory, formal verification, logic, tree automata, game theory, and computational models. Publications span topics like Finite-valued Streaming String Transducers , Deterministic Parity Automata , and Stochastic Game Strategies . Collaborations with researchers like Emmanuel Filiot , Sarah Winter , and León Bohn highlight his contributions to automata and verification. Email : loeding@informatik.rwth-aachen.de He has actively published in venues such as ICALP , LICS , and STACS , focusing on deterministic automata, transducers, and logic-based computational systems. His work on Hyperlogic for Strategies in Stochastic Games (2025) and Minimal History-Deterministic Automata (2025) showcases his ongoing influence in formal methods and automata theory.

• Mathematical Optimization
• Nonsmooth Optimization
• Multiobjective Optimization
• +4 more

Bennet Gebken is a researcher at the Department of Mathematics , Technical University of Munich , affiliated with the Chair of Mathematical Optimization led by Prof. Ulbrich. His work focuses on nonsmooth and multiobjective optimization, particularly in PDE-constrained problems and numerical continuation methods. Research Interests: Bennet specializes in nonsmooth optimization, multiobjective optimization, and regularization techniques. His recent work explores convergence analysis in nonsmooth settings, second-order gradient sampling, and inverse optimization methods for data-driven decision criteria. Publications: His research spans topics like PDE-constrained multiobjective optimization, L1 penalty terms, and the hierarchical structure of Pareto critical sets. Key trends include reduced-order modeling, computational efficiency, and the interplay between optimization and machine learning. Contact: bennet.gebken@tum.de . Based at Boltzmannstr. 3, Garching b. München, Germany.

• Software Engineering
• Model Checking
• System Modeling
• +5 more

Seung Yeob Shin serves as a Research Scientist at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he contributes to the Software Verification and Validation (V&V) Lab under Prof. Lionel Briand. His active participation in major software engineering conferences includes serving on ASE 2025's Research Papers Program Committee and authoring multiple journal-first publications presented at premier venues like ICSE and ESEC/FSE. Shin earned his PhD in 2016 from the Laboratory for Advanced Software Engineering Research (LASER) at the University of Massachusetts Amherst's College of Information and Computer Sciences. His research expertise centers on applying formal methods to complex software systems, with particular emphasis on model-based verification techniques. His current research program bridges theoretical modeling and practical system validation across critical domains. Key focus areas include developing simulation frameworks for software-defined networks, creating model-checking approaches for cyber-physical control loops, and establishing probabilistic methods for real-time system verification. This work consistently targets reliability challenges in safety-critical infrastructure through rigorous engineering methodologies. Recent publications demonstrate a cohesive trajectory in applying formal verification to emerging system paradigms. The 2024 journal-first papers reveal increasing sophistication in handling non-deterministic behaviors across networking, embedded systems, and requirements engineering domains, with notable emphasis on failure induction and probabilistic safety guarantees. No scientific awards were documented in the available materials. While conference contributions indicate significant scholarly engagement, no information regarding student advising or research grants appears in the provided documentation. As a core member of the V&V Lab at SnT, Shin contributes to Luxembourg's national cybersecurity research infrastructure. The lab specializes in developing mathematical frameworks for system validation, with current projects addressing verification challenges in autonomous systems, critical infrastructure, and secure communications protocols through model-driven approaches.

Raik StolletzView profile

Professor

• Operations Management
• Business Analytics
• Quantitative Decision Analysis
• +8 more

Prof. Dr. Raik Stolletz is a Professor of Production Management at the Business School of the University of Mannheim, leading the Chair of Production Management within the Area Operations Management. His research focuses on business analytics, quantitative decision support for manufacturing and service systems, and stochastic modeling for operations optimization. Area Operations Management, Business School, University of Mannheim Research Interests : Stolletz specializes in predictive and prescriptive business analytics, with applications in Industry 4.0, airport operations, automotive production, workforce planning, and distribution center management. His work emphasizes tools for decision-making in deterministic and stochastic environments. Research Trends : His recent publications address time-dependent queueing systems, buffer allocation in stochastic flow lines, assembly line balancing, and revenue management in production. Keywords span Operations Management, Supply Chain Analytics, and Industrial Engineering, with sub-fields including Stochastic Optimization, Dynamic Scheduling, and Service Systems. Grants & Collaborations : Projects are funded by industry partners, the European Union, and the German Science Foundation (DFG), focusing on automotive production networks, airport logistics, and manufacturing system optimization.