Find Academic Supervisors

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.

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

Griet Galle serves as an Associate Professor at KU Leuven's Institute of Philosophy, where she leads the Didactics of Philosophy unit and contributes to multiple research institutes including L-C&Y Child & Youth Institute and LIVO Educational Research Institute. Her institutional roles include membership in the Council of the Institute of Philosophy and faculty committees for Philosophy programs. Her research spans two core domains: Didactics of Philosophy , focusing on philosophy education in Flemish secondary schools, effects of philosophizing with children, and comparative textbook analysis across European countries; and Medieval Natural Philosophy , specializing in 13th-century Aristotelian commentaries (particularly De caelo and De sensu) by scholars like Adam of Bockenfield and Peter of Auvergne. Current projects include 'Bringing Up Thinking' (2024-2028) on philosophy education in textbooks and 'Play and Ethics' (2024-2028) as Co-promotor. Analysis of her publications reveals a strategic evolution from medieval textual scholarship (2010-2015) toward contemporary philosophy education research (2018-2023), with increasing emphasis on practical classroom applications and European comparative studies. Her work consistently bridges historical philosophical analysis with modern pedagogical implementation. As editorial secretary of Tijdschrift voor Filosofie: Louvain Journal of Philosophy , she supports academic discourse while teaching philosophical skills in BA programs and didactics in Educational Master's programs. Her teaching portfolio includes courses on philosophical conversation with children, educational research methodology, and service-learning initiatives. Her leadership extends to coordinating plagiarism prevention and writing skills development within the BA curriculum, alongside active participation in PAV teaching methodology development for social sciences education.

• Didactics of Philosophy
• Philosophy Education
• Medieval Natural Philosophy
• +2 more

Pieter Colpaert is an Assistant Professor at Ghent University's Faculty of Engineering and Architecture, affiliated with the Department of Electronics and Information Systems and the IMEC research unit Internet Technology and Data Science Lab. His work focuses on Semantic Web technologies, Linked Data, and data interoperability with a specialization in intelligent transportation systems and decentralized architectures. Research areas: Semantic Web, Linked Data, Decentralized Data Governance, Intelligent Transportation Systems Projects: Materializable Linked Data Web APIs (2024-2025, funded by Special Research Fund), Local Digital Twins for Smart Communities (2025-2028, European funding) Students supervised: Wout Slabbinck, Harm Delva, Ruben Dedecker, Andrei Popescu, Arthur Vercruysse, Bryan-Elliott Tam, Ieben Smessaert, Els de Vleeschauwer, Shehabeldeen Mohamed Abdelfatah, Min Oo Sitt Min Oo Labs: Internet Technology and Data Science Lab at Ghent University

• Semantic Web
• Intelligent Transportation Systems
• Knowledge Graphs
• +6 more

Claudia Claes is a Visiting Professor at Ghent University's Department of Special Needs Education (Faculty of Psychology and Educational Sciences) since February 2014. She concurrently serves as Dean of the Faculty of Education, Health and Social Welfare Studies at University College Ghent and works as a researcher at E-QUAL, a center of expertise on Quality of Life. Since 2015-2016, she has led the Master course in Orthopedagogical Coaching and Consultancy at Ghent University. Her research focuses on: Quality of Life frameworks and measurement Disability studies and inclusive practices Orthopedagogical interventions Social inclusion of vulnerable populations Policy implementation related to intellectual disabilities Transition support for young adults with disabilities Her scholarly publications demonstrate consistent focus on Quality of Life assessment methodologies, disability policy analysis, and inclusive support frameworks. Recent work (2023-2025) emphasizes implementation science, citizenship paradigms, medication management in intellectual disabilities, and life transition studies, reflecting interdisciplinary collaboration across social sciences, healthcare, and policy domains. While no specific awards are mentioned in source materials, her leadership as Dean and extensive publication record indicate significant professional recognition. She collaborates extensively within research teams at E-QUAL and co-authors publications with colleagues across European institutions.

• Quality of Life
• Disabilities and Developmental Disorders
• Orthopedagogics
• +3 more

Vincent Englebert is a Professor at the University of Namur's Faculty of Computer Science, where he is affiliated with the Research Center on Information Systems Engineering (PReCISE) and the Namur Digital Institute (NADI). His office is located in the IT Building at Rue Grandgagnage, 21 in Namur, Belgium. He teaches courses including Organisational and Business Modelling, Software Architecture Engineering, and Software Engineering Laboratory for the 2023-2026 academic period. Bachelor and Master in Computer Science (University of Namur) Doctor of Science in Computer Science (2000), thesis: 'A smart Meta-CASE: towards an integrated solution' Englebert's research focuses on Domain-Specific Modeling Language (DSML) Engineering, Modeling & Meta-modeling, and Software Architecture Engineering, with additional interest in Computers and Aging applications. His work spans theoretical foundations of modeling languages to practical applications in business processes and aging populations. The fingerprint of his research shows strong emphasis on design (100%), engineering (78%), computer codes (70%), Reverse Engineering (63%), architecture (60%), tools (56%), modeling (55%), and transformations (50%). His recent publications (2020-2024) demonstrate continued productivity in model-driven engineering, with particular focus on software product lines, feature modeling, and applications for aging populations. These works show a clear trajectory from theoretical modeling foundations to practical implementations and societal applications. Best paper at International Conference Modelsward'2014 Englebert has supervised numerous research projects, including the current e-Anacarde: Digitalisation project (2024-2028) and previously led major initiatives like UsiXML and METADONE. He has been active in media and public engagement, particularly regarding computer science education in schools, with multiple expert commentaries in 2016. His external responsibilities have included significant leadership positions, notably as Dean of the Faculty of Computer Science (2015-2019) and Director of the PRECISE/IS research center (until 2011). He is active in research networks and collaborations, with recent external collaborations spanning multiple countries. His work with the NAM-IP Museum demonstrates ongoing engagement with cultural institutions, while his presentations on Alzheimer's disease and computer technology show commitment to applying informatics to societal challenges.

• Domain-Specific Modeling Language Engineering
• Modeling & Meta-modeling
• Software Architecture Engineering
• +4 more

Johannes Nicaise is a Professor of Mathematics at both KU Leuven (Belgium) and Imperial College London (UK), holding part-time appointments (50% each). He is also a Chargé de Recherche at CNRS (France) on leave since 2009. His work bridges Motivic Integration , Non-Archimedean Geometry , and Algebraic Geometry , focusing on the Monodromy Conjecture and its connections to Mirror Symmetry and Tropical Geometry . Research Focus: Nicaise’s research explores the interplay between geometric singularities and arithmetic, particularly in degenerations of Calabi-Yau and abelian varieties. His ERC Starting Grant MOTZETA (2013–2018) aimed to generalize the monodromy conjecture using non-archimedean methods and tropical constructions in the Gross-Siebert program. Article Trends: His recent publications highlight applications of Tropical Geometry to Stable Rationality , the SYZ Fibration in non-archimedean settings, and the Specialization Index for varieties over discretely valued fields. Collaborations with leading mathematicians like Mircea Mustaţă and Sam Payne reflect his interdisciplinary approach. Scientific Recognition: Nicaise was awarded the 2017 Ferran Sunyer i Balaguer Prize for his book Motivic Integration (co-authored with Antoine Chambert-Loir and Julien Sebag), which systematized the field and its interactions with model theory and non-archimedean geometry. Advising: He has mentored numerous PhD students, including Soham Karwa, Lorenzo Fantini, and Otto Overkamp, often in collaboration with institutions in Belgium, France, and the Netherlands. Nicaise’s work integrates advanced tools such as Motivic Integration , Logarithmic Geometry , and Hodge Theory , positioning him at the forefront of modern algebraic geometry and arithmetic geometry. He actively collaborates in international teams, contributing to developments in Donaldson-Thomas Theory , Berkovich Spaces , and Non-Archimedean SYZ Fibrations .

• Motivic Integration
• Non-Archimedean Geometry
• Monodromy Conjecture
• +5 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.

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

Jean Cardinal is a Professor of Computer Science at the Free University of Brussels (ULB) and co-director of the Algorithms Research Group. His research focuses on theoretical computer science, discrete mathematics, computational geometry, and combinatorial algorithms, with historical contributions to data compression and information theory. Education: PhD from ULB (2001) with FNRS fellowship; time spent at the University of Washington. Visiting Positions: ETH Zurich, Université Sorbonne Paris Nord. Research Interests: Computational geometry (algorithms for geometric data), combinatorial algorithms, geometric combinatorics, and algorithmic complexity. His work often bridges theoretical mathematics and practical algorithm design, with applications in optimization and graph theory. Collaborative Work: Active in organizing workshops like the Annual workshop on geometry and graphs and the Order and geometry workshop. Coauthor of numerous papers with researchers like Raphael Steiner, Boris Aronov, and Stefan Langerman. Scientific Contributions: Recent papers address polytope shortest paths, rectangulations, Hamiltionian properties in facets, and implicit set search techniques. Key trends include computational complexity analysis, geometric combinatorics, and algorithmic optimization. Honors: FNRS fellowship during PhD. Publications: Available via DBLP, MathSciNet, zbMATH, ArXiv, Google Scholar, and DI-fusion. Notable venues include Combinatorial Theory, SODA, SoCG, and Discrete & Computational Geometry.

• Theoretical Computer Science
• Computational Geometry
• Combinatorial Algorithms
• +6 more

Irene Vanderfeesten is an Associate Professor in Business Information Systems Engineering at KU Leuven's Faculty of Economics and Business (FEB), where she leads the Information Systems Engineering Research Group (LIRIS) in Brussels. She is head of the education commission for the OC Handelsingenieur in de beleidsinformatica and serves as a senior academic staff member on multiple councils including the Council of the Faculty of Economics and Business and the Campus Council FEB. Her research expertise lies in human aspects of business information systems engineering with a focus on business process modeling, process quality, continuous process improvement, and workflow management. She applies her knowledge in manufacturing, healthcare, banking, insurance, and administration domains, with particular emphasis on Industry 4.0/5.0 applications where she explores human-robot collaboration and smart factory implementations. Her recent publications reveal a strong trend toward human-centric process management, particularly in Industry 5.0 contexts that prioritize worker well-being alongside technical efficiency. Her work bridges theoretical business process management frameworks with practical applications in manufacturing, healthcare, and digital platform ecosystems, demonstrating expertise in both process modeling techniques and their real-world implementation challenges. Industria Education Award 2013 for best lecturer in the Post-Propedeuse of the Bachelor program in Industrial Engineering BPTrends Best Student Paper Award 2004 Scholarship from TU Eindhoven for excellent first-year students Currently, she serves as promotor for multiple significant research projects including 'Digital Platforms Ecosystems: Nurturing Sustainable Applications Through Governance Mechanisms' (2025-2029), 'Advanced task-agent allocation in industry 5.0' (2023-2027), and 'Sustainable and human-centric process management for smart manufacturing' (2022-2024). She previously led the HORSE project, an EU Horizon 2020 initiative focused on developing technologies for Smart Factories where humans and robots collaborate. Her teaching portfolio includes courses on ICT Governance and Operational Management, ICT-management, and Research Methodologies in Business Information Systems Engineering. She leads the LIRIS research group which focuses on developing solutions for the analysis, redesign, and automation of business processes with a human-centric approach, particularly in high-tech manufacturing, healthcare, banking, and insurance sectors. The group actively contributes to both theoretical advancements in process modeling and practical implementations in industry settings.

• Business Process Modelling
• Business Process Quality
• Human Aspects of Business Information Systems
• +7 more

Yasmine Akaichi is a Researcher at the University of Namur (UNamur) affiliated with the Faculty of Computer Science and the Namur Digital Institute. She leads the project FILP: Federated Learning using Inductive Logic Programming (2023–present), focusing on advancing machine learning methodologies. Her research emphasizes interdisciplinary applications of computational intelligence. She actively participates in academic events, including the Women and Girls in Science symposium (February 2025) and the Grascomp Doctoral Day (September 2024), showcasing her commitment to promoting science and academic collaboration. Her work bridges theoretical foundations of AI with practical implementations in federated learning and logic programming.

• Federated Learning
• Inductive Logic Programming
• Computer Science
• +3 more

Gonzague Yernaux is a Research Professor at the University of Namur's Faculty of Computer Science, affiliated with the Namur Digital Institute. He holds a Doctorate and a Master's degree in Computer Science from the same institution. His research focuses on programming paradigms, logic programming, algorithm optimization, and educational technology. Yernaux has contributed to projects like Algorithmic equivalence and developed tools such as Manim-DFA and Scrimmo. He has presented at international conferences and received awards including the Jean Fichefet Prize (2017) and the Student Encouragement Award (2022). Education : Doctorate, University of Namur (Year unspecified) Master of Computing (Computer Science), Faculty of Computer Science, University of Namur (2015–2017) Research Interests : His work spans logic programming, software engineering, and algorithm design. Key areas include predicate anti-unification, bipartite matching optimization, and semantic clone detection. He also explores educational applications, such as using escape games to teach computer science concepts. His research often combines theoretical frameworks with practical software tools. Grants & Activities : He leads the project Algorithmic equivalence by generalization-driven transformations of logic programs . Active in academic events, he has participated in the International Conference on Advances in Computing Research (2025), the Belgium-Netherlands Software Evolution Workshop (2024), and organized presentations on topics like predicate anti-unification and bipartite matching. Labs & Teams : Associated with the Namur Digital Institute, his work integrates interdisciplinary collaborations in computer science and software development.

• Computer Science
• Software Engineering
• Algorithms
• +3 more

Prof. Kenneth Chambaere serves as Interdisciplinary Professor of Public Health, Sociology & Ethics of the End of Life at Ghent University's End-of-Life Care Research Group. Holding an MSc in Sociology (2004), Postgraduate in Logic, History and Philosophy of Science (2005), and PhD in Medical-Social Sciences (2010), he previously worked as a Postdoctoral Fellow of the Research Foundation Flanders (FWO) from 2010-2016. His research focuses on three main themes: (1) end-of-life practices, (2) palliative care in and by the community, and (3) end-of-life care for people in vulnerable positions. His specific projects include assisted dying/euthanasia; palliative sedation; perinatal palliative care; tiredness of life in older people; Compassionate Communities; and palliative care for difficult-to-reach groups. With over 70 international peer-reviewed publications, his work spans medical ethics, public health, and sociology of death and dying. Recent publications highlight global trends in assisted dying legislation, community-based compassionate care models, and ethical considerations in end-of-life decision-making. Prof. Chambaere's research demonstrates consistent growth in scholarly output, with 148 publications spanning from 2008-2025, showing increasing focus on community-based palliative care approaches and ethical frameworks for vulnerable populations in recent years. Current research leadership in End-of-Life Care Research Group Active participation in international policy discussions on assisted dying Contributions to Springer Textbook of Palliative Care

• End-of-Life Practices
• Palliative Care
• Assisted Dying/Euthanasia
• +7 more

Sophie Fortz is a researcher at the Faculty of Computer Science , University of Namur, affiliated with the Research Center on Information Systems Engineering and the Namur Digital Institute . Her work bridges machine learning and software engineering, focusing on variability-intensive systems and self-adaptive architectures. PhD in Computer Science (2023), University of Namur Master in Computer Science (2019), University of Namur Research Interests: Fortz specializes in applying machine learning techniques like recurrent neural networks (RNNs) and feature-based learning to analyze and optimize software systems. Her projects include variability-aware behavioral learning, architectural smell detection, and quantum computing algorithm acceleration. Recent Publications: Her work on VaryMinions (2024) leverages RNNs for variant identification in system logs, while 2025 papers explore quantum eigensolvers accelerated by machine learning. Earlier contributions include concolic testing tools and behavioral mapping approaches for self-adaptive systems. Activities: Fortz participates in major conferences like SPLC and VaMoS, serves as a keynote speaker, and organizes cybersecurity symposiums. She collaborates with researchers like Gilles Perrouin and Pascal van Hooft.

• Machine Learning
• Self-Adaptive Systems
• Variability Modelling
• +5 more

Frank Janssen is a Full Professor and Visiting Lecturer at the Catholic University of Louvain , where he directs the interdisciplinary program in entrepreneurship (INEO), ranked second worldwide by Eduniversal. He has held visiting professorships at institutions including the University of Lorraine, EDHEC, HEC Paris, and the University of Cologne, with short-term appointments across continents. As a fellow of the European Council for Small Business (ECSB) , he contributes to global entrepreneurship research. Master of Laws (UCL) Master of Economics (UCL) MBA (Western Carolina University, USA) PhD in Management Science (Université Jean Moulin Lyon 3, France) His research spans entrepreneurship and its intersections with society, gender, religion, and sustainable development. Key themes include social and sustainable entrepreneurship , entrepreneurial motivations , and organizational growth , with recent articles exploring gender perceptions, institutional logics, and crowdfunding dynamics. His publications in journals like Entrepreneurship Theory and Practice and Small Business Economics highlight trends in global entrepreneurship research, including institutional influence, hybrid organizing, and psychological factors in decision-making. Fellow of the European Council for Small Business (ECSB) International awards for teaching and research Honorary president of the International Association for Research in Entrepreneurship and SMEs (AIREPME) and LouRIM Janssen’s academic leadership extends to directing the Louvain Research Institute in Management and Organizations (LouRIM) and Saint-Louis Interdisciplinary Research Institute (IRIS-L), fostering cross-disciplinary collaboration in entrepreneurship studies.

• Entrepreneurship
• Social Entrepreneurship
• Entrepreneurship and Society
• +3 more

Marc Denecker is a Professor at the Department of Computer Science, KU Leuven, affiliated with the Faculty of Engineering Science and the Declarative Languages and Artificial Intelligence (DTAI) research group. He contributes to KU Leuven's Institute for Artificial Intelligence (Leuven.AI). Current promotor for projects like A Category-Theoretic Perspective on Approximation Fixpoint Theory (2024-2028) and Proof systems for first-order logic extended with inductive definitions (2023-2027). Co-promotor for AI in Industry: Learning and Reasoning for Automation (2021-2025) and IMPULS-AI-2021 (2021-2024). His research focuses on formal logic, knowledge representation, and artificial intelligence. Recent work includes epistemic logic for decision-making under uncertainty, approximation fixpoint theory, justification theory, and symmetry-based satisfiability optimization. Publications span venues like AAAI, SAC, and LPNMR conferences, as well as journals such as Artificial Intelligence . Key subfields include logic programming, inductive definitions, model expansion, and constructive knowledge formalization. His teaching involves courses on complex systems (G0B23A/H0N05A), knowledge representation (H02C3A), automata (G0P84A), and logic for computer science (G0T42D).

• Artificial Intelligence
• Knowledge Representation
• Logic Programming
• +6 more