C Giuffrida is an Associate Professor at the Faculty of Science, Vrije Universiteit Amsterdam, with affiliations to the Network Institute and the Systems and Network Security group. His research focuses on computer systems security, hardware vulnerabilities, and software reliability. Giuffrida holds a PhD in Computer Systems from Vrije Universiteit Amsterdam (2014). His academic contributions span multiple areas including transient execution attacks, fuzzing techniques, and hardware-software co-design for security. Research Interests: Hardware Security: Investigating vulnerabilities like Spectre, Rowhammer, and speculative execution risks. Software Security: Focusing on memory safety, compiler optimizations, and exploit mitigation strategies. Systems Research: Developing tools like BinRec for binary analysis and VPS for C++ vulnerability protection. His work has been recognized with awards such as the Distinguished Paper Award in 2021. Giuffrida supervises advanced courses in operating systems and hardware security, and has guided 16 PhD theses to completion.
Lin Wang is an Assistant Professor at the Department of Computer Science, Vrije Universiteit Amsterdam, and an Adjunct Professor at TU Darmstadt. His research focuses on networked systems, edge computing, cloud computing, and optimizing computer systems for applications like augmented reality. He holds a PhD from Chinese Academy of Sciences and has postdoctoral experience at SnT Luxembourg. His work contributes to UN Sustainable Development Goals related to innovation and infrastructure. Education: PhD in Computer Science (ICT, CAS), Postdoc at SnT Luxembourg Previous Roles: Head of Smart Urban Networks group at TU Darmstadt's TK Lab (2016-2018) Research interests include edge computing, in-network processing, novel network protocols, and energy efficiency. Recent work addresses latency in edge networks, IoT synchronization, and congestion mitigation in data centers. Supervised 2 PhD theses and collaborates internationally. Active in labs like the Telecooperation (TK) Lab. No ancillary activities declared.
Dolly Sapra is a researcher at the University of Amsterdam , affiliated with the Department of Computer Science under the Faculty of Science . Her work focuses on adaptive deep learning, secure neural inference, energy-efficient computing, and fault-aware systems. She received the IEEE/ACM CASES '24 Outstanding Reviewer Award . Her research spans Machine Learning , Edge Computing , and Embedded Systems , with a focus on Model elasticity for CNNs Privacy-preserving edge intelligence Power-efficient inference Transformer optimization Climate-aware computing . The 15 most recent articles highlight her leadership in adaptive neural architectures , secure multi-party inference , and sustainable computing , with applications in embedded systems and real-time environments .
Bas Luttik is an Associate Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e), with a secondary appointment as an EAISI Foundational Associate Professor. His research focuses on concurrency theory, process algebra, and formal methods applied to railway systems. He holds an MSc and PhD from the University of Amsterdam, followed by postdoctoral work at Vrije Universiteit Amsterdam. His academic contributions include foundational work on parallel decomposition, process algebra semantics, and the integration of concurrency theory with automata theory, notably through the theory of Reactive Turing machines. Education background: MSc Computer Science (1996), University of Amsterdam PhD Computer Science (2002), University of Amsterdam (supervised by Jan Friso Groote at CWI) Research interests emphasize formal verification, process algebra, and practical applications in railway safety. Notable awards include the FMICS Best Paper Award (2018). He teaches courses like Logic and Set Theory, developing innovative digital tools for self-paced learning and homologation recommendation systems. Active in conference organization, he has chaired program committees for EXPRESS/SOS (2011–2013) and contributed to CONCUR, TTCS, and others. His work bridges theoretical foundations (e.g., bisimulation, executability) with applied systems (e.g., EULYNX railway interfaces). Supervised 30+ students, though specific names are not listed here. Research collaborations span international teams, focusing on concurrency, automata, and formal methods in critical systems.
Jan Friso Groote is a Full Professor and Chair of the Formal System Analysis group in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He also holds professorial roles in the EAISI Foundational and EAISI High Tech Systems institutes. Since 2016, he has been working part-time at ASML, contributing his expertise in formal verification to industrial applications. Education: Born in 1965, studied Computer Science at Twente University of Technology (now University of Twente), 1983–1988. PhD in 1991 from the University of Amsterdam with thesis 'Process algebra and structured operational semantics', based on research at CWI (Centrum Wiskunde en Informatica). Jan Friso Groote is a leading researcher in formal methods and software verification. His work focuses on enabling the development of flawless software through rigorous formal analysis. Key research areas include structural operational semantics, model checking, branching bisimulation, protocol verification, and the development of the mCRL2 toolset. His current goal is to integrate formal techniques into complete software system design, improving both development speed and quality. His research has demonstrated that formal methods can reduce development time by a factor of three and increase quality tenfold, with potential for zero-defect software. His recent publications demonstrate sustained contributions in formal verification, including work on mutual exclusion algorithms, industrial control system modeling, probabilistic systems, and efficient bisimulation algorithms. The articles span topics such as tunnel control systems, simulation lower bounds, and formal methods for critical systems, reflecting both theoretical depth and practical application. Scientific Awards: Best Paper Award FACS 2018 FMICS-AVoCS Best Paper Award (2017) Jan Friso Groote has held significant leadership roles in education, including Director of Education for Computer Science (2000–2010) and for multiple bachelor’s and master’s programs. He has advised numerous researchers and supervised a large body of research output (over 320 publications). He leads the Formal System Analysis group and has been involved in projects such as 'Composable Embedded Systems for Healthcare'. His work bridges academia and industry, particularly through collaborations with ASML and Rijkswaterstaat, and he has been a visiting researcher at institutions across Europe and China. He is a key contributor to the mCRL2 toolset, which supports modeling and verification of software behavior with data, time, and probabilities. His research fingerprints highlight strong expertise in model checking, transition systems, software design, and process algebra. He teaches courses such as System Validation, Embedded Software, and Capita Selecta in Formal System Analysis.
Wilker Ferreira Aziz is an Assistant Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam, where he leads the Probabilistic Language Learning group. His primary affiliation is with the Natural Language Processing & Digital Humanities research unit. His research focuses on the intersection of machine learning, natural language processing, and probabilistic modeling. Key areas of interest include language modeling, machine translation, syntactic parsing, text classification, and question answering. He develops techniques for probabilistic inference, gradient estimation, and uncertainty quantification in neural language models. Dr. Aziz's recent publications demonstrate a strong focus on uncertainty in natural language generation, with multiple papers at top-tier conferences like EACL, EMNLP, and ICLR. His work examines how language models represent uncertainty compared to humans, calibration issues when humans disagree on labels, and methods for more robust decision-making in text generation. Best Paper Award at Coling 2020 He actively supervises both PhD and MSc students, with several ongoing PhD projects focusing on uncertainty in language models and neural text generation. Dr. Aziz serves on program committees for major ML and NLP conferences including ACL, EMNLP, NeurIPS, and ICLR, and has acted as area chair for several of these venues. His research has been supported through positions at the Mercury Machine Learning Lab, a collaboration between Booking.com, TU Delft, and the University of Amsterdam.
Jin-Kao Hao is a Professor of Computer Science at Université d'Angers , France, and a Senior Fellow of the Institut Universitaire de France . He specializes in computational methods for large-scale combinatorial optimization problems, with applications in computer science, artificial intelligence, and computational biology. Editorial Board Member: PeerJ Computer Science Research Affiliation: LERIA Laboratory , SFR MathSTIC Research Interests: His work spans algorithms, optimization theory, artificial intelligence, and computational biology. He develops advanced techniques for solving complex combinatorial problems, including parallel exact algorithms, dynamic thresholding, and metaheuristics. Publication Trends: Recent articles focus on feedback set problems, traveling salesman variants, gene-gene interactions, and scheduling. These align with his expertise in optimization, graph theory, and computational biology applications. Scientific Awards: Senior Fellow, Institut Universitaire de France Labs & Teams: Affiliated with the LERIA Laboratory at Université d'Angers and the SFR MathSTIC research federation.
Farhad Arbab is a researcher at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands, affiliated with the Computer Security department. His work focuses on formal methods for modeling and analyzing cyber-physical systems (CPS) and coordination models. Current affiliation: Researcher at CWI's Computer Security department Research areas: Cyber-Physical Systems, Formal Methods, Workflow Modeling, Constraint Automata Arbab's research develops component-based semantic models for CPS using constraint automata and the Reo coordination language. His framework enables: Algebraic composition of cyber-physical components Formal modeling of priority constraints in workflows Runtime composition with lazy expansion techniques Verification via Maude rewriting logic system Recent publications analyze: Parallel composition of constraint automata (2025) Concurrency in rule-based machines (2025) Runtime composition techniques (2023) Formal frameworks for distributed CPS (2022) Awards & Projects: FACS Best Paper Award (2015) Bronzen Achievement Award (2009) EU/NWO-funded initiatives: COMPAS (2008), WoMaLaPaDiA (2007), CREDO (2006)
Prof. Jan Dirk Jansen (Delft University of Technology) specializes in systems and control theory applied to subsurface flow and geomechanics. His research spans induced seismicity , geothermal energy , reservoir simulation , and data assimilation . Current projects include co-leading the NWO-funded NEPTUNUS initiative on transient induced seismicity and previously researching seismicity mitigation in Dutch gas fields through the Science4Steer program. Expertise in numerical reservoir simulation History matching & model-order reduction Optimization of fluid injection/production He authored the textbook Nodal Analysis of Oil and Gas Production Systems , with significant contributions to closed-form geomechanical solutions and scalable numerical schemes . Contact: J.D.Jansen@tudelft.nl
Jan Martijn van der Werf serves as Associate Professor in Process Science at Utrecht University's Faculty of Science, Department of Information and Computer Science. Since September 2022, he has held the position of Programme Director for the Bachelor Information Sciences, overseeing curriculum development and academic operations for both Business Informatics and Information Sciences programs. Education: Dual PhD in Computer Science from Eindhoven University of Technology and Humboldt Universität zu Berlin (Thesis: 'Compositional Design and Verification of Component-based Information Systems') Research Focus: Van der Werf's work centers on process mining and behavioral modeling in software architectures, with emphasis on the interplay between data and processes. His expertise spans Conceptual Modelling of Information Systems , Enterprise Architecture , and Service-Oriented Architecture , addressing challenges in process discovery, verification, and practical implementation within complex organizational contexts. Current research explores the human dimensions of process mining adoption and AI-driven event log extraction. Publication Trends: Recent work (2023-2024) reveals increasing focus on methodological rigor in process discovery, human factors in process mining initiatives, and formal verification techniques for Petri nets. His publications bridge theoretical foundations with practical applications, particularly in event log extraction using large language models and visualization of complex process chronologies from heterogeneous data sources. Academic Contributions: Van der Werf teaches core courses in Process Modelling and Software Architecture , actively participates in academic workshops (including the 2020 'Information System Modeling' workshop), and supervises graduate research. His Scopus profile indicates 77 research outputs and supervision of 3 students, reflecting sustained scholarly engagement in process science and information systems.
Kubilay Atasu is an Associate Professor at Delft University of Technology, affiliated with the School of Electrical Engineering, Mathematics and Computer Science and the Data-Intensive Systems department. His research focuses on core areas of computer science and electrical engineering, particularly in data systems and high-performance computing.
Aleida Braaksma is a Lecturer at the University of Twente, affiliated with the TechMed Centre and Mathematics of Operations Research department. Her work bridges Artificial Intelligence with Health and Well-being , focusing on optimizing healthcare systems through Operations Research methodologies. Key Affiliations: Digital Society Institute, TechMed Centre, Mathematics of Operations Research department Research Themes: Reinforcement Learning, Data Mining, Process Mining, and Queueing Theory applications in healthcare logistics Her recent publications highlight advancements in medical diagnostic scheduling , bed allocation , and adaptive clinical trial designs . She has pioneered dynamic robust optimization frameworks for time-sensitive pharmaceutical workflows and developed sampling-based methods for Gittins index approximation in stochastic environments. Scientific contributions include: Optimization of rheumatology outpatient clinics via patient classification algorithms Response-adaptive procedures in clinical trials using constrained Markov decision processes Real-time forecasting systems for pandemic-related hospital capacity planning Computerized decision support for nurse-to-patient assignment
Dr. Saber Darmoul is an Associate Professor specializing in Systems Engineering and Multidisciplinary Design. His research bridges artificial intelligence with industrial applications, focusing on cyber-physical production systems, operational resilience, and smart transportation. He actively explores knowledge representation, reinforcement learning, and agent-based modeling to address complex system challenges. Key Research Interests: Operational resilience, AI in manufacturing, multi-agent systems, smart mobility Technical Expertise: Ontology modeling, simulation platforms, immune-inspired control architectures His recent publications (2025-2019) demonstrate a consistent focus on integrating artificial immune systems into control architectures for transportation and manufacturing. Notable trends include: Development of knowledge-based systems for dynamic reconfiguration Application of multi-criteria decision frameworks in production environments Advancing predictive maintenance strategies through distributed systems Exploring 6G system-of-systems engineering While no explicit awards or student advisement information appears in available records, his 15 most recent publications reflect sustained academic productivity and evolving focus from foundational control systems (2017-2019) to advanced applications in Industry 4.0 (2020-2025).
Prof. Dr. Ir. Dannis Brouwer is a professor at the Faculty of Engineering Technology, University of Twente, leading the Precision Engineering group. His work focuses on flexure mechanisms with applications in ultra-precision machinery, robotics, orthoses, and flexible implants. He lectures Design Principles for Precision Mechanisms in Mechanical Engineering programs and has pioneered advancements in large-motion flexure joints. Education: MSc in Mechanical Engineering and Mechatronic Design (Eindhoven University of Technology, 1998-2001); PhD (University of Twente, 2007) Past Roles: Mechatronics System Designer at Philips (2001-2004); Senior Applied Research Engineer at Demcon (2007-2009) Brouwer’s research addresses the limitations of traditional bearings by optimizing flexure joints for high load capacity, large motion, and stiffness. His group developed topology synthesis methods and leverages additive manufacturing to enable geometric complexity at low cost. Applications span space mechanisms, cryogenic systems, and medical devices. His 15 most recent publications focus on flexure modeling, optimization, and applications in robotics and precision engineering. Key subfields include torsion reinforcement, underactuated grippers, and superelement formulations. Scientific Leadership: Associate Editor of Precision Engineering; Director-at-Large, American Society for Precision Engineering (2015-2017) Grants: 14 projects (total 5.5M€), supervising 11 PhD students, 7 PostDocs, and 2 EngD candidates Brouwer integrates education with industry through intensive Master’s courses and lectures at industrial academies. His work bridges theoretical advancements with practical implementations in mechatronic systems.
Dr. Gang Mei is an Associate Professor in Scientific Computing within the School of Engineering and Technology at China University of Geosciences (Beijing), where he has held academic positions since 2014. His career progression includes Postdoctoral Researcher (2014-2016), Lecturer (Oct-Dec 2016), and current Associate Professor (since Jan 2017). His research bridges computational science and engineering applications with significant editorial contributions to computer science literature. Education: Ph.D. in Computer Science, University of Freiburg, Germany (2014) Research Interests: Dr. Mei specializes in Numerical Simulation and Computational Modeling, GPU Computing, Machine Learning, and Data Mining, with strong applications in Network Science and Spatial Information Systems. His work integrates Distributed and Parallel Computing techniques for large-scale scientific simulations, particularly in geospatial modeling and network analysis. The research demonstrates consistent focus on computational efficiency through hardware acceleration and algorithmic optimization across diverse domains including satellite imagery processing, financial event detection, and medical image classification. Publication Trends: His editorial portfolio reveals strong interdisciplinary patterns connecting computer science fundamentals with domain-specific applications. Recent works emphasize GPU-accelerated methods for data-intensive problems (2020-2022), spatial-temporal modeling (2019-2020), and network science applications (2021). The publications consistently address computational scalability challenges while maintaining practical relevance across geospatial, financial, medical, and engineering contexts. Professional Recognition: As an IEEE Member, Dr. Mei serves on editorial boards for IEEE Access and PeerJ Computer Science, reflecting peer recognition in computational fields. His editorial contributions span 15+ publications demonstrating expertise in evaluating cutting-edge computer science research. Academic Service: Beyond editorial work, Dr. Mei's service includes advising on computational methodology across multiple disciplines. His role as Academic Editor demonstrates commitment to scholarly communication, particularly in bridging theoretical computer science with practical engineering applications. No grant funding details were specified in available materials.
