Find Academic Supervisors

Assia MahboubiView profile

Researcher

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

Jan KnippersView profile

Professor

• Structural Engineering
• Architectural Biomimetics
• Fiber Composite Structures
• +3 more

Jan Knippers is a Professor and Institute Director at the University of Stuttgart's Faculty of Architecture and Urban Planning , leading the Institute of Building Structures and Structural Design (ITKE) . He co-founded Knippers Helbig Advanced Engineering and established Jan Knippers Ingenieure in 2018 to focus on innovative fiber composite and timber structures. Key roles: Deputy Executive Director of Cluster of Excellence IntCDC , former Vice-Rector for Research (2019-2021), and Dean of Faculty of Architecture (2021-2023) Technical focus: Hybrid FRP-Timber systems, computational design, and biomimetic principles His projects include the 2024 Hybrid Flax Pavilion , Urbach Tower (2024), and BUGA Fiber Pavilion (2019). He contributes to European standardization committees and serves as 2024 Leverhulme Visiting Professor at University College London.

Jonathan KülzView profile

Researcher

• Modular Robotics
• Robotics
• Reinforcement Learning
• +3 more

Jonathan Külz is a Researcher at the Technical University of Munich (TUM) , affiliated with the Department of Informatics 6 - Chair for Cyber Physical Systems under Prof. Matthias Althoff. His research focuses on Modular Robotics , Reinforcement Learning , Cyber-Physical Systems , and Control Systems . His work includes algorithmic synthesis of modular robot compositions, model-based manipulator co-design, and unifying benchmarks for robotics. He has supervised multiple Master’s theses Bachelor’s theses Practical courses on topics like Robot Workspace Representation and Dynamic Model Identification . Notable supervised projects include Autonomous Navigation of Reachbot and Task-Based Modular Robot Configuration Synthesis . His recent publications span Robotics , Benchmarking , and Computational Social Science . Key trends include Computationally efficient assessment of robot capabilities Deep reinforcement learning for robotics Analysis of political discourse polarization Jonathan emphasizes structured thesis supervision, requiring exposés, shared folders, and protocol-driven meetings. He advocates for LaTeX in scientific writing and tools like NotebookLM and Zettlr for research documentation.

• Mining Engineering
• Raw Materials Processing
• Underground Mining
• +7 more

Prof. Dr.-Ing. Elisabeth Clausen is a Professor and Director of the Chair and Institute for Advanced Mining Technologies at RWTH Aachen University. She holds key roles in the Specialist Group for Raw Materials and Disposal Technology, serves as a rectorate representative, and leads the Commission for EU Research Funding. Her research spans Underground mining automation Acoustic emission diagnostics Sustainable mining systems Space resource extraction Advanced sensor technologies Her recent publications focus on autonomous mining machinery, underground communication systems, and acoustic emission analysis across 15+ studies from 2013–2025, with particular emphasis on Ultra-wideband positioning Thermographic detection Crack monitoring in planetary gearboxes Explosive atmosphere safety Mineral processing diagnostics Digitalization trends Prof. Clausen contributes to mining education reform through initiatives like CDIO™ and has developed innovative learning spaces in underground mines. She coordinates international educational labs and integrates sustainability into mining engineering curricula, with publications on Adaptive ventilation systems Mining education frameworks Future-proof mineral extraction Entrepreneurial mindset in engineering

Michael D. ErnstView profile

Professor

• software engineering
• programming languages
• type theory
• +6 more

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

• Building Information Modeling (BIM)
• Civil Engineering Informatics
• Tunneling and Underground Construction
• +5 more

Markus König is a Professor of Informatics in Civil Engineering at Ruhr University Bochum, where he has been researching and teaching since October 2009. His work focuses on Building Information Modeling (BIM), digital construction technologies, and civil engineering informatics, with significant contributions to the development and implementation of digital methods in German construction industry. Dr. König earned his degree in civil engineering with a focus on applied computer science at Leibniz University Hannover, where he also completed his doctorate on cooperative building planning at the Institute for Building Informatics. He subsequently held a junior professorship for Theoretical Methods of Project Management at Bauhaus University Weimar before joining Ruhr University Bochum. His research spans multiple cutting-edge areas including Building Information Modeling (BIM), construction process simulation, tunneling informatics, infrastructure asset management, and the application of artificial intelligence and computer vision in civil engineering. As chair of the Building Informatics Working Group from 2012-2016, he played a key role in developing the first national BIM curriculum for German universities and serves as editor of the book 'Building Information Modeling: Technological Foundations and Industrial Practice.' Analysis of his recent publications reveals a strong trend toward semantic technologies, digital twins, automated compliance checking, and the integration of AI in construction processes. His work increasingly focuses on information containers, ontology development, and the application of large language models to infrastructure data, reflecting the evolving landscape of digital construction. Dr. König's significant contributions to digital construction have been recognized with prestigious awards: Lower Saxony-Bremen Construction Industry Award (2017) for 'services in the development and introduction of digital construction in Germany' Konrad Zuse Medal (2020) While specific details about his advising and grant activities aren't explicitly mentioned in the provided text, his extensive publication record with numerous co-authors suggests active supervision of doctoral students and research staff. His involvement in multiple collaborative research projects is evident from his publication history. At Ruhr University Bochum, Professor König leads a research group focused on civil engineering informatics, with particular emphasis on BIM, digital construction technologies, and their application across the building lifecycle. His team appears to work at the intersection of computer science and civil engineering, developing innovative solutions for construction process optimization, infrastructure management, and digital transformation of the AEC industry.

Samuel LederView profile

Researcher

• Robotics
• Architectural Design
• Computational Design
• +5 more

Samuel Leder is a doctoral researcher at the Institute of Computational Design and Construction (ICD) under the Cluster of Excellence IntCDC at the University of Stuttgart. His work focuses on the integration of robotics and architectural design, particularly in developing distributed robotic systems for timber construction. He has been actively involved in research projects such as RP 19-1 – Robotic Kinematic System for Parallel Construction and RP 19-2 – Co-Design for Distributed Cooperative Multi-Robot Systems . Additionally, he serves on the Equal Opportunity Commission at ICD. Bachelor of Design in Architecture (summa cum laude), Washington University in St. Louis Bachelor of Applied Science in Systems Science and Engineering (magna cum laude), Washington University in St. Louis MSc in Architecture via the Integrative Technologies and Architectural Design Research (ITECH) program, University of Stuttgart Samuel’s research explores the synergies between agent-based modeling , robotic systems , and architectural design . His work aims to create minimal robotic machines capable of constructing complex spatial assemblies, particularly with timber structures . He investigates the co-design of robots and the structures they build, emphasizing modular systems and kinematic behaviors . Recent publications highlight advancements in digital twins , adaptive assembly , and human-robot collaboration for timber construction. The 15 most recent articles reveal trends in collective robotic construction , agent-based modeling , and material-robot interaction . These works emphasize timber fabrication , modular systems , and interactive simulation for large-scale construction tasks. Key sub-fields include adaptive assembly , cyber-physical systems , kinematic control , and human-guided robotics . Scientific Awards: German Academic Exchange Service (DAAD) Award for Outstanding Achievement Deutschlandstipendium Samuel’s research is conducted within the ICD at University of Stuttgart , where he collaborates on the Wood Building Systems for Distributed Robotics associated project. His work bridges architecture , robotics , and computational design , aiming to redefine on-site construction methodologies through innovative robotic systems.

• Data Journalism
• Digital Journalism
• Algorithmic Accountability
• +7 more

Christina Elmer is Professor for Digital Journalism and Data Journalism at the Institute of Journalism, Technical University of Dortmund. Prior to her academic career, she held significant positions at DER SPIEGEL as Deputy Head of Development, Member of the Editorial Board of SPIEGEL ONLINE, Head of the Data Journalism Department, and Science Editor (2013-2021). She is recognized as a leading expert in data journalism, AI in media, and digital transformation of journalism. Elmer's research focuses on data journalism, algorithmic accountability, and the integration of artificial intelligence in journalistic workflows. Her work explores how digital transformation affects media production, distribution, and reception, with particular attention to user-centered journalism, ethical dimensions of digital media, and the development of editorial products. She has pioneered approaches to structured journalism and modular content creation that adapt to changing audience needs. Her recent publications examine AI's impact on journalism, methods for combating disinformation, and strategies for maintaining journalistic integrity in algorithmically mediated information ecosystems. Her work shows a clear trend toward investigating how journalism can maintain societal relevance while adapting to technological changes, with increasing focus on AI systems as both tools and challenges for quality journalism. scoop award of the nextMedia.Hamburg initiative, 2023 Helmut Schmidt Journalist Prize (second prize) for 'Blackbox Schufa', 2019 Philip Meyer Award (third place) for 'Hanna and Ismail', 2018 dpa-infografik Award for 'Die Pendlerrepublik', 2018 Journalistin des Jahres, Fachkategorie Wissenschaft, 2016 Deutscher Journalistenpreis Forst & Holz (Print), 2007 Elmer actively contributes to the journalism community as a board member of Netzwerk Recherche (serving as second chair 2021-2023), shareholder of AlgorithmWatch, and member of various advisory boards including Science Media Center Germany and MIP.labor. She frequently collaborates with students through the KURT student editorial team, guiding them in applying design thinking to develop new journalistic formats. Her approach emphasizes the importance of user-centered thinking while maintaining journalistic integrity in the digital age.

• Educational Psychology
• Learning from Errors
• Instructional Strategies
• +3 more

Susanne Narciss is a Professor at the Psychology of Learning and Instruction department of Technische Universität Dresden, leading the Center of Tactile Internet with Human in the Loop (CeTI). Her research focuses on error processing in educational contexts, with 15 recent publications analyzing error climates, feedback strategies, and motivational frameworks. Key Research Areas : Learning from errors/failure, instructional feedback design, affective-motivational responses, error-related metacognition. Methodological Scope : Combines longitudinal studies, experimental designs, and qualitative analyses across K-12, university, and informal learning settings (museums, home contexts). Her work emphasizes context-specific interventions for educators, parents, and students, including error-competency training programs and metacognitive scaffolding tools. Current projects examine vibrotactile feedback systems for motor learning and cultural responsiveness in psychology education. Collaborative Networks : Works with international teams on the International Competences for Undergraduate Psychology model and cyber-physical system pedagogy. Recent Trends : 2025 articles focus on collaborative error processing, scenario-based human-machine interaction, and generative learning tasks in digital environments.

Craig KnoblockView profile

Research Professor

• Knowledge Graphs
• Data Semantics
• Schema Alignment
• +5 more

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.

• Building Permit Processes
• Digital Building Permits
• Building Information Modeling
• +4 more

Judith Fauth is a researcher at the Technical University of Munich's Chair of Computing in Civil and Building Engineering, where she pioneers digital transformation in building permit processes through Building Information Modeling (BIM) and digital twin technologies. Her work bridges civil engineering, computer science, and public policy to streamline regulatory compliance across international contexts. Her research expertise spans Building Permit Processes , Digital Building Permits , Ontology Engineering , and Process Modeling , with emphasis on developing standardized frameworks for global permit system benchmarking. She investigates how semantic technologies and digital twins can automate regulatory compliance while accommodating regional variations in construction law and administrative practices. Analysis of her 2023-2025 publications reveals three dominant trends: (1) integration of digital building permits with digital building logbooks for lifecycle data management, (2) development of ontologies like OBPA for automated permit reviews, and (3) creation of taxonomies and process models (e.g., PACE-BP framework) enabling cross-national comparisons of permit systems. This work increasingly incorporates sustainability metrics and stakeholder-specific KPIs. Within TUM's research infrastructure, Dr. Fauth contributes to the BIM Lab and Digital Twinning research groups, collaborating on projects involving Gaia-X-based data frameworks and semantic modeling of the built environment. She teaches practical software development skills through the SoftwareLab course, preparing engineering students for digital construction workflows.

Jörg Rainer NoennigView profile

Professor

• Digital City Science
• Urban Systems
• Knowledge Architecture
• +6 more

Prof. Dr.-Ing. Jörg Rainer Noennig is Professor of Digital City Science at HafenCity University Hamburg (HCU) and Head of the WISSENSARCHITEKTUR Laboratory of Knowledge Architecture at TU Dresden. With a background in architecture (Bauhaus Universität Weimar, Waseda University Tokyo), he practiced in Tokyo before transitioning to academia. He has held visiting professorships in Italy, France, Russia, and Japan. His research focuses on digital urban systems , including smart cities, participatory planning, and knowledge architecture. He explores AI applications in urban design, agent-based simulations for mobility, and transdisciplinary frameworks for sustainability. Recent projects include TOSCA (open-source urban tools), SmartFly (eVTOL integration), and MICADO (migrant integration platforms). Publications emphasize data-driven urban methodologies , spanning synthetic data generation, pedestrian modeling, and sustainable infrastructure design. His work integrates materials science (e.g., auxetic structures) with digital twins for resilient cities. Awards include the Grand Prix of the European Association for Architectural Education (EAAE). He leads Hamburg’s Digital City Science team and coordinates international collaborations, including Indo-German urban development projects. He directs the WISSENSARCHITEKTUR Laboratory , focusing on knowledge synthesis for urban innovation. Courses taught at HCU include 'Knowledge Architecture', 'Digital City Science', and 'Smart City Technologies'.

• Circular Construction
• Circular Economy in Construction
• Sustainable Construction Management
• +3 more

Dr. Sven Mackenbach serves as a Postdoctoral Researcher and Senior Engineer at RWTH Aachen University's Institute of Construction Management, Digital Engineering and Robotics in Construction (ICoM) since January 2023. Holding a doctorate in circular construction from the same institution, he leads the development of the "Circular Construction" research area, oversees multidisciplinary projects, and teaches Sustainable Construction Management to engineering students. His academic credentials include: PhD in Circular Construction, RWTH Aachen University (2023) Mackenbach's research integrates circular economy principles with digital construction technologies, focusing on strategic management frameworks for sustainable building practices. His expertise spans modular construction methods, BIM-based sustainability assessment, and digital twinning applications for infrastructure management. He bridges theoretical research with practical implementation through sustainability consulting for construction stakeholders, addressing real-world challenges in resource efficiency and regulatory compliance. His publication portfolio reveals a decisive shift toward data-driven circular construction solutions, with increasing emphasis on BIM-ontology integration for deconstruction planning, public participation systems, and sewer infrastructure management. Recent works demonstrate sophisticated methodological approaches to quantify ecological, economic, and social sustainability metrics without specialized expertise. As a scientific supervisor, Mackenbach mentors research assistants in project execution while contributing to curriculum development through his specialized course instruction. His leadership in research project coordination indicates substantial grant management experience, though specific funding sources aren't detailed in available materials. Within ICoM's collaborative environment, he contributes to cross-disciplinary teams advancing digital engineering and robotics applications in construction, particularly through the KaSyTwin sewer management project and BIPV facade digitalization initiatives.

Gerhard PfisterView profile

Professor

• Singularity Theory
• Computer Algebra
• Algebraic Geometry
• +3 more

Gerhard Pfister is a professor of Mathematics at the University of Kaiserslautern. He holds the academic rank of Professor and specializes in Singularity Theory, Computer Algebra, Algebraic Geometry, and Complex Analysis. His career includes positions at Humboldt-Universität zu Berlin and University of Kaiserslautern, where he served as a professor from 1993 until his retirement in 2012, followed by a Senior Professorship until 2016. He has supervised numerous Ph.D. students, many of whom contributed to areas like computational algebra and singularity theory. Education: Gerhard Pfister earned his Diplom in Mathematics (1970) and Dr. rer. nat. (1971) from Humboldt-Universität zu Berlin. He habilitated in 1976 and became a professor there in 1983 before moving to Kaiserslautern in 1993. Research Interests: Pfister's work focuses on singularity theory, computational algebra, and the development of the SINGULAR computer algebra system. His research bridges theoretical and algorithmic aspects of algebraic geometry and commutative algebra, with contributions to Gröbner bases, standard bases, and modular computation techniques. He has co-authored foundational textbooks and over 140 publications. Key Contributions: Pfister is a co-developer of the SINGULAR software, a leading system for polynomial computations in algebraic geometry and singularity theory. His work includes algorithmic approaches to primary decomposition, normalization of rings, and classification of singularities. He has also contributed to the theoretical underpinnings of Neron desingularization and semicontinuity in algebraic geometry. Grants & Awards: While no specific awards are listed, his sustained contributions to computational algebra and singularity theory have had significant impact. He has supervised over 25 Ph.D. students and co-authored multiple influential books. Labs/Teams: He is a core contributor to the SINGULAR project and collaborates actively with researchers in computational commutative algebra and algebraic geometry.

Stephan EngelsmannView profile

Professor

• Structural Engineering
• Architectural Design
• Bridge Construction
• +7 more

Prof. Dr.-Ing. Stephan Engelsmann is Professor of Structural Design and Structural Mechanics in the Department of Architecture at the State Academy of Fine Arts Stuttgart since 2002 and Deputy Chairman of the Architecture Study Commission. He also serves as President of the Baden-Württemberg Chamber of Engineers since 2014 and co-founded Engelsmann Peters GmbH Consulting Engineers in 2006. His career uniquely bridges academic excellence and professional engineering practice across multiple disciplines. His educational journey includes: Civil Engineering degree from Technical University of Munich (Dipl.-Ing., 1991) Research assistant at University of Stuttgart (1993-1998), earning Dr.-Ing. with dissertation on 'Integral concrete bridges' Architecture studies at University of Bath, UK (1998-1999), completing Master of Arts in Architectural Design with dissertation 'Rethinking the urban bridge as public space' Prof. Engelsmann's research focuses on the creative intersection of structural engineering and architectural design, where he emphasizes that 'constructive design is a controlled interaction between reason and emotion.' His work spans structural theory, innovative construction methods, and the integration of artistic expression with technical precision. He specializes in lightweight structures, bridge design, and the use of advanced materials including plastics, glass, and concrete, with particular emphasis on sustainable building practices and resource efficiency. His recent publications reveal a strong focus on innovative structural solutions for public infrastructure, particularly gridshell structures for shopping centers, elegant bridge designs, and sustainable construction methods. His work consistently explores the potential of unconventional materials and construction techniques, demonstrating how aesthetic considerations can be seamlessly integrated with structural efficiency in projects ranging from bus stations to cultural buildings. His numerous awards reflect excellence across engineering and architectural design disciplines: Multiple Hugo Häring Auszeichnungen (2020) for library and military facility projects Staatspreis Baukultur Baden-Württemberg (2020, 2016) German Design Gold Winner (2018) Preis des Deutschen Ingenieurbaus (2016) Iconic Design Award (2016) Red Dot Award (2015) Elias-Holl-Preis (1986) Throughout his career, Prof. Engelsmann has guided numerous student projects that bridge theory and practice, from the AKA seesaw (2011) to the UC°A Mobile climate adaptation project (2023). His teaching methodology emphasizes hands-on learning, with students developing and constructing innovative structures using materials ranging from traditional wood to advanced plastics. He has secured significant funding from organizations including the Baden-Württemberg Foundation to support research in sustainable construction and climate-adaptive architecture. Prof. Engelsmann leads the 'Class for Structural Design and Structural Engineering' at the State Academy of Fine Arts Stuttgart, where he and his team explore the boundaries between architecture and engineering. His consulting firm, Engelsmann Peters GmbH, works on sophisticated structural projects worldwide. Current research focuses include pneumatic structures for sun protection systems, experimental clay construction, and innovative approaches to urban climate adaptation through structural design, continuing his decades-long commitment to merging artistic expression with engineering precision.