Find Academic Supervisors

• Artificial Intelligence
• Structural Analysis
• Building Information Modeling
• +3 more

Shih-Pu Kuo is a Researcher at the Chair of Computing in Civil and Building Engineering, Technical University of Munich (TUM), where he advances AI integration in structural engineering. Based in room 0502.03.226 and contactable at shihpu.kuo@tum.de , he contributes to research, teaching, and thesis supervision within TUM's computational engineering ecosystem. His core research spans: Graph Neural Networks for real-time structural simulation Building Information Modeling (BIM) optimization Digital twinning in construction workflows AI-driven interactive design decision systems Computational mechanics acceleration Kuo's work exemplifies the growing convergence of machine learning and civil engineering, particularly through his 2025 publication on neural network-accelerated structural analysis. This reflects broader trends toward AI-empowered design tools that reduce computational latency in engineering workflows. He actively teaches in the Software Lab and supervises student theses, fostering next-generation computational skills. As part of TUM's research infrastructure, Kuo collaborates within the Information Management and Digital Twinning groups, utilizing specialized facilities including the BIM-Lab and Robotic Fabrication Lab to develop intelligent construction methodologies.

• Digital Twinning
• Building Information Modeling (BIM)
• Computer Vision
• +3 more

Mansour Mehranfar is a Researcher at the Chair of Computing in Civil and Building Engineering, Technical University of Munich (TUM). He contributes to advancing AI applications in digital twinning of the built environment through the AI4Twinning research initiative, focusing on automated generation of semantic building models from point cloud data and imagery. His research centers on Digital Twinning, Building Information Modeling (BIM), and Computer Vision, with specific expertise in point cloud processing, semantic segmentation, and 3D reconstruction. He develops AI-driven frameworks that integrate deep learning with geometric modeling to convert raw sensor data into semantically enriched digital representations of buildings and infrastructure components. Recent publications reveal a strong emphasis on staircase modeling, indoor space documentation, and domain adaptation techniques. Key innovations include hybrid top-down/bottom-up approaches for Manhattan-world structures, parametric prototype model fitting, and multi-task learning frameworks that simultaneously handle scene parsing and 3D reconstruction from single images. Dr. Mehranfar actively supervises Master's theses, guiding students in topics such as load-bearing wall detection, staircase modeling automation, and BIM change management. He teaches Engineering Databases at TUM and collaborates within the university's BIM-Lab ecosystem, leveraging facilities for robotic fabrication and mobile machinery research.

Alvo AablooView profile

Professor

• Advanced Materials
• Nanotechnology
• Robotics
• +5 more

Alvo Aabloo is a Full Professor at the University of Tartu's Institute of Technology, where he leads the Intelligent Materials and Systems Laboratory (IMS Lab). His affiliations include a postdoctoral position at Uppsala University (1995–1996) and ongoing roles at the University of Tartu since 2005. The IMS Lab, accessible via www.ims.ut.ee , specializes in electroactive polymers, biomimetic robotics, and sustainable materials. His research integrates Advanced Materials , Nanotechnology , and Soft Robotics , with emphasis on: Biomimetic actuators (e.g., spider-leg exoskeletons, plant-inspired fluid transport) Ionic polymer-metal composites for precision manipulation Acoustic metamaterials for noise control Green sensors using bacterial cellulose and bio-derived ionic liquids Recent publications (2022–2025) reveal trends in: Robotics education tools (ROS2 web labs, 3D-printable robots) Programmable metamaterials for environmental applications Textile-based encoding and wearable compliance modulation He pioneers sustainable tech, such as all-printed micro-supercapacitors and biodegradable artificial muscles, while collaborating globally on projects spanning Italy, China, and Sweden.

Thorsten BergerView profile

Professor

• Software Engineering
• Variability Management
• Software Product Lines
• +5 more

Thorsten Berger is a Professor and Head of the Chair of Software Engineering at Ruhr University Bochum, Germany. His office is located at MC 4.101 on the RUB campus, with contact details including phone (+49 (0) 234 32 25975) and email (thorsten.berger@rub.de). He's an active researcher with extensive service in the software engineering community, serving on program committees for major conferences including ICSE, FSE, ASE, and SPLC. Professor Berger's research primarily focuses on software engineering with specialization in variability management, software product lines, and robotics software engineering. His work bridges theoretical foundations with practical applications, particularly in behavior trees for robotic systems, configuration management, and domain-specific language engineering. His interdisciplinary approach connects software engineering with control theory and machine learning applications. Analysis of his recent publications reveals a strong trend toward robotics software engineering, with increasing focus on behavior trees, test-case specification, and runtime verification for robotic systems. His work also shows growing interest in machine learning integration with traditional software engineering practices, particularly in model integration and asset management for ML-enabled systems. The research demonstrates consistent evolution from foundational work in variability management toward more applied domains. His scientific achievements have been recognized with numerous awards: Multiple Most Influential Paper Awards (SLE 2024, VaMoS 2023, VaMoS 2020) Wallenberg Academy Fellowship VR Starting Grant from Swedish Research Council (2016) Best Paper Awards at Modularity (2015) and CSMR (2013) Distinguished Reviewer Awards from ASE, ICSE, and SPLC conferences ERC Starting Grant finalist (2019, 2020) Professor Berger has secured substantial research funding as Principal Investigator for multiple projects including Novel Techniques for Data-Driven Root-Cause Analysis and Variability Management (Volkswagen Infotainment), Properties and Verification Techniques for Behavior Trees (Phoenix Contact Foundation), and PrivacyE2E framework for AI-enabled systems (Federal Ministry of Education and Research). His Wallenberg Academy Fellowship and VR Starting Grant demonstrate his capacity to attract competitive early-career funding. He leads the Virtual Platform project funded by the Swedish Research Council and participates in EU-funded initiatives like CO4ROBOTS. As Head of the Chair of Software Engineering at Ruhr University Bochum, he leads a research group focused on advanced software engineering techniques with particular emphasis on variability-intensive systems. His team actively participates in international research collaborations including the Wallenberg Autonomous Systems Program (WASP) and has organized significant events like the Dagstuhl seminar 19191 on 'Software Evolution in Time and Space: Unifying Version and Variability Management.'

Matteo CamilliView profile

Associate Professor

• Software Engineering
• Software verification
• Automated testing
• +4 more

Matteo Camilli is an Associate Professor in the Department of Electronics, Information and Bioengineering (DEIB) at Politecnico di Milano, Italy, where he leads research in software engineering and verification. His academic journey includes positions as Assistant Professor at Free University of Bozen-Bolzano and postdoctoral research at the University of Milan and University of Bergamo. His educational background includes a PhD in Computer Science (2015), MSc in Computer Science (2012), and BSc in Computer Science (2009), all from the University of Milan. His doctoral research focused on combining advanced abstraction techniques and big data approaches to address state explosion problems in formal verification. Camilli's research primarily centers on software verification, testing, and methods to improve dependability of autonomous, cyber-physical, service-based, and ML-enabled critical systems. His work spans formal methods, model-based testing, uncertainty quantification, and design-time/runtime verification with applications to complex distributed systems. His recent publications reflect a growing focus on explainable self-adaptation, quality assurance for LLM-based systems, and managing uncertainty in adaptive systems. His publication record includes papers in top journals (TOSEM, TAAS, JSS, EMSE) and conferences (ICSE, ISSRE, ICST, ICSA). He serves on program committees for prestigious conferences including ICSE, ICSA, ICST, and ECSA, and is on the steering committee for the International Workshop on Formal Approaches for Advanced Computing Systems (FAACS). Camilli actively contributes to the academic community through conference organization, including serving as Program Committee Member for numerous conferences and as Program Co-Chair for the Software Architecture track at ACM SAC. He also serves as guest editor for special issues on automated testing and dependable AI systems. His teaching portfolio at Politecnico di Milano includes Software Engineering 2, Software Engineering for Automation, and Distributed Software Development. Previously at Free University of Bozen-Bolzano, he taught Systems Engineering and Verification and Reliability for Dependable Systems.

Radu CalinescuView profile

Professor

• formal methods
• software engineering
• self-adaptive systems
• +7 more

Radu Calinescu is Professor of Computer Science at the University of York, UK, where he serves as Principal Investigator for the UKRI Trustworthy Autonomous Systems Node in Resilience and leads the Trustworthy Adaptive and Autonomous Systems and Processes (TASP) Research Team. His academic career includes previous positions as Lecturer in Computer Science at Aston University (2009-2012), Senior Researcher at the University of Oxford (2008-2009), and part-time Lecturer at Oxford (2005-2009). Professor Calinescu's research focuses on formal modelling, analysis, verification and controller synthesis for autonomous and self-adaptive systems, with particular emphasis on parametric and probabilistic model checking, automated and model-driven software engineering. His work applies these approaches to robotic, cyber-physical, embedded and service-based systems, with a strong commitment to using formal methods at runtime to enhance the resilience and safety of critical autonomous systems. His extensive publication record spans top-tier journals including IEEE Transactions on Software Engineering, Journal of Systems and Software, and Automated Software Engineering. His research demonstrates consistent focus on verification techniques for adaptive systems, with increasing attention to safety-critical applications in recent years. His work bridges theoretical formal methods with practical applications in robotics and autonomous systems. British Computer Society Distinguished Dissertation Award for his DPhil thesis on Autonomic-Independent Loop Parallelisation Principal Investigator for multiple major projects including Continual Verification and Assurance of Robotic Systems under Uncertainty (ORCA Hub/EPSRC), Safety of AI Techniques (AAIP/Lloyd's Register Foundation), and CSI:Cobot Program Committee Co-Chair for major conferences including SEFM 2021, SEAMS 2020, and SERENE 2019 Professor Calinescu actively supervises numerous PhD students and postdoctoral researchers, with current team members including Faisal Alhwikem, Xinwei Fang, Mario Gleirscher, James Harbin, and Colin Paterson. His research group is based at the Ron Cooke Hub in York, a purpose-built facility housing world-class research groups and startups. His former students have gone on to academic positions at institutions worldwide and industry roles at major technology companies.

Zhen DongView profile

Associate Professor

• Software Reliability
• Software Security
• Mobile Computing
• +4 more

Zhen Dong is an Associate Professor at Fudan University, China, specializing in software engineering with a focus on software reliability and security, particularly in mobile computing. Previously, he was a PostDoc and Senior Research Fellow at the National University of Singapore under the guidance of Abhik Roychoudhury. His educational background includes: PhD in Computer Science from Heidelberg University (2017), advised by Prof. Artur Andrzejak Dr. Dong's research centers on developing techniques and tools for improving software reliability and security. His work spans mobile application testing, Android security, flaky test detection, and vulnerability localization. He has made significant contributions to the field of software testing and analysis, with a particular emphasis on practical applications for mobile systems. His research bridges theoretical foundations with real-world software engineering challenges. Analysis of Dr. Dong's recent publications reveals a strong focus on leveraging AI/ML techniques for software engineering tasks, particularly using LLMs for test automation and program analysis. His work consistently addresses critical challenges in mobile computing, especially Android application reliability and security. There's a clear trajectory toward more sophisticated analysis techniques, from traditional testing methods to AI-driven approaches. His notable scientific achievements include: ACM Distinguished Paper Award at ICSE'20 Best Paper Award at AsiaCCS'21 (1/370 submissions) ASE'22 Distinguished Reviewer Award Dr. Dong serves on the Board of Distinguished Reviewers for ACM Transactions on Software Engineering and Methodology and has been an active member of numerous program committees for top software engineering conferences including ICSE, ASE, and ISSTA. His service to the academic community extends to reviewing for prestigious journals such as IEEE Transactions on Software Engineering and Methodology and ACM Transactions on Software Engineering and Methodology. His research has been supported through various academic channels, enabling him to maintain an active lab focused on software testing and analysis, particularly for mobile platforms. The lab has produced numerous tools and techniques that have influenced both academic research and industrial practice in software reliability.

Marianne HuchardView profile

Professor

• Formal Concept Analysis
• Software Engineering
• Model-Driven Engineering
• +3 more

Marianne Huchard is Full Professor of Computer Science at the University of Montpellier, Faculty of Sciences since 2004, serving as Director of LIRMM (Laboratory of Informatics, Robotics and Microelectronics at Montpellier) and head of its Computer Science Department. She also participates in the human resources committee of the MIPS scientific department. She earned her PhD in Computer Science in 1992 researching algorithmic aspects of multiple inheritance in object-oriented programming languages. Her primary research domains are Formal Concept Analysis (theoretical and applied, including Relational Concept Analysis) and Software Engineering (model-driven engineering, component-based development, and software product line migration), with recent work integrating Large Language Models for innovative solutions. Analysis of her 2024-2025 publications reveals a strong interdisciplinary trend: Relational Concept Analysis enhanced by LLMs is being applied to software engineering challenges like user-story generation, class model restructuring, and product line migration, demonstrating significant methodological innovation. Scientific awards: None documented in provided sources. She actively supervises doctoral research: Thomas Georges (defended January 2023): 'Agile Engineering of Software Product Lines for Agricultural Decision Support' Austin Waffo-Kouhoué (defended November 2024): 'Web Accessibility for People with Visual Impairments' Her research is supported by projects including RCAviz (funded by #DigitAg), FCA4J toolkit development, and Web Iris accessibility extension. As leader of the MAREL team (Models And Reuse Engineering, Languages) at LIRMM, she drives research at the formal methods/software engineering intersection and co-created Montpellier's Master's program in Software Engineering.

Colin ReiffView profile

Researcher

• Process Control
• Production Optimization
• Additive Manufacturing
• +4 more

Colin Reiff serves as a Research Assistant at the Institute for Control Engineering of Machine Tools and Manufacturing Units at the University of Stuttgart, focusing on advanced manufacturing systems and process optimization. His work bridges theoretical research with industrial applications in automotive, aerospace, and general production contexts. His research interests center on process control and optimization in multi-stage production systems and Additive Manufacturing (Powder Bed Fusion Processes) . Reiff has developed innovative approaches for zero-defect manufacturing, particularly through smart centering methods for rotation-symmetric parts and automated vision data systems using collaborative robots. His work demonstrates how dimensional deviations can be compensated during production rather than detected at final inspection. Analysis of his publication record from 2018-2024 reveals consistent focus on manufacturing innovation, with increasing emphasis on data-driven approaches, software-defined manufacturing, and sustainable production. His research spans both theoretical frameworks and practical implementations, with several solutions transitioning to industrial applications. Reiff actively supervises student theses and practical experiments, including the "Simulation of a feed axis closed loop control with MATLAB/Simulink" laboratory course. His work has been supported through EU-funded projects like ForZDM under Horizon2020 and the High-Performance Center "Mass Personalization" in Stuttgart. His research group operates within the University of Stuttgart's manufacturing ecosystem, contributing to initiatives like the "Stuttgarter Maschinenfabrik" - a fully digitalized production environment for customer-individualized products. This environment leverages digital twins and new technological infrastructure to enable application development freedom and machine park flexibility.

Wolfgang KratschView profile

Research Professor

• Process Mining
• Artificial Intelligence in Business Processes
• Data-Driven Process Management
• +3 more

Prof. Dr. Wolfgang Kratsch serves as Research Professor for Applied AI at Augsburg University of Applied Sciences, Director of the FIM Research Institute for Information Management, and holds a leading position in Fraunhofer FIT's Business Information Systems division. He co-founded and manages the Center for Process Intelligence, driving industry-academia collaboration in digital transformation. His educational background includes B.Sc. and M.Sc. in Business Informatics from the University of Augsburg (2017), followed by a summa cum laude doctorate in data-driven management of process networks from the University of Bayreuth (2020). University of Augsburg: B.Sc./M.Sc. Business Informatics (2017) University of Bayreuth: PhD in Data-Driven Process Network Management (2020) Dr. Kratsch's research centers on data-driven process management , focusing on data extraction, quality assurance, and AI-driven context-sensitive process optimization. His methodology emphasizes design science research yielding prototype implementations for immediate practical use. Key domains include process mining, robotic process automation, and generative AI integration in business workflows, with strong industry applicability. Core Methodology: Design Science Research Technical Focus: Event Log Generation, Object-Centric Process Mining Application Areas: Manufacturing, Healthcare, Transportation His publication trajectory (2021–2025) reveals accelerating integration of generative AI with process mining , particularly in unstructured data extraction (text/video) and automated process improvement. Recent works emphasize practical industry solutions in manufacturing error analysis, airport operations, and medical monitoring, demonstrating consistent collaboration with industrial partners like Munich Airport. No scientific awards were explicitly mentioned in the source material. Dr. Kratsch actively contributes to academia through teaching at Augsburg and Bayreuth Universities, industry project leadership, and startup mentorship. His spin-off credium GmbH (founded 2020) built a 15-person AI/data science team, reflecting his entrepreneurial approach to translating research into market solutions. Current projects prioritize practical AI deployment in serial production and process intelligence systems. Teaching: Lectures/seminars at Augsburg & Bayreuth Universities Startup Experience: credium GmbH (Data Science/AI focus) Industry Projects: Manufacturing optimization, airport operations He leads the FIM Research Institute and Center for Process Intelligence, directing multidisciplinary teams in developing process mining prototypes. His labs focus on bridging academic research with industrial deployment, particularly in video-based process monitoring and generative AI for business process design.