Engelbert Hubbers is a Lecturer at Radboud University, affiliated with the Digital Security Group within the Institute for Computing and Information Sciences (iCIS). His primary role involves teaching responsibilities across multiple courses such as Mathematical Structures, Formal Reasoning, and Logic and Applications. His research interests focus on formal methods, electronic voting systems, and discrete mathematics, with a particular emphasis on cybersecurity applications like Java Card security and e-passport systems. Engelbert has contributed to significant projects such as the RIES internet voting system and the KOA remote voting system, emphasizing formal verification and secure protocol design. He has held roles in academic governance, including membership in the Exam Committee and Program Committee of iCIS. His work bridges theoretical computer science with practical applications in secure voting technologies and embedded systems. Publications span topics from formal logic in education to cryptographic protocols, reflecting his transition from foundational research (e.g., polynomial automorphisms) to applied security. His teaching includes coordinating courses on formal reasoning, discrete mathematics, and semantics, demonstrating a commitment to both education and cybersecurity innovation.
Daniel Strüber is an Associate Professor in Software Engineering at the joint Interaction Design and Software Engineering Division of Chalmers University of Technology and the University of Gothenburg, Sweden. He is also affiliated with the Department of Software Science at Radboud University Nijmegen, Netherlands. His research focuses on model-driven engineering, AI engineering, and variability management to enhance software quality, security, and collaborative development across domains like robotics and web systems. Education : Diplom (M.Sc. equivalent) in Computer Science from Philipps University Marburg (2011, with distinction), Ph.D. (summa cum laude) from Philipps University Marburg (2016). His research bridges empirical, formal, and engineering approaches to address developer challenges in ML-enabled systems. Key trends in his work include model-driven methods for ML deployment, variability management in robotics, and empirical studies of tool usability. He has co-edited a Journal of Systems and Software special issue on software product lines. Scientific Awards : Best Reviewer Awards (SoSyM 2025, GPCE 2024), Transformation Tool Contest Awards (2017, 2020), Best Paper Awards (VAMOS 2019, ICMT 2016), and multiple conference nominations. As a supervisor, he guides current Ph.D. students like Vladislav Indykov and Weixing Zhang, while his former advisees include Shayan Ahmadian and Samuel Idowu. Grants include a VR Open Call Grant (2022-2024) for SEMLA and a DFG Individual Fellowship (2019) for EUphORia. His teaching spans courses on Software Engineering for AI Systems and Software Product Lines , often integrated with real-world projects via GiPHouse.
Dr. Petra Heck is a Senior Lecturer at the Faculty of ICT , Fontys University of Applied Sciences, specializing in AI Engineering and Machine Learning. She obtained her MSc in Computer Science from TU Eindhoven (2011) and a PhD in Software Engineering from TU Delft (2016) focusing on 'Quality of Just-in-Time Requirements'. Academic Roles : Lecturer in Software Engineering (2012-2016), Senior Researcher in AI & Big Data lectorate (2016-present) Research Focus : Building production-ready machine learning systems, with a postdoctoral focus (2019-2021) on practical ML engineering challenges. Her work emphasizes: Transdisciplinary collaboration involving non-ICT specialists Knowledge transfer to industry and education Shaping the emerging field of AI Engineering as a formal discipline Her publications highlight: Systematic approaches to ML operations (MLOps) Testing and debugging ML applications Evolving quality models for AI systems Defining AI engineer competencies through job market analysis She supervises students in practice-oriented projects, such as Real-time communication app (2014), and contributes to educational programs for AI engineers.
Anouk Waeijen-van Diepen is a PhD candidate at the Biomedical Diagnostics Lab within the Signal Processing Systems group at Eindhoven University of Technology (TU/e), focusing on integrating machine learning with mechanical ventilation systems. Her work aims to address patient-ventilator asynchrony through advanced algorithms and simulated clinical data . Education : MSc in Electrical Engineering (2017, TU/e) BSc in Bioinformatics/Biostatistics (2014, TU/e) Pre-Master in Electrical Engineering (2015, TU/e) Her research spans biomedical signal processing , machine learning applications in healthcare, and ventilator system optimization . She specializes in asynchrony detection using clinical and simulated data , with a focus on intensive care unit (ICU) environments. Key trends in her publications include adversarial learning for waveform generation, model-based approaches for patient effort estimation, and automated detection algorithms validated through peer-reviewed journals like Computer Methods and Programs in Biomedicine and Heliyon . She has contributed to IEEE symposia and European Signal Processing Conferences . Projects include: STW Zero 15-06 P2 (2017–2024): Autonomous Acoustic Systems Smart Monitoring (2015–2020): Real-time healthcare data analysis
Jordy P.F. Senden is a Researcher at Eindhoven University of Technology's Department of Mechanical Engineering within the Control Systems Technology group. He holds a PhD in Robust Robotic Systems (2024) and a Master's in Mechatronics Engineering (2016). His primary role is Knowledge Valorisation Officer, focusing on bridging academic research with industrial applications. Research interests include advanced robotics, particularly world model architectures, autonomous systems, and sensor-based perception. Key projects include the EU-funded AI-matters initiative (2023–2027), which develops AI-driven testing frameworks for manufacturing industries. Publications emphasize robust robotic systems, multi-hypothesis tracking, and plant dynamics exploitation. His work combines control theory with AI, addressing challenges in navigation, perception, and system resilience. Active collaborations span European institutions, with a focus on agricultural and industrial robotics applications.
Mirjam Moerbeek is an Associate Professor at the Department of Methodology and Statistics , Faculty of Social and Behavioural Sciences , Utrecht University , Netherlands. She holds a PhD in Applied Statistics (Maastricht University, 2000) and a MSc in Biometrics (Wageningen Agricultural University, 1996). Her work focuses on statistical power analysis and optimal experimental design for hierarchical and survival data , with over 100 peer-reviewed publications. Education MSc in Biometrics (cum laude), Wageningen Agricultural University (1996) PhD in Statistics, Maastricht University (2000) Research Focus Statistical power analysis Optimal design theory Multilevel modeling Survival analysis Cluster randomized trials Stepped-wedge trials Recent Publications Bayesian sample size determination for longitudinal studies Optimal group sizes in Bayes factor analysis Robustness in cluster randomized trials Cost-efficient designs for social and biomedical sciences Scientific Awards NWO Veni Grant (2003) NWO Vidi Grant (2008) NWO Open Competition Grants (2006, 2022) Ius Promovendi (2023) Organizational Roles President, European Association of Methodology (2023–2025) Vice President, European Association of Methodology (2021–2023) Co-Organizer, International Conference on Multilevel Analysis (2009–2022) Chair, VI European Congress of Methodology (2014) Editorial & Review Activities Editorial Board, PLOS ONE (2014–2017) Peer Reviewer, Tijdschrift voor Psychiatrie Scientific Committee, European Congress of Methodology Consultant for multilevel analysis software
Vadim Zaytsev is an Associate Professor at Vrije Universiteit, specializing in Formal Methods and Tools. His research spans software language engineering, program verification, and model-driven development, with a focus on legacy systems and modernization. PhD in Recovery, Convergence, and Documentation of Languages (2008) Master's in Combinatorial Test Set Generation (2004) and Modelling Distributed Systems (2003) Bachelor's in Python Programming E-Learning (2002) Zaytsev's work integrates software language engineering , program verification , and domain-specific languages to address legacy system modernization. His recent publications emphasize data enrichment , automated repair , and refactoring detection across languages like Kotlin and Python. His scientific contributions include the IFIP TC2 Manfred Paul Award (2020) and datasets for program verification, refactoring detection, and automated repair. He actively participates in editorial work, including peer-review for workshops like OOPSLE 2020.
Anne-Catherine A.M. Dieudonné, holding the title Dr.ir., is a faculty researcher at the Faculty of Civil Engineering and Geosciences, Delft University of Technology , within the Section of Geo-Engineering . Her work bridges fundamental geomechanics with pressing energy and environmental challenges, focusing on clays, bentonites, bio-cemented sands, geothermal systems, nuclear waste disposal, and CO₂ geological storage. Education & Training: Doctor of Engineering (Dr.ir.) – advanced doctoral degree in civil engineering/geosciences, exact institution and dates not stated in the source. Research Interests: Anne-Catherine’s research is organised around four pillars: Energy Geotechnics: thermo-hydro-mechanical (THM) modelling of geothermal systems in deep mines, cold-water injection-induced fracturing, optimisation under uncertainty. Environmental Geotechnics: long-term performance of clay barriers for nuclear waste repositories, gas and fluid transport in saturated clays, self-healing of rock-salt fractures. Bio-mediated Ground Improvement: micro-scale mechanics of bio-cemented sands, influence of carbonate distribution on stiffness and strength, DEM and experimental characterisation. Advanced Experimental & Numerical Techniques: development of novel visualisation devices for fluid-driven cracks, constitutive modelling of expansive clays, zero-thickness interface elements for fracture simulation. Publication Trends: Since 2020 she has authored or co-authored more than 25 peer-reviewed articles and conference contributions. The 2025 corpus shows a strong emphasis on geothermal reservoir engineering , bio-cemented geomaterials , and deep geological disposal , with methodological advances in coupled THM modelling, discrete-element simulation, and experimental validation. Scientific Awards & Honours: ABTUS Scientific Prize – Belgian Association for Underground Techniques and Urbanism (2012) C.B.R. Heidelberg Prize (2011) Bright Spark Lecture Award (2025) Ioannis Vardoulakis PhD Prize (2017) NWO Veni Grant (2019) Supervision & Grants: Anne-Catherine has supervised at least one doctoral student, A. Zhang , on bio-cemented sands. She is principal investigator on the NWO Veni project focusing on clay fracture mechanics and participates in the European EURAD consortium for radioactive waste management research. Laboratory & Teams: She is affiliated with the Geo-Engineering Section laboratories at TU Delft, which host advanced triaxial, oedometer, and bespoke visualisation rigs for clay and sand testing. Collaborative networks span TU Delft, KU Leuven, University of Liège, and multiple European institutions within EURAD.
K. Vermeul works as a Researcher at the Applied Stem Cell Technologies department within the Faculty of Science and Technology at the University of Twente. With a background in Biomedical Laboratory Research from Saxion University of Applied Sciences, Vermeul has held technician roles at the University of Twente, Sanquin Research Amsterdam, and Beth Israel Deaconess Medical Center at Harvard Medical School in Boston, USA. Research interests include: 3D vascular and cardiac tissue engineering Microfluidic organ-on-chip systems Wnt signaling in mesenchymal stromal cells Oxygen sensing in engineered tissues Inflammatory responses in vascular models Recent publications focus on microfluidic platforms for vascular oxygen monitoring, immune-vascular interactions in coagulation, and automated cardiac tissue analysis. Vermeul manages laboratory operations, differentiates stem cells into cardiomyocytes and endothelial cells, coordinates health/safety/environment protocols, handles GMO permits, and instructs master's level practical courses.
Dirk Beyer is a Full Professor and Head of Research Chair at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich), where he leads the Software and Computational Systems Lab. His research focuses on developing models, algorithms, and tools for constructing and analyzing reliable software systems, with emphasis on software verification, model checking, and static analysis. Professor Beyer's research spans multiple critical areas in software engineering and formal methods. He has made significant contributions to software model checking through tools like CPAchecker and BLAST, structure analysis of large systems using CrocoPat and CCVisu, and formal verification of real-time systems with Rabbit. His work on interfaces for component-based design (Chic) has advanced modular software development approaches. Beyer has pioneered methodologies in benchmarking and reliable experimental evaluation through BenchExec, which has become a standard in tool competitions. Analysis of his recent publications reveals a strong focus on advancing software verification techniques, particularly in transferring knowledge between hardware and software verification domains, decomposing verification tasks for parallel processing, and improving the effectiveness of verification witnesses. His work consistently bridges theoretical foundations with practical tool implementations, with a growing emphasis on comparative evaluation and competition frameworks that drive the field forward. ACM SIGSOFT Distinguished Paper Award (FSE 2024) ACM SIGSOFT Best Artifact Award (FSE 2024) As a principal investigator of the DFG Research Training Group ConVeY, Beyer has secured significant funding for advancing verification techniques. He has played leadership roles in numerous software verification competitions including SV-COMP and Test-Comp, serving as PC Chair for major conferences like TACAS 2018 and VMCAI 2020. His service contributions extend to chairing ETAPS 2022 and organizing multiple workshops on CPAchecker. Professor Beyer leads the Software and Computational Systems Lab at LMU Munich, which has developed numerous influential verification tools including CPAchecker (configurable software verification), BenchExec (reliable benchmarking), and CCVisu (software structure visualization). The lab maintains active collaborations with research groups worldwide and contributes significantly to the international verification community through competitions, benchmarks, and open-source tool development.
Prof. A.D. Pimentel holds a full professorship at the Informatics Institute of the University of Amsterdam, leading the Parallel Computing Systems (PCS) group within the Systems and Networking Lab. His research focuses on multi-core and multi-processor systems, emphasizing performance, energy efficiency, dependability, and productivity in system design and runtime management. He earned his PhD and MSc in Computer Science from the University of Amsterdam in 1998 and 1993, respectively. Current roles: Chair of PCS group, Board member of Advanced School for Computing and Imaging (ASCI), and ICT Research Platform Nederland (IPN) Teaching: Courses on Multi-core Processor Systems, Embedded Software, and Architecture Research interests span edge AI, sustainable computing, and system-level modeling. Recent work includes innovations in energy-efficient scheduling, thermal management in 3D-stacked systems, and adaptive CNN inference at the edge. Over 25 years of contributions to embedded systems design space exploration and hardware/software co-design have been recognized through awards like the IEEE CEDA Outstanding Service Award (2025). Awards: IEEE DATE Fellow (2025), NWO Knowledge & Innovation Covenant grant lead Active in conference organization, serving as General Chair for Embedded Systems Week (2026) and Design Automation and Test in Europe (DATE 2024). Engages in cross-disciplinary projects like improved secure semiconductor evaluation (ISSE) and energy labeling for digital services.
Mohsen Alirezaei is a part-time Assistant Professor at Eindhoven University of Technology's Mechanical Engineering department, specializing in vehicle dynamics and control. He concurrently serves as a Fellow Scientist at Siemens Industry Software and Services. His academic background includes a PhD in Mechanical Engineering (2011) from an unspecified institution, followed by a postdoc at Delft University of Technology (2012). Previously, he held roles as Senior Scientist at TNO Automotive (2012–2019) and part-time Assistant Professor at TU Delft (2015–2019). Research interests focus on automated and cooperative vehicles, including adaptive cruise control, collision avoidance, and state estimation. His work aligns with UN Sustainable Development Goals, emphasizing safer transportation systems. Key collaborations include studies on neural network-based behavior estimation during occlusion and criticality measures for automated vehicle testing. Education: PhD in Mechanical Engineering (Robotics & Control), 2011 Postdoc, Delft University of Technology, 2012 Awards: No explicitly stated scientific awards found. Grants/Advising: Supervised 8 works but no student names listed. Active in industry-academia collaborations via Siemens and TNO. Labs/Teams: Research involves Siemens' automotive software teams and TU/e's vehicle dynamics group.
Ed J. Nijssen serves as Professor of Technology Marketing within the Innovation, Technology Entrepreneurship & Marketing (ITEM) group at Eindhoven University of Technology's School of Industrial Engineering. His academic leadership spans strategic sales and marketing for radical innovations, with significant contributions to entrepreneurial marketing frameworks. His educational foundation includes a PhD from Tilburg University, complemented by visiting professorships at Michigan State University, New York University, and Bocconi University. He has conducted executive training globally at institutions including Fudan University and the Swedish School of Economics. Primary research domains: Servitization (solution-based business models), sales organization dynamics, and innovation in service frontline operations Secondary interests: Brand advocacy mechanisms, self-service technologies, and marketing/sales-R&D interface optimization Current focus: Organizational culture transformation required for successful servitization implementation His publication portfolio shows consistent output evolution toward digital transformation themes, with recent emphasis on human-robot collaboration in service environments (2023-2025), solution selling frameworks (2024), and B2B branding methodologies (2024), reflecting industry's shift toward integrated product-service ecosystems. Best Paper Award, International Marketing Track (2011) Best Paper Award, Research Method Track AMA Winter Marketing Educator's Conference (2010) Highly Commended Award, Robert Johnston Award (2017) As active supervisory committee member for 118 student projects, Nijssen directs major research initiatives including SYNERGIA (€1.76M EU-funded agricultural innovation project running through 2027) and SMART-SPACE (completed 2022). His industry engagement manifests through executive education programs with Link Magazine and consultancy for Wageningen University's professorial appointments committee. Nijssen co-leads the ITEM research group's work on the Brabant Center of Entrepreneurship, focusing on technology commercialization pathways and solution-based business model innovation through interdisciplinary collaboration with engineering and computer science faculties.
Dr. Frederik Verweij is an Assistant Professor in the Department of Cell Biology, Neurobiology and Biophysics at Utrecht University's Faculty of Science since 2021. His research focuses on the intricate mechanisms of extracellular vesicle (EV) biology, particularly exosomes, using advanced imaging techniques in zebrafish models. Prior to his current position, he served as a Researcher at INSERM U1266, IPNP in Paris (2017-2021) and completed postdoctoral work at the Institut Curie in Paris (2014-2017), where he investigated exosome research under the guidance of Dr. Graça Raposo. Dr. Verweij earned his PhD from the Exosome Research Group led by Dr. D. Michiel Pegtel (2009-2014). Dr. Verweij's research interests span multiple aspects of cell biology, with particular expertise in exosome biogenesis, trafficking, and function. His work integrates cell biology, molecular biology, biochemistry, and advanced imaging techniques to study protein trafficking, virology, and signaling in the endo-exosomal pathway. He has pioneered the use of zebrafish as a model organism for in vivo EV imaging, developing innovative approaches for live imaging, dynamic correlative light and electron microscopy (CLEM), optogenetics, and electron microscopy. His laboratory investigates how extracellular vesicles mediate intercellular communication in physiological and pathological contexts, with implications for cancer, viral infections, and potential therapeutic applications. Analysis of Dr. Verweij's publication record reveals a strong trajectory in extracellular vesicle research, with increasing focus on in vivo imaging techniques and physiological relevance. His work has evolved from basic mechanisms of exosome biogenesis and viral protein sorting to sophisticated in vivo models that capture the dynamic nature of EV communication within living organisms. The zebrafish model has become a cornerstone of his research approach, allowing unprecedented visualization of EV trafficking between organs and during development. Recent publications highlight technical innovations in EV imaging and quantification, demonstrating his leadership in methodological advancements within the EV field. ERC Starting grant - European Research Council 5-year grant (2021) Vidi award - Dutch Research Council (NWO) 5-year grant (2021) KWF Young Investigator Grant (2020) ASEMV 2020 Young Investigator Award INSERM CRCN laureate (tenure) via national competition (2020) Multiple featured abstracts and travel awards from ISEV meetings Dr. Verweij has successfully secured substantial funding as both principal investigator (ERC Starting grant, Vidi award, KWF Young Investigator Grant) and co-PI (INCa PLBIO project, ARC project grants). His research group at Utrecht University combines expertise in cell biology, imaging, and zebrafish models to investigate fundamental questions in EV biology. He actively contributes to the scientific community through extensive peer review activities for high-impact journals and funding agencies, and has taken leadership roles in organizing international workshops, including co-chairing the first international 'EV imaging in vivo workshop' in 2020. Dr. Verweij serves on the scientific board of the French Society for Extracellular Vesicles and has established himself as a rising leader in the extracellular vesicle research community.
Wilbert Tabone is a researcher at Delft University of Technology , affiliated with the Industrial Design Engineering school and Emerging Materials department. His work bridges Augmented Reality (AR) , Human-Computer Interaction (HCI) , and Pedestrian-Vehicle Interaction to enhance safety in automated transportation systems. He also explores Digital Cultural Heritage and Artificial Intelligence (AI) applications in museums and education. Research Trends : Tabone's recent publications focus on AR interfaces for pedestrian-automated vehicle communication, safety protocols in occluded scenarios, and immersive technologies like CAVE-based experiments. His work integrates Human Factors and User Experience Design to address challenges in urban mobility and AI ethics. Projects & Collaborations : He contributed to the EU-funded Shape-IT project (2019–2024), which developed human-AV interaction frameworks. Collaborators include J.C.F. de Winter, D. Dodou, and R. Happee. Media & Public Engagement : Tabone has been featured in international media (e.g., ICOM UK) and Maltese outlets, discussing AI's role in empowering society and Malta's national AI strategy.
