Find Academic Supervisors

• Semantic Web
• Knowledge Graphs
• Data Integration
• +3 more

Anastasia Dimou is an Assistant Professor in the Department of Computer Science at KU Leuven's Faculty of Engineering Technology, affiliated with the Declarative Languages and Artificial Intelligence (DTAI) research group at the De Nayer Campus in Sint-Katelijne-Waver. Her research centers on semantic web technologies and knowledge graphs, specializing in RDF mapping frameworks (RML), SHACL validation, and knowledge graph generation for machine learning applications. She develops methods for heterogeneous data integration, stream processing, and ensuring data quality through rule-based validation and inconsistency resolution. Recent publications (2019-2023) demonstrate expertise in RML ontology design, SHACL validation techniques, and systematic reviews of RDF graph generation. Key projects include 'Knowledge Graphs for Machine Learning Data Management' (2021-2023) and 'Knowledge Graphs for Data Integration' (2022-2026), focusing on scalable knowledge graph applications. Dr. Dimou serves on the Council of the Faculty of Engineering Technology, the Computer Science Department Council, and the POC Elektronica-ICT for the Faculty of Industrial Engineering Sciences, contributing to institutional governance and academic strategy. As part of DTAI, she collaborates on declarative language applications in artificial intelligence, with teaching responsibilities spanning Web AI, Data Engineering, and Knowledge Graph courses that bridge theoretical research with practical implementation.

• Trusted Execution Environments
• Hardware-Software Boundary Security
• Microarchitectural Side-Channel Attacks
• +5 more

Jo Van Bulck is an Assistant Professor in the Department of Computer Science at KU Leuven's Faculty of Engineering Science, where he leads research in the Distributed and Secure Software (DistriNet) lab. His work focuses on security at the hardware-software boundary, particularly examining trusted execution environments and microarchitectural side-channel vulnerabilities. Dr. Van Bulck completed his Master's thesis on 'Secure Resource Sharing for Embedded Protected Module Architectures' at KU Leuven in 2015, receiving both the VASCO and BELCLIV thesis awards. He earned his PhD in 2020 with the dissertation 'Microarchitectural Side-Channel Attacks for Privileged Software Adversaries,' which received multiple prestigious awards including the ACM SIGSAC Doctoral Dissertation Award, ERCIM STM PhD Award, and FWO/IBM Innovation Award. His research primarily investigates vulnerabilities in trusted execution environments like Intel SGX, with seminal work on attacks such as Foreshadow, LVI, and ZombieLoad. His publications consistently appear in top security venues including IEEE S&P, USENIX Security, and ACM CCS. His research group has made significant contributions to understanding memory isolation failures, interrupt handling vulnerabilities, and developing principled approaches to validate enclave security properties. Dr. Van Bulck's work has profoundly impacted both academia and industry, with multiple CVE assignments for discovered vulnerabilities and direct influence on hardware and software security practices. His recent research focuses on extending security principles to low-end microcontrollers and developing automated validation frameworks for trusted execution environments. ACM SIGSAC Doctoral Dissertation Award (2021) FWO/IBM Innovation Award (2021) ERCIM WG STM Best Ph.D. Thesis Award (2021) Best Paper with Artifacts Award (SysTEX 2025) Distinguished Paper Award (EuroS&P 2025) Cybersecurity Artifacts Competition and Impact Award (ACSAC 2023) Dr. Van Bulck advises multiple PhD students including Márton Bognár (completed 2025) and Fritz Alder (completed 2023), and regularly supervises numerous master's theses. He leads several major research projects including 'Cross-Layer Systems Security for Trusted Execution Environments' (2025-2029) and 'Trustworthy Execution Environments for Secure Computing' (2024-2029). His research has been supported by competitive funding from KU Leuven and collaborative industry partnerships. As a member of the Council of the Faculty of Engineering Science, Dr. Van Bulck actively contributes to academic governance. He maintains the DistriNet research group's focus on practical security research with real-world impact, evidenced by numerous open-source contributions including the influential SGX-Step framework. His work bridges theoretical security principles with practical implementation challenges in modern computing systems.

Fanny Boraita AmadorView profile

Researcher

• Digital Education
• STEAM Education
• Educational Psychology
• +5 more

Fanny Boraita Amador serves as Educational Coordinator at the Faculty of Computer Science, University of Namur (UNamur), where she actively contributes to educational design, research, and teaching. Her work spans multiple research entities including the Namur Digital Institute (NADI) and the UNamur Institute for Research in Didactics and Education (IRDENa). She teaches courses such as Civic Engagement [INFOB323] and Memory [IHDCM050] while coordinating educational initiatives across the faculty. Doctorate in Educational Sciences - University of Geneva (2014) Certificate in University Pedagogy - University of Geneva (2012) Master's Degree in Educational Sciences - University of Liège (2010) Bachelor's Degree in Psychology and Educational Sciences - University of Liège (2008) Dr. Boraita Amador specializes in digital education transformation, with research focusing on critical approaches to technology education, programming misconceptions, and STEAM pedagogy. Her work examines how conceptual metaphors shape understanding of emerging technologies, particularly in robotics education. She investigates the impact of digital transitions on learning outcomes, especially during disruptive events like the pandemic, while developing interventions to correct student misconceptions in programming education. Her recent publications reveal a consistent trajectory examining educational responses to digital transformation, with particular attention to pandemic-era distance learning challenges, critical technology literacy development, and gender equity in computing education. The research demonstrates increasing focus on practical interventions for student success in programming and comprehensive frameworks for digital education. Creator and educational designer at d1g1factory Self-employed educational consultant at Vers ta réussite Author and co-editor of 'Educating in Digital Technology. 12 Keys to Understanding Computer Science' Member of SETT Committee (School Education Transformation Technology) Co-organizer of Summer Universities - Digital Education Dr. Boraita Amador actively supervises graduate work and leads multiple research projects including 'Aide à la Réussite' focusing on correcting programming misconceptions, 'Gender equals future: 011 for IT' promoting women in computing, and 'ELEVATOR' addressing pandemic-era educational challenges. She serves on the Continuing Education Council and Faculty Teaching Commission while organizing professional development events like the ABC-Day and educational seminars. As part of the Namur Digital Institute and IRDENa research entities, she contributes to the development of comprehensive digital education frameworks and participates in the PhD Student Day organization, fostering next-generation researchers in computer science education.

• Context-oriented programming
• Software engineering
• Programming languages
• +8 more

Kim Mens is a Professor at Université catholique de Louvain (UCLouvain), affiliated with the Louvain School of Engineering (EPL), the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM), and specifically the Pôle en ingénierie informatique (INGI). His research spans multiple areas of computer science with a particular focus on context-oriented programming, software engineering, and programming education. Professor Mens' research interests center around context-oriented programming, software evolution, and programming education. His work explores how software systems can dynamically adapt to changing contexts, with applications in self-adaptive systems, feature-based programming, and context-aware applications. In programming education, he investigates how to improve student learning through better feedback mechanisms, pattern mining in student code, and explicit instructional strategies. His recent publications (2022-2025) demonstrate a strong focus on both theoretical and practical aspects of context-oriented systems. His work spans software testing for adaptive systems, program query languages, automated feedback for programming education, and context-aware programming frameworks. His research shows a clear progression from foundational work in context-oriented programming to practical applications in software engineering and education, with increasing integration of AI techniques like BERT for educational applications. Professor Mens actively collaborates with researchers across Europe, particularly in Belgium, the Netherlands, and other European countries. His work appears in top software engineering and programming conferences and journals, demonstrating the significance and impact of his contributions to the field. His current research trajectory suggests continued innovation at the intersection of programming languages, software engineering, and computer science education.

Tom Van CutsemView profile

Associate Professor

• Distributed Systems
• Software Security
• Blockchain
• +5 more

Tom Van Cutsem is an Associate Professor of computer science at KU Leuven in Belgium, where he is affiliated with the Distributed and Secure Software (DistriNet) research group within the Faculty of Engineering Science and Department of Computer Science. He also maintains an affiliation with Nokia Bell Labs, where he previously served as a Research Department Head with research interests in decentralized systems, IoT, stream processing and machine learning for software engineering. His academic career includes a previous position as Assistant Professor at Vrije Universiteit Brussel from 2010 to 2014. Dr. Van Cutsem holds a PhD in Computer Science from Vrije Universiteit Brussel. His educational background has provided the foundation for his expertise in distributed systems, programming languages, and software security. His primary research interests span Distributed Systems , Software Security , Blockchain , and Programming Language Design . With the DistriNet research group, he pursues work on decentralized systems, IoT, stream processing, and machine learning for software engineering. His research focuses on making distributed systems more secure, reliable, and accessible, with particular attention to blockchain technology and Web3 infrastructure. He is a founding member of IFIP WG 2.16 on Programming Language Design. His recent publications demonstrate a strong focus on blockchain security and infrastructure, with numerous papers on Web3, smart contracts, and decentralized systems from 2023-2025. His work addresses critical challenges in blockchain validation, smart contract security, and Web3 infrastructure, reflecting his commitment to making decentralized systems more secure and accessible to low-resource participants. Several of his current projects focus on secure middleware for smart contracts and scalable infrastructure for self-sovereign applications. Dr. Van Cutsem supervises PhD students including Weihong Wang, with whom he has co-authored multiple recent publications. He is currently leading several research projects including SODISA (Scalable Software Development and Infrastructure for Self-sovereign Applications), Secure Sandboxing for WebAssembly-based Smart Contracts, and Programming languages for privacy-preserving and verifiable computing, with funding extending through 2028-2029. He leads research within the Distributed and Secure Software (DistriNet) group at KU Leuven, which focuses on creating secure and dependable distributed systems. His team works on cutting-edge challenges in blockchain infrastructure, smart contract security, and decentralized application development, with connections to both academic and industrial partners including Nokia Bell Labs.

• Computer Networking
• Internet Measurement
• Network Security
• +5 more

Benoit Donnet is a Professor at the Research Unit in Networking (RUN) within the Faculty of Applied Sciences at the University of Liège, Belgium. He has held this position since September 2011 and holds a Doctorate in Computer Science from University Paris 6, France. Professor Donnet's research spans multiple areas of computer networking and computer science education. His primary research interests include: Internet Measurement and Network Topology Discovery Network Security and Blockchain Analysis Network Protocol Design and Implementation Computer Science Education, particularly in introductory programming courses His recent publication trends show a dual focus on advanced networking research and innovative computer science education techniques. In networking, his work continues to advance Internet measurement methodologies, with recent publications on Bitcoin network analysis, IPv6 extension headers, and MPLS tunnel discovery. In education research, he has developed frameworks like CAFÉ 2.0 for automatic feedback in programming education and approaches to teaching abstraction skills through diagrammatic reasoning. Professor Donnet has mentored numerous students who have co-authored publications with him across both networking and education domains. His research has been supported by various grants enabling work on network measurement infrastructure, protocol development, and educational innovations. He leads research within the Research Unit in Networking (RUN), which focuses on Internet architecture, network measurement, and computer science education. The group maintains strong connections with the international networking research community and contributes to open-source network measurement tools.

Antonio PaolilloView profile

Professor

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

Antonio Paolillo is a Professor in the Department of Informatics and Applied Informatics at Vrije Universiteit Brussel. His research focuses on real-time systems, embedded software, robotics, and synchronization protocols. He leads projects like Brubotics (sustainable human-centered robotics) and FORCES (reliable robotic systems), emphasizing safety, privacy, and performance in human-robot collaboration. Key contributions include the mmPrivPose3D dataset for gesture recognition and sensor-based safety systems. He actively contributes to conferences like ECRTS 2025 and is involved in OS design for embedded platforms. His work bridges theoretical formal verification with practical implementations in multi-core and NUMA architectures. Education details and specific degrees were not explicitly mentioned in the provided text. Research interests span real-time scheduling, hardware-software co-design, and robust embedded systems. Recent articles emphasize privacy-compliant human-robot interaction and compiler transpilation for safety-critical applications. He collaborates internationally in robotics and real-time systems domains. Current projects (2024-2029) include foundational work on embedded software performance, reconfigurable robotics, and conference organization for ECRTS 2025. His work often involves interdisciplinary teams and industry partnerships.

Gustavo Ospina AgudeloView profile

Researcher

• Programming Language Interoperability
• Expert Systems
• Collaborative Decision Support Systems
• +2 more

Gustavo Ospina Agudelo is a researcher with expertise in programming language interoperability, formal semantics, and collaborative decision support systems. His work spans software engineering and programming theory, focusing on language design and integration mechanisms. Key research areas: Programming Language Interoperability, Expert Systems, Collaborative Decision Support Systems His academic contributions include publications in peer-reviewed Springer and IEEE conferences, with a 2012 chapter on the SEPlanS platform for wealth planning. Earlier works (2007-2008) addressed formal semantics of programming language interfaces and interoperability frameworks. Research activity highlights: Participation in the SEPlanS project (2007-2012) as a researcher, co-authoring 4 research outputs including peer-reviewed chapters and conference contributions.

• Geomatics
• Computer Vision
• Artificial Intelligence
• +7 more

Maarten Vergauwen is a Professor at KU Leuven's Faculty of Engineering Technology, where he serves as head of Geomatics and campus chair for Science, Engineering and Technology Group across Ghent and Aalst Campuses. His institutional roles include head of the Division Digital and Sustainable Civil Engineering, Subdivision Geomatics Ghent, and contact person for Geomatics. His research focuses on the intersection of geomatics, computer vision, and artificial intelligence with applications in heritage documentation, 3D modeling, and infrastructure analysis. Key research thrusts include BIM automation, digital twin development for sewer systems, UAV-assisted bridge inspections, and AI-driven cultural heritage preservation. His work leverages advanced techniques in point cloud processing, transformer networks, and semantic segmentation to solve complex spatial problems. Vergauwen actively supervises graduate students on topics ranging from SCAN-to-BIM automation to digital epigraphic documentation of archaeological sites. His research is supported by numerous grants including CHAI: Cracking built Heritage with AI, Deep Sewer, Foundation Models for EO Big Data, and UAV-assisted bridge inspections projects. Member of East and West Flanders Workplace Safety Committee Member of Bureau ADS and Board of Faculty of Engineering Technology Observer of KU Leuven Student Services Council, Brugge He teaches courses including Geomatics 1 & 2, Fotogrammetrie, GIS, Topografie, and 3D-modelleren across KU Leuven's engineering programs.

Pierre Yves SchobbensView profile

Professor

• Software Product Lines
• Software Verification
• Formal Methods
• +5 more

Pierre Yves Schobbens is a Professor of Computer Science at the Université Catholique de Louvain, specializing in software product lines verification, formal methods, and agent-oriented programming. He holds leadership roles including President of the Precise research center and the international affairs commission of the Faculty of Computer Science. His research focuses on software reliability, energy-aware systems, and real-time systems. Education: Bachelor in Philosophy (1982) Master in Applied Mathematics and Economics (1983) Master in Computer Engineering (1984) Doctorate in Computer Science (1993) Research Interests: Software Product Line Verification Model Checking Formal Methods for Real-Time Systems Energy Efficiency in Neural Architectures Agent-Oriented Programming Key Contributions: Development of featured transition systems for variability analysis Advances in mutation testing for timed systems Tools like ProVeLines for software product line verification Awards: Most influential paper award (IEEE RE 2016) Best paper (SAFECOMP 2012) 2024 VAMOS Ten-Year Most Influential Paper Award Grants & Projects: Lead on SQUAL.AI (AI-driven software quality) ERNEST (energy-efficient IoT scheduling) CFV (Center for Software Verification) He collaborates extensively with institutions like the Ecole Normale Supérieure and the University of Birmingham, and has supervised over 90 research works.

Wim VanhoofView profile

Professor

• Logic Programming
• Constraint Programming
• Software Testing
• +4 more

Wim Vanhoof is a Professor at the Faculty of Computer Science, University of Namur, leading the Research Group on the Foundations of Computer Science. He holds a Doctor of Science degree from KU Leuven (2001), specializing in clustering and instance-based learning in first-order logic. His research focuses on logic programming, constraint solving, software testing methodologies, concurrency in programming, and educational technology. Key projects include Sandbox4CS (2024–2025), a research infrastructure for computer science, and collaborative efforts like Silverkit (2019–2022), aimed at improving senior citizens' interaction with digital tools. His research interests span formal methods, program analysis, automated testing, and educational innovations in computer science. Notable contributions include frameworks for relational symbolic execution of SQL, semantic clone detection in CLP, and tools like Moulinog for generating Prolog assignments. Vanhoof has authored over 90 publications and supervised 83 students, reflecting his extensive academic leadership. He received the IBM Belgium Prijs informatica (1996) and remains active in academic activities, including organizing workshops and conferences like FOCUS Research Seminar (2019) and participating in events such as Computer Science Logic 2022. His work bridges theoretical foundations with practical applications, emphasizing software quality, concurrency management, and educational pedagogy.

• Type Theory
• Formal Methods
• Secure Software Verification
• +3 more

Dominique Devriese is an Associate Professor at the Department of Computer Science , Faculty of Engineering Science , KU Leuven . They serve as a promotor for multiple research projects focused on type theory, formal verification, and secure software systems. Faculty: Engineering Science Department: Computer Science Academic Rank: Associate Professor Their research explores multimodal dependent type theory , parametricity , logical frameworks like Agda, and secure compilation principles. Projects include formalizing RISC-V security guarantees, developing BiSikkel for multimode logic, and advancing substitution algorithms for type systems. Recent work demonstrates trends in formal methods , programming language theory , and hardware-supported security , with a strong emphasis on mathematical foundations and tool implementation. PhD Student Supervision: Joris Ceulemans Collaborations: Andreas Nuyts, Loes Deferme Active in academic governance, Dominique is a member of the Council of the Faculty of Engineering Science and POC Computerwetenschappen.

• Signal Processing
• Audio and Speech Processing
• Pattern Recognition
• +3 more

Kris Demuynck is an Associate Professor at Ghent University's Faculty of Engineering and Architecture, Department of Electronics and Information Systems (EA06), and leads the Internet Technology and Data Science Lab. With expertise in audio/speech processing, pattern recognition, and biomedical NLP, he supervises 14 doctoral researchers and contributes to speech recognition for healthcare and low-resource languages. Current projects: Core speech technology, NeLF (Flemish speech recognition), BioLORD-2023 (biomedical semantic models) Past grants: Special Research Fund, FWO, bilateral agreements Research Interests : Speech recognition architectures combining linguistic features with neural networks Biomedical semantic representation learning using LLMs and knowledge graphs Robust speaker verification and diarization in multi-speaker environments Selected Publications (2024-2025) demonstrate advancements in audio hashing, clinical NLP, and stress biomarker detection. His 15 most recent works span speech enhancement, speaker separation, and multilingual model adaptation. Supervision : Mentored doctoral projects on time series analytics, speech intelligibility, and pathological voice analysis. Active collaborations include FWO-funded precision health initiatives and industrial research fund projects on child linguistic analysis.

• Logic Programming
• Computational Logic
• Abstract Interpretation
• +3 more

Baudouin Le Charlier is a researcher with a focus on computational logic, programming languages, and system security. He has led multiple research projects, including sequential analysis under Unix, automated IT resource monitoring, and abstract interpretation for declarative languages. His work spans 1992–2008, with a strong emphasis on logic programming and formal semantics. Key Research Areas: Logic Programming, Abstract Interpretation, Data Stream Processing, Unix Systems, and Programming Language Interoperability. Notable Projects: Asax (Sequential Analysis), Survauto (IT Monitoring), COMPULOG-Net (Computational Logic Network), ABILE (Abstract Interpretation Tools). His 15 most recent publications (1995–2008) highlight trends in declarative semantics, interoperability mechanisms, and distributed audit analysis. These works often intersect with constraints, tools, and formal modeling.

• Computer Science
• Functional Programming
• Concurrent Programming
• +3 more

Romain Demeyer is a Researcher in the Faculty of Computer Science , specializing in concurrent programming and software verification. His work focuses on Software Transactional Memory (STM) in Haskell, using contracts and program transformation techniques to detect race conditions and ensure transaction consistency. Research interests include: Concurrency control in functional languages Race-freeness verification Business process modeling with Saturn workflows Transactional memory systems Static analysis of concurrent programs Contract-based programming Research trends across his publications reveal consistent exploration of STM Haskell's application-level guarantees, emphasizing formal verification of transactions and atomicity constraints. Education: Master in Computer Science (thesis on Saturn workflows ). Projects: Active in Program Analysis to Support Concurrent Programming in Functional Languages (2009–present).