Find Academic Supervisors

Patrick TotzkeView profile

Researcher

• Theoretical Computer Science
• Formal Verification
• Automata Theory
• +5 more

Patrick Totzke is a theoretical computer scientist at the University of Liverpool's Department of Computer Science. His research focuses on mathematical models of computation, formal verification, and the complexity of strategies in stochastic and temporal games. University of Liverpool (2018–present) Postdoctoral positions: LFCS Edinburgh (2016–2018), University of Warwick (2015), LaBRI Bordeaux (2014) Research Interests include automata theory, game theory, computational logic, and computer-aided verification. Recent work emphasizes history-deterministic systems, timed automata, and decision problems in infinite-state games. Key Publications (2024–2025) explore temporal graph explorability (PSPACE-complete), stochastic nondeterminism resolution (undecidability in NFAs), and bounded-memory strategies in partial-information games. Earlier works address energy-parity objectives (NP∩coNP) and the reachability problem in 2D vector addition systems (NL-complete). Awards Shortlisted for Teacher of the Year (2021) PI on EPSRC-funded project (2021) Co-PI on Royal Society grant (2021) Collaborations include Richard Mayr, Stefan Kiefer, Mahsa Shirmohammadi, and Sougata Bose (postdoc, 2021). He co-chaired Reachability Problems (RP'21) and contributes to open-source tools like alot and LaTeX beamer themes.

• Cell Biology
• Infection Biology
• Biophysics
• +3 more

Markus Engstler is a Professor and Chair of the Department of Cell and Developmental Biology at the University of Würzburg. He holds additional roles as Dean of Studies at the Faculty of Biology and serves as the speaker of the DFG priority program SPP 2332 'Physics of Parasitism'. His research focuses on the biophysical mechanisms of parasitic infections, particularly African trypanosomes, and their motility strategies in host environments. Engstler has held academic positions at institutions including the Technical University of Darmstadt and Ludwig Maximilian University of Munich, and has contributed to founding initiatives such as the German Network Against Neglected Tropical Diseases (DNTDs). He is also the acting president of the German Society for Parasitology (DGP). Educations: PhD in Biochemistry from Christian Albrechts University of Kiel (1994) Habilitation in Genetics at LMU Munich (2004) Research Interests: Engstler’s work investigates how mechanical forces and physical principles govern parasite behavior, including surface protein dynamics, motility in complex environments, and host-parasite interactions. Key projects include studying the role of hydrodynamic forces in antibody clearance, trypanosome swarm behavior in insect vectors, and the molecular flexibility of variant surface glycoproteins (VSGs). His lab employs advanced imaging and computational models to explore these phenomena. Awards: Awarded the Memento Research Prize 2022 for contributions to neglected tropical diseases research. Grants and Leadership: Engstler has led numerous collaborative projects, including the DFG priority program, and oversees the Center for Computational and Theoretical Biology (CCTB). His team develops innovative in vitro models, such as vascularized skin organoids, to study infection dynamics. Labs/Teams: Engstler’s lab integrates molecular cell biology, biophysics, and computational approaches, collaborating with physicists and mathematicians to address complex questions in parasitology.

• Theoretical Computer Science
• Formal Verification
• Software Systems Verification
• +5 more

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, where he heads the Models of Computation group. He joined MPI-SWS in November 2018 after postdoctoral positions at IRIF, Université Paris-Diderot (2017-2018) and LSV Cachan (2015-2017). He received his PhD in Computer Science from Universität Kaiserslautern under the supervision of Prof. Dr. Roland Meyer in 2015, with a dissertation in the Concurrency Theory Group. His research focuses on theoretical foundations of verification and synthesis of software systems, with particular emphasis on decidability and complexity issues of infinite-state systems. His work explores synthesis of finite-state abstractions of infinite-state systems (including separability problems, downward closures, and Parikh images), as well as decision problems for infinite groups where he applies methods from verification to gain insights on how to devise infinite-state models with pleasant analysis properties. Zetzsche's research output demonstrates expertise across formal verification, theoretical computer science, and programming language theory. His publications reveal a consistent focus on vector addition systems, reachability analysis, language theory, and decidability questions. His work often bridges theoretical foundations with practical verification problems, particularly in the context of infinite-state systems where traditional verification techniques face significant challenges. 2025 Salomaa Prize ERC Starting Grant for project FINABIS EATCS Best Paper Award at ETAPS 2023 EAPLS Best Paper Award at ETAPS 2021 Distinguished Paper Award at POPL 2021 EATCS Distinguished Dissertation Award He actively serves on program committees for major conferences including LICS 2026, MFCS 2025, DLT 2024, ICALP 2024, POPL 2024, LICS 2023, and many others. He has organized events such as Theorietag 2023 on automata and formal languages. His current group at MPI-SWS includes PhD students Pascal Baumann, Pascal Bergsträßer, Irmak Sağlam, Lia Schütze, and Yousef Shakiba, along with postdocs Moses Ganardi and Chris Köcher.

Andre BorrmannView profile

Professor

• Building Information Modeling
• Point Cloud Engineering
• Digital Twin
• +4 more

Andre Borrmann is Professor and Chair of Computing in Civil and Building Engineering at the Technical University of Munich (TUM), where he leads cutting-edge research at the intersection of computer science and construction engineering. His work spans over two decades with consistent publication output since 2003, demonstrating sustained academic leadership in computational methods for the built environment. His research focuses on: Building Information Modeling (BIM) and its advanced applications Digital Twin development for infrastructure management Point cloud processing and semantic enrichment Artificial intelligence integration in construction workflows Construction automation and robotics systems Analysis of his 2023-2025 publications shows a clear trend toward sophisticated AI applications in construction engineering, with increasing emphasis on graph neural networks, transformer models, and large language models. His work bridges theoretical computer science with practical construction challenges, particularly in model automation, code compliance checking, and digital documentation of existing structures. Scientific recognition includes: Konrad Zuse Medal (2024) Professor Borrmann leads multiple significant research initiatives including AM2PM (Additive to Predictive Manufacturing for Multistorey Construction), AI4CADCAM (AI-based CAD processing), and BauPuls360 (a public service platform for the construction industry). His research group maintains extensive international collaborations across academia and industry, contributing to UN Sustainable Development Goals related to sustainable cities, industry innovation, and climate action through their technological advancements in construction engineering.

Sven-Ake WegnerView profile

Professor

• Operator Semigroups
• Functional Analysis
• Homological Algebra
• +3 more

Prof. Sven-Ake Wegner is a Professor at the Department of Mathematics, University of Hamburg, Germany. His academic career includes roles as a Research Fellow at the University of Hamburg (2020-2025), Senior Lecturer at Teesside University (2018-2020), and Assistant Professor at Nazarbayev University (2015-2016). He obtained his PhD in Mathematics from the Polytechnic University of Valencia (2010) and Habilitation from the University of Wuppertal (2020). His research focuses on Operator Semigroups , Homological Algebra in Functional Analysis , and Mathematical Principles of Data Science . Notable contributions include publications on exact structures in categories, Silva spaces, and port-Hamiltonian systems. He has authored books such as Mathematical Introduction to Data Science (2024). Teaching responsibilities include courses on Functional Analysis, Mathematical Machine Learning, and Data Science. He actively organizes academic events, including the Oberseminar Analysis and workshops on Functional Analysis. His work bridges pure mathematics (e.g., semigroup theory) with applied areas like data science and education innovation, including ungrading methodologies.

Arsène Pérard-GayotView profile

Research Fellow

• Computer Graphics
• Ray Tracing Algorithms
• High-Performance Computing
• +1 more

Dr. Arsène Pérard-Gayot is a Research Fellow in the Computer Graphics Lab at Saarland University, Germany. His research develops high-performance rendering systems through compiler innovations and hardware optimization techniques. Pérard-Gayot's work creates frameworks for automatic generation of optimized renderers using partial evaluation, eliminating manual compiler development. His FLOWER compiler enables efficient dataflow programming for FPGAs, while Rodent generates specialized renderers for CPUs/GPUs. Additional contributions include ray tracing acceleration structures for irregular grids and BVH traversal abstractions. Publications demonstrate consistent focus on bridging high-level programming models with hardware efficiency. Collaborative projects include molecular dynamics simulation mapping to heterogeneous architectures and distributed ray tracing for massive scenes. Research outcomes advance real-time rendering capabilities and domain-specific compiler technologies for scientific computing.

• Logic
• Well Quasi-Orders
• Verification
• +7 more

Sylvain Schmitz is a Professor of Computer Science at Université Paris Cité, affiliated with the Institut de Recherche en Informatique Fondamentale (IRIF). He leads the automata and applications team and is a member of the modelling and verification team. His research focuses on logic, well quasi-orders, verification, formal languages, and database theory. He is actively involved in the academic community, serving on steering and program committees for major conferences such as STACS, LICS, and CSL. PhD in Computer Science, defended on September 24, 2007, at I3S Laboratory, Sophia Antipolis. Habilitation titled Algorithmic Complexity of Well-Quasi-Orders , defended on November 27, 2017, at ENS Paris-Saclay. His research interests span logic, well quasi-orders, verification, formal languages, database theory, theoretical computer science, complexity theory, program verification, automata theory, and model checking. His recent work explores complexity bounds in vector addition systems, reachability problems, and logical foundations of verification. His publications exhibit a strong focus on theoretical foundations of computation, particularly in the analysis of infinite-state systems, complexity hierarchies beyond elementary, and logical characterizations of computational problems. Key themes include well-structured transition systems, non-elementary complexity, and applications of ordinal analysis to verification. IUF junior (2018–2023) Sylvain Schmitz has supervised several PhD students, including Hector Buffière, Aliaume Lopez, Anthony Lick, and Simon Halfon, often in joint supervision with researchers such as Jean Goubault-Larrecq, David Baelde, and Philippe Schnoebelen. His research has been funded by multiple ANR projects including BraVAS, PRODAQ, ReacHard, and AVeriSS. He is a key member of the IRIF laboratory, contributing to research in automata, verification, and logic. He has organized major events such as ICALP 2022 and RP 2020, and is deeply involved in the European theoretical computer science community through committee memberships and conference organization.

• Proteomics
• Biotechnology
• Cell Culture Technology
• +4 more

Dr. Raimund Hoffrogge is a Researcher at the University of Bielefeld, affiliated with the Faculty of Engineering. He serves in multiple capacities including as Library Officer for Biotechnology, member of the Examination Board for Molecular Biotechnology (Master), and as personal deputy for Florian Schröder on the Faculty Conference for Academic Staff. His work is centered at the intersection of biotechnology and proteomics, with particular focus on Chinese hamster ovary (CHO) cell systems for biopharmaceutical production. Dr. Hoffrogge's research primarily focuses on proteomic analysis of biotechnological systems, with special emphasis on CHO cells used in therapeutic protein production. His work spans multiple areas including rAAV (recombinant adeno-associated virus) production, DNA methylation in CHO cells, extracellular vesicle analysis, and cell culture optimization techniques. He has developed expertise in advanced proteomic methodologies including SILAC-MS, phosphoproteomics, and label-free protein quantification approaches. Analysis of his recent publications (2016-2025) reveals a consistent research trajectory centered on understanding and optimizing cellular systems for biopharmaceutical production. His work shows increasing sophistication in multi-omics integration, with recent papers combining proteomic, genomic, and epigenetic analyses. The research demonstrates practical applications in improving yields of therapeutic proteins and viral vectors, with particular attention to cellular response mechanisms under various culture conditions. Dr. Hoffrogge collaborates extensively within the University of Bielefeld's Center for Biotechnology (CeBiTec) and works closely with the Cell Culture Technology Group and Systems Biotechnology Group. His laboratory work focuses on developing and applying advanced proteomic techniques to solve practical challenges in bioproduction systems.

Pierluigi D’AcuntoView profile

Assistant Professor

• Computational Design
• Structural Engineering
• Architecture
• +3 more

Pierluigi D’Acunto is an Assistant Professor of Structural Design at the Technical University of Munich (TUM) , holding the Rudolf Mößbauer Tenure Track Professorship. He leads the Structural Design research group, focusing on the intersection of architecture and structural engineering through computational methods. His work emphasizes geometry-based structural design, equilibrium modeling, and fabrication-aware strategies leveraging machine learning and digital manufacturing. Before joining TUM in 2021, he completed a PhD (2018) and postdoctoral research at ETH Zurich, where he also taught. His career includes professional experience in architecture and engineering firms in Italy and Switzerland, alongside international competition awards. His research has been recognized with prestigious accolades, including the ETH Medal (2019) and the IASS Tokyo Award (2016). Key areas of exploration include structural form-finding via AI, computational graphic statics, and sustainable design integration. He has published extensively in journals like Journal of Facade Design and Engineering and International Journal of Solids and Structures , emphasizing innovative structural solutions and human-machine collaboration. Education: Master of Architecture (Distinction, Architectural Association London, 2012), PhD (ETH Zurich, 2018) Awards: ETH Medal, IASS Tokyo Award, Rotary Foundation Scholarship Research Themes: Machine Learning in Design, Structural Form-Finding, Digital Fabrication, Computational Geometry

Filip MazowieckiView profile

Assistant Professor

• Automata theory
• Weighted automata
• Vector addition systems
• +2 more

Filip Mazowiecki is an Assistant Professor (adiunkt) at the University of Warsaw's Institute of Informatics. His research examines automata theory, weighted automata, vector addition systems, and database-related logics. He leads the project 'Counting models in formal verification' and previously held positions at MPI for Software Systems, University of Bordeaux, Oxford, and Warwick. Current work focuses on computational complexity in verification systems and automata applications to database theory. Previously supervised Philip Offtermatt (jointly with Michael Blondin).

Lia SchützeView profile

Researcher

• Formal Methods
• Verification
• Automata Theory
• +3 more

Lia Schütze is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, with an office in Room 612, Building G 26. Her work falls under the institute's research domains including Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. She maintains an active research profile with publications spanning theoretical foundations to applied verification systems. Her research program centers on formal verification of infinite-state computational models, with dual expertise in theoretical computer science and network performance analysis. Key contributions include: Advancing verification techniques for Vector Addition Systems with States (VASS) and reversal-bounded counter machines Developing novel approaches to unboundedness problems through amalgamation methods Establishing tighter bounds for coverability and reachability in computational models Applying network calculus to verify industrial control systems and stochastic network performance Investigating well-quasi-orderings and monotone descending chains for termination analysis Analysis of her 2017-2025 publications reveals a clear evolution from applied network calculus toward increasingly sophisticated theoretical verification frameworks. Her work consistently bridges abstract mathematical foundations with practical verification challenges, particularly in cyber-physical systems where theoretical guarantees meet real-world performance constraints. The recurring focus on improving computational bounds demonstrates her commitment to making verification techniques practically feasible. No scientific awards or fellowships are documented in the available information about Dr. Schütze's career. While specific doctoral advisees are not mentioned in the provided materials, her active publication record and institutional role at MPI-SWS suggest ongoing mentorship within research teams. Similarly, though no explicit grants are referenced, her sustained research output implies successful funding acquisition for projects in formal methods and verification. As a core researcher at MPI-SWS, Dr. Schütze contributes to one of Europe's premier computer science research environments. Her work intersects with multiple institute focus areas, particularly within the Algorithms and Theory group and Programming Languages and Verification initiatives. The collaborative structure of MPI-SWS enables her theoretical advances to directly impact practical verification tools and methodologies used across the software systems research community.

Khushraj MadnaniView profile

Researcher

• Formal Logics and Models of Computation
• Specification and Verification of Timed Systems
• Scheduler Synthesis for Networked Control Cyber-Physical Systems
• +3 more

Khushraj Madnani is a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, under Prof. Rupak Majumdar and Prof. Georg Zetzsche. His research focuses on formal logics, infinite-state models, and their applications in formal methods and verification. Previously, he was a postdoctoral researcher at Delft University of Technology (2020–2021) and a visiting fellow at the Tata Institute of Fundamental Research (2019–2020). He holds a PhD in Computer Science from the Indian Institute of Technology Bombay (2013–2019). Research Interests : Specification and Verification of Timed Systems Scheduler Synthesis for Networked Control Cyber-Physical Systems Formal Logics and Models of Computation Recent Contributions : His work spans decidability of timed logics, formal verification of real-time systems, and control theory. Key themes include metric temporal logic extensions, decidability boundaries, and applications in cyber-physical systems. Recent articles explore quantifier elimination in Presburger arithmetic and decidability of timed temporal logics with advanced quantifiers. Professional Roles : He collaborates with leading research institutes and has contributed to international conferences such as CONCUR, MFCS, and CDC. His work bridges theoretical foundations with practical verification challenges in real-time systems and networked control.

• Econometrics
• Time Series Analysis
• Discrete Choice Models
• +3 more

Prof. Dr. Dietmar Bauer holds the Chair of Econometrics at the Faculty of Business Administration and Economics at Bielefeld University. He maintains multiple affiliations including the Department of Empirical Methods, Center for Statistics, Institute for Technological Innovation, Market Development and Entrepreneurship, BIGSEM (Bielefeld Graduate School of Economics and Management), and the Bielefeld Graduate School in Theoretical Sciences. His academic credentials include a Habilitation in Econometrics (2007), Doctorate in Technical Mathematics (1998), and Diploma in Technical Mathematics (1995), all from TU Wien, Austria. Prior to his position at Bielefeld, he served as Senior Scientist at the Austrian Institute of Technology (2005-2014) and Assistant at TU Wien (1995-2005), with additional postdoctoral positions at Yale University, University of Linköping, and University of Newcastle. Prof. Bauer's research focuses on two primary areas: time series analysis and discrete choice models. His work in time series investigates subspace methods for state space models, particularly for integrated and seasonally integrated processes. In discrete choice modeling, he examines computational efficiency in Probit models and transportation mode choice, with special attention to the MACML approach. His publications demonstrate consistent contributions to both theoretical econometrics and applied transportation research. Multa Scripsit Award from Econometric Theory (2013) Best paper awards at UrbComp 2012 (with Jameson Toole, Marta Gonzalez, and Michael Ulm) Oskar Morgenstern Award of IHS, Vienna (with Martin Wagner) Prof. Bauer teaches numerous courses across four institutes including Software Applications for Economists, Data Analysis, Statistical Methods, and Econometrics. He supervises diploma theses, master's theses, and doctoral dissertations. His research has been supported by funding from DFG, FWF, FFG, and EU-level projects, reflecting his strong record in securing competitive research funding. He is actively involved with the Center for Statistics and the Bielefeld Center for Data Science, contributing to interdisciplinary research initiatives.

• Antenna Design
• Wireless Communications
• Telecommunications
• +3 more

João Nuno Matos is affiliated with the Institute of Telecommunications at the University of Aveiro, Portugal. His research focuses on antenna design, RF engineering, and wireless communication systems. He has consistently published in top-tier journals and conferences since 1998, with notable contributions to reconfigurable antennas, 3D printing in antenna manufacturing, and vehicular communication systems. His work bridges theoretical advancements with practical applications in telecommunications, IoT, and satellite technology. Key contributions include innovations in polarization control, antenna miniaturization, and integration of thin-film technologies.

Pierluigi D'AcuntoView profile

Assistant Professor

• Structural Engineering
• Architectural Design
• Computational Design
• +4 more

Prof. Pierluigi D'Acunto holds the Rudolf Mössbauer Tenure-Track Assistant Professorship in Structural Design at the Technical University of Munich (TUM), within the TUM School of Engineering and Design. His research focuses on computational methods at the intersection of architecture and civil engineering, with an emphasis on innovative material systems, additive manufacturing, and robotic fabrication. Education: He completed a combined degree in Architecture and Civil Engineering at the University of Pisa (2007), earned a Master of Architecture from the Architectural Association in London (2012), and received his doctorate from ETH Zurich (2018). He previously served as a postdoctoral fellow at ETH's Chair of Structural Design before joining TUM in 2021. Research Interests: D'Acunto explores form-force relationships in structures, equilibrium-based design frameworks (e.g., Vector-based 3D Graphic Statics), and the integration of AI/machine learning with structural design tools. His work addresses sustainability through material-efficient construction and circular economy principles. Awards: ETH Medal (2019), IASS Design Excellence Award (2016), Rotary Foundation Scholarship (2011) Key Projects: Digital Bamboo Pavilion, CantiBox robotic timber assembly, Injection 3D Concrete Printing methodologies His publications emphasize data-driven design, fabrication-aware strategies, and the application of advanced robotics in construction. He collaborates closely with industry partners to translate theoretical frameworks into real-world prototypes and built projects.