Find Academic Supervisors

Rolf HennickerView profile

Associate Professor

• Formal Methods of Software Development
• Component-based Software Development
• Object-oriented Software Engineering
• +2 more

Prof. Dr. Rolf Hennicker is an Associate Professor and Academic Director at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich). He leads the Software and Computational Systems Lab, focusing on formal methods, component-based software engineering, and environmental simulation systems. His research emphasizes system specifications, concurrency, and dynamic logics for verifying complex systems. He actively supervises academic activities, including lectures, seminars, and diploma theses. As project leader of GLOWA-Danube and RAJA , he develops decision support systems and authorization frameworks. Collaborations include the École Normale Supérieure de Cachan (France) on ensemble modeling and verification. His work spans theoretical contributions to formal methods and practical applications in distributed systems, environmental modeling, and autonomous computing. Recent projects involve ensemble architectures and Helena frameworks for autonomic cloud systems.

• Robotics
• Computer Vision
• Industrial Automation
• +4 more

Oleksandr Semeniuta is an active researcher specializing in robotics, computer vision, and industrial automation systems. His work demonstrates consistent contributions to the field with publications spanning from 2015 to 2022, indicating ongoing academic or research activity. His collaborations with researchers like Petter Falkman across multiple publications suggest established research partnerships in the robotics domain. Dr. Semeniuta's research interests center around practical applications of robotics and computer vision in industrial settings. His work encompasses event-driven architectures for data processing and robot control, stereo calibration methods for 3D reconstruction, and resource-aware machine learning for IoT security. His research shows a strong focus on developing practical frameworks and systems that address real-world challenges in manufacturing and industrial automation. The publication trends reveal a consistent focus on robotics systems engineering, with particular emphasis on vision-based solutions and event-driven architectures. His work bridges theoretical computer vision concepts with practical industrial applications, especially in automotive manufacturing and robotic deburring systems. The research demonstrates progression from foundational work on dataflow programming for vision systems to more complex implementations of machine learning on edge devices for security applications. While specific awards are not documented in the available publication records, the consistent output in reputable venues including IEEE conferences and PeerJ Computer Science indicates recognition within the academic community. His work appears in both journal and conference publications, suggesting a balanced approach to disseminating research findings through different academic channels. Dr. Semeniuta's collaborative network includes researchers from various institutions, with Petter Falkman appearing as a frequent co-author across multiple projects. This suggests participation in research teams focused on industrial robotics and computer vision applications. His work on frameworks like EPypes indicates contributions to software infrastructure that enables more efficient development of robotic systems and data processing pipelines.

Andreas JohannsenView profile

Professor

• System development and integration
• Business application systems
• Value-oriented corporate management
• +12 more

Prof. Dr. Andreas Johannsen is a Professor of System Development and Integration at the Brandenburg University of Technology (FH Brandenburg) in Germany. He serves as the Managing Director of the Institute for Business Application Systems (IBAW) and has been actively involved in teaching, research, and industry collaboration since joining the university in 2006. His academic journey includes an MBA from the University of Edinburgh (1993-1994) and Business Administration studies at Eberhard Karls University Tübingen (1991-1993). Prior to his academic career, he accumulated substantial industry experience at SAP Deutschland, Mummert Consulting, and KPMG Consulting/BearingPoint, bringing practical insights to his academic work. Member of the IPv6 Council at the Hasso-Plattner-Institute since 2014 Board member of the Computer Science Department Conference (2014-2016) Managing Director of the Institute for Business Application Systems since 2011 Practical Affairs Representative for Business Informatics since 2009 Professor Johannsen's research spans system development and integration, business application systems, and value-oriented corporate management with particular focus on telecommunications and energy supply industries. His recent work emphasizes IT-Governance, Risk and Compliance Management (IT-GRC) for small and medium enterprises, sustainable logistics solutions using machine learning, and security challenges in digital cooperation. His publication pattern reveals consistent contributions across multiple domains with recent emphasis on: ERP system implementation methodologies and evaluation IT security frameworks for resource-constrained organizations Machine learning applications for sustainable logistics optimization Cloud computing and cooperative business models for SMEs API security and IoT security vulnerabilities Digital sovereignty concerns in business contexts Professional Contributions Professor Johannsen has led numerous research projects including the development of the reference model 'Service- and Cloud-Oriented Architectures for Storage Management' (DICAS) with Berliner Verkehrsbetriebe (BVG) in 2017, Business Process Management implementation with Brandenburg's Central IT Service Provider (2013-2014), and multiple studies on ERP system performance in various business contexts. Teaching and Academic Leadership He has taught a wide range of courses including Information Management, ERP Reporting, Project and Risk Management, and Value-Oriented IT Management. His teaching approach integrates theoretical foundations with practical applications, drawing from his extensive industry experience. He has served in various academic leadership roles including program director for Business Informatics master's and bachelor's programs and as a member of the department council. Research Infrastructure Professor Johannsen leads the 'Process Integration and ERP Systems' competence field which maintains ERP laboratories at FH Brandenburg featuring various ERP installations, particularly SAP and Microsoft systems. This infrastructure supports hands-on teaching and applied research on enterprise systems implementation and integration.

Christoph GellhausView profile

Professor

• Complex Analysis
• Symplectic Geometry
• Mathematical Physics
• +3 more

Christoph Gellhaus is a Professor of Mathematics at the Georg Agricola University of Applied Sciences, specifically within the School of Electrical and Information Technology and Industrial Engineering. His academic career spans both theoretical research and industrial application, with a focus on complex manifolds and symplectic geometry. He has also contributed to telecommunications software development at Siemens AG. Dr. Gellhaus' research interests include Complex Analysis, Symplectic Geometry, and Mathematical Physics, particularly the study of (almost-)complex manifolds and their applications. His publications reflect this, covering topics like Holomorphic Group Actions, DECT Protocols, and Hamiltonian Vector Fields. His recent work trends include interdisciplinary applications of mathematics in telecommunications and wireless communication protocols. Notable areas include DECT protocol design, network protocols, and interface specification. He is actively involved in teaching, covering subjects such as Higher Mathematics and Object-Oriented Programming in Java. His academic journey began with a diploma in Complex Analysis at Ruhr University Bochum, followed by a 1988 PhD in the theory of compact complex manifolds with holomorphic vector fields.

• Software Engineering
• Embedded Systems
• Real-Time Systems
• +3 more

Prof. Dr. Hagen Voß is a Professor at Georg Agricola University of Applied Sciences since 1995, specializing in Physics, Mathematics, Databases, and Modeling. His research focuses on applied modeling and simulation of heterogeneous systems, object-oriented software engineering, and development of embedded and real-time systems. He is affiliated with the German Physical Society. Born in Bremen (1959), studied Physics at the University of Bremen (1979-1985) Doctorate in Physics (1991) for work on nonlinear partial differential equations Industry experience in aerospace engineering (MBB/ERNO) and medical information systems Research Areas: Hagen Voß's work bridges computational methods with physical systems, focusing on tool-supported co-simulation of heterogeneous systems, software architectures for embedded devices, and numerical methods in theoretical physics. His expertise includes distributed database applications and systems analysis. Teaching: Covers advanced topics in physics, higher mathematics, numerical methods, and systems modeling. His educational philosophy integrates computational techniques with practical engineering applications.

• Software Engineering
• Knowledge-Based Systems
• Scientific Programming

Professor Hariolf Betz serves as a faculty member at Ulm University of Applied Sciences within the Faculty of Mechatronics and Medical Engineering. He holds significant administrative roles including Chairman of the Examination Board for his faculty and Membership on the Board of the proTHU Association. His research and teaching expertise centers on software development methodologies with specialized focus in: Knowledge-Based Systems Scientific Programming Object-Oriented Development He delivers core instruction in software development fundamentals, applied implementation techniques, and object-oriented paradigms. Consultation hours are held every Tuesday from 9:30-10:30 in room Q227 at the Albert-Einstein-Allee campus location.

• Modular development of specification languages
• Algorithms for models of computation
• Coalgebra
• +4 more

Alexandra Silva is a Professor of Computer Science at Cornell University with prior affiliations as a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at University College London . She leads a research group focusing on the modular development of specification languages and algorithms for models of computation, emphasizing coalgebra as a unifying mathematical framework. Research Interests Her work spans foundational and applied areas in theoretical computer science, including: Coalgebraic methods for formal verification Automata theory and learning algorithms Probabilistic programming and semantics Programming language design (e.g., NetKAT, Kleene Algebra with Tests) Concurrency theory and distributed systems Algebraic structures in computation Recent publications address network verification (StacKAT), symbolic automata learning, probabilistic regular expressions, and outcome logic for correctness/incorrectness reasoning. She is actively involved in organizing academic events like OPLSS 2025 and co-authoring foundational works in Formal Aspects of Computing and Theoretical Computer Science . Scientific Awards Distinguished Paper Award (ACM SIGPLAN POPL, 2020) Best Paper Award (RTA, 2015) She teaches courses on Kleene Algebra with Tests (KAT) and verification at summer schools like Marktoberdorf 2025 , and her research includes collaborations on probabilistic network verification (ProbNV) and stochastic system modeling.

Paolo G. GiarrussoView profile

Researcher

• Programming Language Theory
• Domain-Specific Languages
• Distributed Systems
• +5 more

Paolo G. Giarrusso is a researcher at the Institute for Programming Languages and Software Engineering within the Faculty of Informatics at the University of Tübingen . Previously, he was a Ph.D. student at the University of Marburg , where he defended his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation in January 2018.

• Business Informatics
• Enterprise Software
• Open Source Systems
• +6 more

Prof. Dr. Alexandra Kees is a full-time Professor of Applied Computer Science specializing in Business Informatics at the Department of Computer Science, Bonn-Rhein-Sieg University of Applied Sciences. Located in Sankt Augustin (Office C 220), her academic focus integrates business processes with information technology solutions. Her research encompasses: Open Source Enterprise Software and ERP systems Business Process Modeling & Digitalization IT Project Management & Ethics Internet of Things applications in business Production planning and control systems Her publication record shows consistent focus on enterprise software evolution, with recent works exploring open-source solutions (2019), IoT business interactions (2018), and ERP system fundamentals (2015). Earlier contributions include foundational work on production planning systems. Professor Kees teaches across bachelor's and master's programs, covering: Enterprise application architecture Business Informatics projects IT project management Digital transformation seminars She actively supervises student theses and company internships, bridging academic and industry practices.

Steffen HelkeView profile

Professor

• Software Engineering
• IT Security
• Functional Software Security
• +3 more

Prof. Dr.-Ing. Steffen Helke serves as a full Professor in the Department of Electrical Engineering & Information Technology at University of Applied Sciences Südwestfalen. His academic roles include Senate membership, evaluation officer for the department, program coordinator for Media Informatics, and spokesperson for the GI Specialist Group Automotive Software Engineering. Current affiliations span committee work in electrical engineering bachelor programs and leadership in safety-critical software research. His research focuses on functional software security , safety-critical system verification , and model-based quality assurance . Key areas include information flow control languages, automotive software security, hierarchical statechart validation, and requirements delta analysis for efficient development estimation. Methodologies emphasize formal verification, static analysis, and tool-supported refactoring to ensure robustness in embedded systems. Teaching encompasses advanced courses in Software Engineering, IT Security, Ethical Hacking, and Competitive Programming. Thesis supervision occurs in research areas like NLP-based requirements analysis, refactorings for security languages (Jif), and model checking for Statecharts. Industrial collaborations facilitate project/bachelor theses with real-world security applications. Research trends from publications show consistent focus on bridging formal methods with industrial software development. Dominant disciplines include Software Engineering (72% of works) and Formal Verification (58%), with emerging subfields like NLP-assisted requirements engineering (2019) and automotive security frameworks. Keyword analysis reveals sustained emphasis on verification (100% of works), security (80%), and automotive applications (40%). Administrative contributions include leadership in the combined Electrical Engineering bachelor program and active participation in university governance through department councils. Tools developed in his research (e.g., Delta Analyzer, R2BC) are integrated into curricula using ReqView, Matlab/Simulink, and Enterprise Architect for systematic requirement engineering and UML modeling.

Yves LedruView profile

Professor

• Software Engineering
• Formal Methods
• Specification and Modeling
• +5 more

Yves Ledru is a Professor at UFR IM2AG of Université Grenoble Alpes (formerly Université Joseph Fourier), where he also serves as Deputy Director. He is a member of the Laboratoire d'Informatique de Grenoble (LIG) and heads the VASCO research team. Additionally, he serves on the bureau of the GDR GPL national research group of the CNRS. Professor Ledru's research focuses on Software Engineering and Formal Methods. His primary interests include Specification and Modeling, Software Architecture, Testing, and the application of formal specification languages such as JML, VDM, and Z Notation. His team has developed several tools including RoZ (for integrating UML and Z specifications), B4MSecure, Tobias (for combinatorial testing), and ParTraP. His recent research projects include ANR Philae (2018-2022), ANR MODMED (2015-2019), and NExTRegio project of IRT Railenium (2015-2019). Professor Ledru has been actively involved in the academic community, serving on program committees for numerous conferences including Crisis 2024, MEDI 2023, and RSSRail 2023. He was a member of the steering committee of the ASE conference from 1997 to 2013, serving as chair from 2001 to 2007. His publication record shows a consistent focus on bridging formal methods with practical software engineering applications, particularly in specification languages and testing methodologies. He has supervised twelve PhD students to completion and currently supervises Alexandre Monnier. His former administrative responsibilities include leading the ISLE research cluster of the Rhône-Alpes Region (2007-2011) and serving as scientific responsible for the ARC6: Technologies de l'Information et de la Communication (2011-2017).

Wing-Kwong ChanView profile

Associate Professor

• Software Engineering
• Deep Learning
• Blockchain Systems
• +4 more

Wing-Kwong Chan is an Associate Professor in the Department of Computer Science at City University of Hong Kong. With a background that includes industry experience as a software engineer, Dr. Chan returned to academia and has established himself as a leading researcher in software engineering with a focus on emerging technologies. Dr. Chan received his BEng, MPhil, and PhD all from The University of Hong Kong. His academic journey began with a hardware-oriented Computer Engineering degree before shifting to software engineering for his graduate studies. His research interests center on software engineering, particularly the technical aspects interfacing with machine learning, blockchain, and GPU technologies. He addresses challenges in program analysis and concurrency, with recent work focusing on deep learning model verification and robustness. His publications span top venues including TOSEM, TSE, ICSE, ESEC/FSE, and ASE. Dr. Chan's recent publications demonstrate a strong trend toward integrating software engineering principles with deep learning systems, particularly in verification, testing, and robustness of AI models. His work bridges theoretical software engineering concepts with practical applications in emerging technologies. Best Paper Award from COMPSAC'04 Best Paper Award from COMPSAC'08 Best Paper Award from COMPSAC'10 Best Paper Award from QSIC'11 Best Paper Award from QRS'16 Best Paper Award from ISET'18 CityU President's Award 2017 Dr. Chan has successfully advised numerous PhD and MPhil students, with alumni dating back to 2006. He has secured substantial research funding through multiple Hong Kong Research Grants Council projects, ITF grants, and international collaborations. His current research focuses on patch robustness certification for deep learning models, reflecting his ongoing commitment to advancing software engineering practices for emerging technologies. As Program Leader for the MSc in E-Commerce program from the CS Department, Dr. Chan also contributes significantly to academic administration and curriculum development at City University of Hong Kong.

• Software Security Testing
• Metamorphic Testing
• Model-Driven Engineering
• +3 more

Arda Goknil is a researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg, actively contributing to software engineering research with a focus on security testing and model-driven methodologies. His work bridges theoretical foundations with practical tool development for critical software verification challenges. His research centers on software security testing, metamorphic testing frameworks, model-driven engineering, and formal methods. Key contributions include developing specialized tools for web application security analysis and automated model reasoning, addressing vulnerabilities through innovative testing approaches that transform security requirements into executable validation procedures. Analysis of his 2018-2020 publications reveals a consistent emphasis on metamorphic relations for security testing in web environments and formal logic integration for model verification. His work demonstrates strong interdisciplinary connections between cybersecurity, automated testing, and model transformation, with practical applications in vulnerability detection and security policy enforcement. As part of SnT - Luxembourg's premier research center for digital trust - he collaborates within multidisciplinary teams advancing security, reliability, and trustworthiness in modern software systems through rigorous academic research and tool-oriented solutions.

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.

Gerhard WannerView profile

Professor

• Software Engineering
• Software Architecture
• Green IT
• +2 more

Gerhard Wanner serves as Professor of Computer Science at Stuttgart University of Applied Sciences (HFT Stuttgart) within the Faculty of Surveying, Computer Science, and Mathematics since 2002. He leads the Distributed Information Systems Laboratory (LVIS) and previously directed the university's Information Center (2012-2023) and Computer Center (2004-2012), while maintaining freelance management consultancy work. His research focuses on sustainable software engineering, examining how architectural decisions impact CO2 emissions through green IT practices, enterprise architecture management, and software modeling. Wanner investigates resource-efficient development methodologies and digital transformation in educational contexts, emphasizing software architects' critical role in climate crisis mitigation through architectural design choices and quality models. Recent publications demonstrate a clear trajectory toward sustainability, with 2023-2024 works establishing frameworks for measuring CO2 efficiency in software systems, developing sustainability-focused architecture curricula, and creating resource-optimized development pathways. His scholarship bridges theoretical architecture principles with practical environmental impact reduction strategies. Wanner actively contributes to professional communities as a member of the German Informatics Society (GI), Association for Computing Machinery (ACM), Java User Group Stuttgart (JUGS), and International Software Architecture Qualification Board (iSAQB), where he serves as deputy head of the Audit working group. The Distributed Information Systems Laboratory (LVIS) under his direction explores green IT solutions, distributed systems architectures, and cross-platform service integration, notably demonstrated through the HFT-App project providing unified university service access.