جستجوی استاد راهنمای دانشگاهی

Coen De Rooverمشاهده پروفایل

استاد

• Program Analysis
• Software Quality
• Static and Dynamic Analysis
• +۷ مورد دیگر

Coen De Roover is a Professor at the Software Languages Lab of the Vrije Universiteit Brussel , actively leading research in program analysis, software quality, and security. He chairs the Bachelor in Computer Science program and supervises a dynamic research group. Research Focus: Static/dynamic analysis, automated testing, software maintenance, AI for SE, infrastructure as code security. Projects: Bugatti (2025-2028), Cracy (2024-2027), CRPF (2024-2028), BaseCamp Zero (2022-2026), EcoPipe (2023-2025), APAX (2022-2024). Scientific Awards: MSR 2025 Distinguished Dataset Award IEEE TCSE Distinguished Paper Award (SANER 2022) ICSE 2022 Best Artifact Award SCAM 2022 Best Artifact Award Conference Leadership: General Chair of SCAM 2024, Program Co-Chair for GPCE 2024, and active in organizing summer schools on security testing.

Xavier Devroeyمشاهده پروفایل

استادیار

• Software Engineering
• Test Automation
• Search-Based Testing
• +۵ مورد دیگر

Xavier Devroey is an Assistant Professor of Software Engineering at the Faculty of Computer Science , University of Namur , where he co-leads the SNAIL Team . His research focuses on test automation for search-based and model-based software testing , test suite augmentation , DevOps , and variability-intensive systems . PhD in Computer Science (University of Namur, 2017) Master in Computer Science (University of Namur, 2010) Recent research highlights include: Automated Android safety/security audits (A3S3, 2025) REST API benchmarking infrastructure (2025) Energy consumption analysis through test execution (2025) Fuzzing approaches for Odoo integration testing (FuzzE, 2025) Scientific recognitions: 1st place Java Test Case Generation Tool Competition (2025) VAMOS 2024 Ten-Year Most Influential Paper SSBSE 2020 Best Paper Award ICST 2024 Distinguished Reviewer AST 2023 PC Reviewer Star He actively supervises PhD and master's students while organizing international conferences like ISSTA (2025) and Belgium-Netherlands Software Evolution Workshops (2024).

• Software Engineering
• Computer Science
• Quality Assurance
• +۴ مورد دیگر

Benoit Vanderose is a researcher at the University of Namur within the Faculty of Computer Science , focusing on software engineering, energy consumption analysis, and digital citizenship education. His work bridges academic research with practical applications in open government data, testing methodologies, and sustainable coding practices. Education : Doctor of Science (2012) from the University of Namur, with a thesis on the MoCQA quality assessment framework. Research : Software quality assurance, energy-efficient code, AI-driven testing, and digital citizenship education. Projects : SQUAL.AI (AI for software quality), BECODIGITAL (digital co-creation), Di-Fic (audiovisual fiction for citizenship education). Awards : Best Poster Award (dg.o 2023). Collaborations : Active in Belgium-Netherlands software evolution workshops, interdisciplinary teams, and open data initiatives.

• Cybersecurity
• Cyber-Physical Systems
• Fuzz Testing
• +۳ مورد دیگر

Guillaume Nguyen is a researcher affiliated with the Faculty of Computer Science at the University of Namur and part of the Namur Digital Institute . Active in cybersecurity and cyber-physical systems research, he focuses on fuzz testing, Android security, and legislative compliance frameworks within the European Union context.

Sophie Fortzمشاهده پروفایل

پژوهشگر

• Machine Learning
• Self-Adaptive Systems
• Variability Modelling
• +۵ مورد دیگر

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.

• Artificial Intelligence
• Constraint Programming
• Optimization
• +۳ مورد دیگر

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.

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• +۵ مورد دیگر

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

• Software-Defined Radio (SDR)
• Wireless Networking
• FPGA-Based Systems
• +۳ مورد دیگر

Wei Liu is a postdoctoral researcher at the Department of Information Technology (EA05) , Faculty of Engineering and Architecture , Ghent University. His work focuses on advanced wireless networking technologies, particularly through Software-Defined Radio (SDR) and Field Programmable Gate Array (FPGA) implementations. Key contributions include the development of openwifi , a free and open-source IEEE802.11 SDR implementation on System-on-Chip (SoC) platforms Research expertise in Wi-Fi 6 , OFDMA , cross-technology interference , and low-latency SDR architectures Liu's publications demonstrate a strong focus on: Time synchronization (Wi-Fi and UWB integration, multi-hop networks) Spectrum sensing (heterogeneous devices, multi-fidelity data) Network virtualization for dynamic wireless environments Security and experimentation with SDR frameworks He collaborates extensively with researchers like Xianjun Jiao , Ingrid Moerman , and Muhammad Aslam , with projects spanning from 2010 to 2025.

• Software Engineering
• Formal Methods
• Autonomous Systems
• +۳ مورد دیگر

Eduard Baranov is a Visiting Lecturer and Research Assistant at the Université catholique de Louvain, affiliated with the Louvain Polytechnic School (EPL) through the Computer Engineering Center (INGI) under the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM). His work bridges academic research with industrial applications. Research Interests : Software engineering, formal methods, cybersecurity, autonomous systems, and model checking. His focus spans scalable coverage estimation, secure healthcare systems, and statistical validation of privacy protocols. Publications : Recent work includes t-wise coverage algorithms for software testing, formal verification of multi-agent autonomous systems, and privacy-preserving frameworks aligned with GDPR standards. His research often integrates symbolic execution and statistical model checking. Collaborations : Collaborates with researchers like Axel Legay, Kuldeep S. Meel, and Thomas Given-Wilson, contributing to journals such as IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. Contact : Email: eduard.baranov@uclouvain.be | Office: INGI - Réaumur, L5.02.01, Place Sainte Barbe 2, 1348 Louvain-la-Neuve.