Find Academic Supervisors

• 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).

• Game Theory
• Formal Methods
• Controller Synthesis
• +3 more

Thomas Brihaye is a Professor in the Mathematics Department at the University of Mons (UMONS) in Belgium and is affiliated with the Complexys Institute, a research center focused on complex systems. His academic position involves both teaching responsibilities and advanced research in theoretical computer science and applied mathematics. His primary research explores game theory and its applications across multiple domains including formal methods , controller synthesis , and urban planning . He investigates mathematical frameworks for decision-making in complex systems, with recent emphasis on renewable energy optimization, cybersecurity protocols, and stochastic process modeling. Key methodological approaches include Markov decision processes, timed automata, and equilibrium analysis in adversarial environments. Analysis of Brihaye's publications reveals consistent focus on: Theoretical foundations of game theory and computational complexity Applications in energy systems (renewable communities, grid management) Formal verification methods for security and system reliability Stochastic modeling and probabilistic systems His work bridges theoretical computer science with practical challenges in sustainability and infrastructure. Brihaye actively contributes to academic dissemination through: Regular presentations at international conferences (LATIN, RP, CONCUR, FORMATS) Educational outreach programs ('Mathipulations' workshops and public lectures) Interdisciplinary collaborations on urban systems and cognitive psychology projects

Heidi VandeboschView profile

Professor

• Cyberbullying
• Online Aggression
• Adolescent Psychology
• +4 more

Heidi Vandebosch is a Professor at the Department of Communication Studies, University of Antwerp. Her research focuses on cyberbullying, online aggression, adolescent psychology, and media psychology, with a particular emphasis on evidence-based interventions and sociocognitive determinants like empathy and moral disengagement. Active projects: Friendly ATTAC (digital anti-cyberbullying games), Cyber-shoc (emotional reactions in bullying contexts) Key methodologies: Structural equation modeling, mixed-design ANOVA, content analysis, Delphi method Her work spans interdisciplinary collaborations, addressing topics such as celebrity bashing , slut-shaming , and digital disconnection . She has contributed to policy frameworks in Belgium and Europe, particularly through COST action IS0801. Scientific awards include membership in Academia Europaea and leadership roles in academic integrity committees. Recent publications explore the intersection of health promotion , gamification , and social media dynamics . She has published in journals like Computers in Human Behavior , Journal of Media Psychology , and Cyberpsychology , with a focus on adolescent behavior , digital interventions , and media representation . Her research often combines ICT and developmental psychology to design solutions for cyberbullying and online harassment.

• Cryptography
• Security Protocols
• Side-Channel Attacks
• +3 more

Olivier Markowitch is a Professor at the Computer Sciences Department of the Faculty of Sciences at Université Libre de Bruxelles (Free University of Brussels). He currently serves as Dean of the Faculty of Sciences and is the university's information security advisor. Previously, he was Head of the Computer Sciences Department and co-president of the university's ethics committee. He co-founded the inter-university Master in Cybersecurity program and co-organized the Cybersecurity Research Center at ULB. His research focuses on: Design and analysis of cryptographic protocols Communication protocol security Side-channel attack methodologies Blockchain applications Hardware security (Network-on-Chip) Secure computation outsourcing Analysis of his 100+ publications reveals consistent focus on applied cryptography, with recent work emphasizing blockchain-based auction systems, hardware security for multi-core architectures, lightweight encryption for IoT devices, and theoretical advances in cryptographic protocols. His publications frequently address both theoretical foundations and practical implementations. Markowitch has supervised doctoral candidates in areas including lattice-based cryptography and secure Network-on-Chip protocols. He leads institutional cybersecurity initiatives and teaches courses in algorithms, cryptography, and computer security.

Sophie FortzView profile

Researcher

• Machine Learning
• Self-Adaptive Systems
• Variability Modelling
• +5 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.

Manel BarkallahView profile

Researcher

• Coordination Languages
• Cyber Security
• Programming Tools
• +3 more

Manel Barkallah is a Researcher at the University of Namur's Faculty of Computer Science, affiliated with the Namur Digital Institute. They hold a Doctorate in Sciences and a Master of Informatics (2015-2017). Their research focuses on coordination languages, cybersecurity tools, formal methods, and algorithm optimization. Key projects include leading the STS-Bach PhD project (Contextual Coordination Model for Socio-Technical Systems) and contributing to the CYBEREXCELLENCE initiative in cybersecurity. They actively participate in conferences and workshops, such as DisCoTec 2025 and the Belgium-Netherlands Software Evolution Workshop. Barkallah also promotes gender equality in STEM, organizing events like 'Women and Girls in Science' at UNamur. Research interests span guarded lists, tool integration (e.g., B2Scala), and workbench development (Anemone). Their work emphasizes security, efficiency, and formal verification in distributed systems. Barkallah has contributed to 7 peer-reviewed publications and actively engages in academic outreach and mentoring.

• Artificial Intelligence
• Constraint Programming
• Optimization
• +3 more

Mattias Guns is an Associate Professor in the Department of Computer Science at the Faculty of Engineering Science, KU Leuven. He is a core member of the Declarative Languages and Artificial Intelligence (DTAI) research unit and holds affiliations with Leuven.AI and the KU Leuven Institute for Mobility (LIM). He serves on the Council of the Faculty of Engineering Science and the Programme Committees for Artificial Intelligence and Mobility and Supply Chain. His research centers on bridging Artificial Intelligence with constraint-based optimization, focusing on Explainable AI, Predict-and-Optimize frameworks, and machine learning integration for constraint solving. Key interests include human-centric explainability in decision systems, perceptual reasoning, and energy-efficient optimization models. His work addresses fundamental challenges in program synthesis, scheduling, and trustworthiness of AI planning systems. Recent publications reveal strong trends in fusing machine learning with declarative problem-solving paradigms. Notable themes include LLM-driven constraint modeling, mutational testing for solvers, step-wise explanation generation, and preference learning for unsatisfiable constraints. His research consistently targets real-world applications in supply chain optimization, inventory management, and perceptual reasoning systems. As principal investigator, he leads multiple major projects: TED-AI: Trustworthy Explanations for Decision Making in AI (2025) Towards Human-Centric Explainable Constraint Solving (2025-2028) SAELING: Energy Optimization via Learning (2024-2027) From Natural Language to Constrained Optimization (2023-2027) He has supervised PhD student Mulamba Ke Tchomba on machine learning-enhanced constraint solvers for perceptual reasoning. Within the DTAI research group, he contributes to KU Leuven's leadership in declarative AI through collaborative work on constraint programming foundations and applications. His team actively develops open-source tools like CMPpy for prediction-optimization integration and participates in European AI initiatives through Leuven.AI.

• Software engineering for decentralized systems
• Multi-agent systems
• Autonomic computing
• +3 more

Tom Holvoet is a Full Professor at the Department of Computer Science , KU Leuven , affiliated with the Faculty of Engineering Science and the research groups Distributed and Secure Software (DistriNet) and Leuven.AI . Research focuses on decentralized systems , multi-agent systems , and autonomic computing . Currently supervising PhD and master's projects on blockchain vulnerabilities , autonomous decision-making , and embedded systems resilience . Teaching courses: Software Design , Programming Principles , and Distributed Systems . His work involves collaborations with international institutions and grants from the FWO (Fonds Wetenschappelijk Onderzoek) .

• Computer Program Verification
• Computer Programming Languages
• Formal Methods
• +7 more

Bart Jacobs is an Associate Professor at the Faculty of Engineering Science , KU Leuven , affiliated with the Department of Computer Science and the Distributed and Secure Software (DistriNet) unit. His research focuses on computer program verification , programming languages , and formal methods for ensuring software safety and liveness properties. Key Research Areas: Modular formal verification of concurrent programs Memory safety in Rust with unsafe blocks Completeness thresholds for critical software Gradual typing and state threads Relational reasoning for advanced type systems Recent Publications highlight his work on verifying fine-grained concurrent modules, unsafe Rust code, and array-traversing programs. His projects span formal verification of safety/liveness properties (2018–2027) and model-driven engineering for adaptive SaaS systems. Awards & Memberships: Secretary of POC Informatica Member of Faculty of Engineering Science Council Doctoral Commission member at KU Leuven Teaching Responsibilities include courses on object-oriented programming, software design, and secure software engineering, reflecting his expertise in foundational and advanced programming concepts.

• Programming Language Theory
• Functional Programming
• Logic Programming
• +3 more

Tom Schrijvers is a Professor at the Department of Computer Science, Faculty of Engineering Science, KU Leuven. His research focuses on programming language theory, functional programming, logic programming, and computational effects. Advancing multi-stage programming with computational effects (2024–2028) Generating Educational Feedback with Program Analysis (2024–2028) Programino: An Educational Programming Platform (2023–2027) eTeacher: Interactive web-based programming education platform (2023–2025) AmPERSand: Programming Education Runtime System (2023–2026) His recent publications emphasize bidirectional transformations, effect handlers, and programming education tools. He collaborates extensively with British institutions like Imperial College London and works on the book Language Engineering in Haskell with Dr. Nicolas Wu.

Denis DarquennesView profile

Researcher

• Coordination Languages
• Data Protection
• Tuple-based Systems
• +4 more

Denis Darquennes is a computer science researcher affiliated with University of Namur, specializing in coordination languages and data protection systems. His academic career spans over three decades with significant contributions to tuple-based coordination models and data protection frameworks. His research focuses on the theoretical foundations of coordination languages, particularly examining multiplicities, density metrics, and expressiveness in tuple-space systems. Darquennes has developed formal methods for analyzing coordination patterns and has contributed to important data protection frameworks through European research initiatives. His publication record shows consistent research output from 1989 through 2020, with recent work emphasizing the expressiveness of data-based coordination languages and density metrics in distributed systems. The research demonstrates a clear progression from theoretical foundations to practical applications in data protection. Darquennes has been actively involved in major European research projects including COE-Profilage, RW-Euser, CE-Miauce, and SPFJUS-Phenix, where he contributed expertise in data protection and coordination language design. His work bridges theoretical computer science with practical privacy concerns in emerging technologies. His educational background includes doctoral research completed in 2017 on multiplicities in coordination languages, supervised by Jean-Marie Jacquet and Isabelle Linden at University of Namur, following master's level work on ant colony algorithms in 2005.

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• +5 more

Quentin Stiévenart is a post-doctoral researcher at the Software Languages Lab of the Vrije Universiteit Brussel (VUB) in Belgium, specializing in programming languages and program analysis. His research spans multiple areas within static and dynamic analysis, with a particular focus on WebAssembly security and analysis techniques. His primary research interests include: Static and dynamic program analysis Abstract interpretation Type systems and effect systems Concurrent and higher-order programming languages WebAssembly security and analysis Interpreter and framework design Stiévenart's recent publications demonstrate a strong focus on compositional and modular analysis techniques, particularly applied to WebAssembly. His work addresses critical security concerns in WebAssembly, including information flow analysis, binary analysis, and vulnerability detection. He has also contributed to frameworks for static analysis of higher-order languages and techniques for improving analysis performance through parallelism and incremental computation. His academic service includes extensive peer review activities and program committee membership for major conferences including SAS, SCAM, ICFP, ECOOP, and OOPSLA, with a particular emphasis on artifact evaluation committees. Stiévenart has developed several research tools including Wassail (a static analysis tool for WebAssembly security), MAF (a framework for modular static analyses), and Scala-AM (a framework for developing static analyses in Scala).

• Computer Science
• Coordination Languages
• Programming Languages
• +5 more

Jean-Marie Jacquet is a Full Professor in the Faculty of Computer Science at the University of Namur, where he has maintained an active research and teaching career since completing his Doctor of Science degree in 1989. His academic home spans multiple research institutes including the Namur Digital Institute (NADI), Namur Research Institute for Life Sciences (Narilis), and the Research Group on the Foundations of Computer Science (FOCUS). His research interests center on computer science fundamentals with particular expertise in coordination languages, programming language theory, and formal methods. His fingerprint analysis reveals strong engagement with data structures, language expressiveness, implementation techniques, and modeling approaches. He has developed significant expertise in the Bach coordination language and its applications. His recent publication trajectory shows consistent output in programming language design and analysis, with a clear focus on the Bach language ecosystem. His work bridges theoretical computer science with practical implementation concerns, particularly in the areas of expressiveness, efficiency, and security. Recent publications demonstrate his ongoing contributions to language design and tool development. Professor Jacquet actively participates in major research initiatives including the CyberExcellence project (2023-2028), CYBEREXCELLENCE cybersecurity initiative (2022-2027), and the ROBIN biological pipeline reconstruction project (2021-2022). His collaborative approach is evident in his participation in numerous workshops and conferences related to cybersecurity and programming languages. He leads and contributes to multiple research teams focusing on digital technologies, life sciences computing, and foundational computer science. His laboratory work centers on language design and implementation, particularly through the development of the Bach coordination language ecosystem and related tools like Anemone and B2Scala.