Joost-Pieter Katoen is a Full Professor at the Digital Society Institute and Formal Methods and Tools department. His research focuses on formal methods, probabilistic systems, and model checking, with applications in automated verification and Markov models. He has been actively involved in international conferences like FM 2023 and has collaborated globally on safety-critical systems analysis. Research Interests: Katoen’s work bridges theoretical foundations with practical tools, including parameter synthesis in probabilistic systems, fault tree analysis, and Bayesian network optimization. His contributions span algorithm design for model checking and probabilistic program verification. Awards: Received the Beste paper award in 2018 for contributions to uncertainty management in probabilistic programming. Advising & Grants: Supervised 10 academic works and contributed datasets for tools like Prophesy and SAFEST. Active in organizing events such as the 2017 Symposium on Model-Ed, Test-Ed, and Trust-Ed.
Marcello Bonsangue is a full Professor of Systems Modelling and Analysis at the Leiden Institute of Advanced Computer Science (LIACS), Leiden University. He holds additional roles as Scientific Director of LIACS, coordinator for international students, and member of the LIACS management team and Scientific Council. His research focuses on formal methods, coalgebra, automata theory, and program semantics. He has led numerous EU-funded projects including ECoPro (2014-2018) and CoRE (2010-2015). Education: BSc from University of Milano, PhD from Free University of Amsterdam (1996). Memberships include IFIP WG 1.3, IEEE Benelux Embedded Systems Chapter, and editorial roles for journals like Frontiers in ICT and Open Computer Science. He advises multiple PhD candidates and collaborates with institutions like CWI Amsterdam and East China Normal University.
Dmitry Shkatov is an Associate Professor at the University of the Witwatersrand, Johannesburg, affiliated with the School of Computer Science and Applied Mathematics. His research primarily explores the intersection of logic, computation, and multi-agent systems, with a focus on algorithmic properties and theoretical foundations. Research Interests: First-order modal and superintuitionistic logics, particularly their decidability, complexity, and semantic frameworks. Algorithmic analysis of logics and algebraic structures, including residuated ordered groupoids and Kripke frames. Applications in multi-agent systems, temporal reasoning, and computational linguistics. His recent publications (2022–2024) demonstrate a consistent focus on computational complexity, completeness theorems, and finite-variable fragments in modal and superintuitionistic logics. Key trends include undecidability proofs, axiomatization studies, and extensions of classical systems like Solovay's system S. This work bridges theoretical computer science and mathematical logic, emphasizing decidability boundaries and efficient model checking.
Dr. Malvin Gattinger is a researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, specializing in Theoretical Computer Science. His work focuses on applying formal logic to computational problems, with particular emphasis on dynamic epistemic logic and model checking techniques. He maintains an active research profile with numerous publications in leading venues, including recent work extending into 2025. Dr. Gattinger's research centers on the intersection of logic and computer science, particularly exploring how knowledge and information propagate in multi-agent systems. His work on gossip protocols has significantly advanced our understanding of information dissemination in distributed systems, while his contributions to symbolic model checking have made complex epistemic logic verification more computationally feasible. His research demonstrates both theoretical depth and practical application potential, especially in areas requiring formal verification of knowledge-based systems. Analysis of Dr. Gattinger's publication history reveals a consistent focus on epistemic logic and its computational applications. His work shows a clear trajectory from foundational theoretical work to increasingly sophisticated implementation techniques, with a notable emphasis on symbolic methods using Binary Decision Diagrams and Zero-suppressed Decision Diagrams. The recent inclusion of topics like topological evidence models and perspective shifts indicates expanding research horizons while maintaining core methodological approaches. His publications appear primarily in specialized logic and theoretical computer science venues, reflecting deep expertise in these domains. While no specific scientific awards are listed in the available information, Dr. Gattinger's research has clearly made significant contributions to the field of dynamic epistemic logic. His work on model checking implementation (SMCDEL) and GoMoChe represents practical tools that have likely advanced research capabilities in the community. The inclusion of Logic4Peace demonstrates engagement with broader social applications of logical methods. Dr. Gattinger appears to be actively involved in research supervision and collaboration within the ILLC environment. His work often involves computational implementations, suggesting involvement with research groups focused on logic-based computation. The consistent publication record spanning over a decade indicates sustained research productivity and likely involvement in multiple research projects and collaborations within the Theoretical Computer Science group at ILLC. Based on his research focus and publications, Dr. Gattinger is likely associated with research groups or labs working on formal methods, multi-agent systems, and logic-based computation at the University of Amsterdam. His work on SMCDEL and GoMoChe suggests involvement with teams developing computational tools for epistemic logic verification.
Dr. Mina Young Pedersen is a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where she is affiliated with the Epistemology & Philosophy of Science research group and the Research Priority Area in Human(e) AI. She joined the university in April 2025 after completing her PhD in Information Science at the University of Bergen, for which she won the prestigious Norwegian Artificial Intelligence Society Dissertation Award in 2024. Her academic journey includes: PhD in Information Science, University of Bergen (2019-2024) MSc in Logic, Institute for Logic, Language and Computation, University of Amsterdam (2017-2019) BA in Philosophy, University of Oslo (2015-2017) BSc in Mathematics, Norwegian University of Science and Technology (2012-2016) Dr. Pedersen's research sits at the intersection of mathematical logic, philosophy, and artificial intelligence. Her work focuses on applying modal and temporal logic frameworks to analyze social networks, with particular attention to how agents (including potentially malicious ones) behave within these networks. She has made significant contributions to understanding visibility in social networks, bot detection, group polarization, and echo chambers. Her publication record demonstrates consistent output in top-tier venues, with work appearing in journals such as Mathematical Structures in Computer Science , Synthese , and Journal of Logic and Computation . Her research combines theoretical rigor with practical applications to contemporary challenges in social media and AI systems. Dr. Pedersen has received multiple research grants including two consecutive Meltzer Project Grants. Her recognition includes: Norwegian Artificial Intelligence Society Dissertation Award (2024) Induction into the Logicians Liberation League as 'Magister of Malicious Networks' (2024) Multiple travel and research grants supporting international collaboration She actively contributes to the academic community through journal reviewing, conference organization, and service on program committees. As a postdoc at ILLC, Dr. Pedersen continues to develop her research program at the intersection of logic, social networks, and AI ethics, with implications for understanding and addressing challenges related to misinformation and ethical AI development.
National Research Institute for Mathematics and Computer ScienceNetherlands
Dr. Marten van Dijk is a Full Professor in the Computer Security department at Vrije Universiteit Amsterdam (VU) since 2022 and a Group Leader for Computer Security at CWI since 2020. He also holds a Gratis Full Research Professor position at the University of Connecticut's ECE Department since 2020. Previously, he served as Associate and Full Professor at the University of Connecticut and held research roles at MIT CSAIL, RSA Laboratories, and Philips Research. PhD in Mathematics (1997, Eindhoven University of Technology) M.S. in Mathematics (Cum Laude, 1993) M.S. in Computer Science (Cum Laude, 1991) His research focuses on foundational computer security problems using cryptographic principles, including secure processor design, oblivious computation, and privacy-preserving machine learning. Notable contributions span Physical Unclonable Functions (PUFs), Aegis secure processor architecture, and oblivious RAM protocols. 15+ publications in 2023-2025 address topics like PUF cryptanalysis, differential privacy in federated learning, and Byzantine fault tolerance Key journals: IEEE Transactions on Computers, Journal of Cryptology, ACM CCS Conference Award highlights include: IEEE Fellow (2022) for secure processor design and encrypted computation IEEE Technical Achievement Award (2023) Intel Test of Time Award (2022) ACM CCS Best Paper (2013) A. Richard Newton Technical Impact Award (2015) His technical leadership spans hardware security (blu-ray error correction codes), cryptographic protocol design, and machine learning privacy frameworks. Current projects focus on secure processors with hardware-enforced isolation and differential privacy optimization.
National Research Institute for Mathematics and Computer ScienceNetherlands
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)
Pradeep Murukannaiah is an Associate Professor in the Interactive Intelligence group at the Faculty of Electrical Engineering, Mathematics, and Computer Science (EEMCS) at Delft University of Technology (TU Delft). He co-directs the Hippo Lab, a Delft AI lab focused on AI for fair, efficient, and interpretable analysis of climate policies. He also holds leadership roles as Use Cases Coordinator and Diversity Co-Chair in the Hybrid Intelligence center, and serves as Master Coordinator for the MSc in Data Science and Artificial Intelligence Technology (DSAIT). Dr. Murukannaiah received his PhD in Computer Science from North Carolina State University in 2016. Prior to joining TU Delft, he served as an Assistant Professor at Rochester Institute of Technology (2017-2019), completed an internship at Google, and worked as a Software Engineer at Alcatel-Lucent. His research centers on engineering socially intelligent agents through three interconnected thrusts: Natural Language Processing (focusing on argument mining, value alignment, and claim analysis), Multi-Agent Systems (exploring negotiation, social choice, and multi-objective reinforcement learning), and Hybrid Intelligence (developing frameworks for human-AI synergy in decision making). Cross-cutting these areas are his investigations into values (representing what matters to stakeholders) and norms (representing expectations between stakeholders), which together form sociotechnical systems where humans interact, make decisions, and stay accountable to each other while AI agents augment human intelligence. His recent publications demonstrate a strong focus on value-sensitive AI systems, with work spanning moral frame preservation in news summarization, multi-objective reinforcement learning for climate policy analysis, and mechanisms for responsible autonomy. His research consistently bridges theoretical advances in AI with practical applications in societal decision making, particularly around climate change and democratic processes. Dr. Murukannaiah has successfully mentored numerous graduate students, including current PhD candidates Zuzanna Osika (working on explainable multi-objective decision support), Shubhalaxmi Mukherjee (focusing on fact checking using LLMs), and several recent PhD graduates whose work has contributed to the fields of opinion diversity through hybrid intelligence and context-specific value inference. As co-director of the Hippo Lab and through his leadership roles in the Hybrid Intelligence center, he actively shapes research directions that emphasize fairness, interpretability, and human-centered AI approaches for addressing complex societal challenges.
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.
Henk Kummeling (born 1961) is a Distinguished University Professor of Comparative Constitutional Law at Utrecht University's Faculty of Law, Economics and Governance, specifically within the Institute of Constitutional, Administrative Law and Legal Theory. He served as Rector Magnificus of Utrecht University from June 1, 2018 to March 27, 2025. Previously, he was Dean of the Faculty of Law, Economics, Governance and Organisation from 2008 to 2014, and President of the Dutch Electoral Council from 2005 to 2017. He also holds an Extraordinary Professor position at the University of the Western Cape since 2013. Professor Kummeling obtained his doctorate from the University of Nijmegen in 1988 with a thesis on consultation in public law in France and the Netherlands. Prior to joining Utrecht University in 1995, he held a professorship at Tilburg University for two years. His research focuses on constitutional connections between universities and society, examining how academic institutions can better serve democratic societies while maintaining their core functions of research and education. His scholarly work spans constitutional law, administrative law, and legal theory, with particular emphasis on democratic governance, electoral systems, transparency in government, and the evolving relationship between academia and society. Kummeling has published extensively on these topics, including influential handbooks on rule of law and electoral law that have been used by universities for decades. His recent work explores the challenges universities face in the digital era, academic freedom in contemporary society, and the role of higher education institutions in open societies. His publication record shows a clear evolution from traditional constitutional law topics toward more interdisciplinary approaches that connect legal scholarship with broader societal challenges. Recent works increasingly address the role of universities in society, academic freedom in contemporary contexts, and international scientific cooperation. His research demonstrates a consistent commitment to bridging theoretical legal scholarship with practical governance challenges. Universities Medal for outstanding service, particularly for promoting Open Science and building bridges between universities worldwide Order of Orange-Nassau (royal honor from King of the Netherlands, April 2014) Honorary doctorate from University of the Western Cape, South Africa (September 2024) Throughout his career, Kummeling has maintained strong connections between academic work and practical governance. He has served on numerous governmental advisory committees, including the Governmental Advisory Committee on Human Rights in the Digital Era, the Committee for the Development of the Council of the Judiciary, and the State Committee on Rule of Law (2023-2024). He has also delivered courses internationally in China, Indonesia, the UK, USA, Suriname, and South Africa. His leadership in educational innovation includes chairing the committee that introduced Utrecht's educational model (2002-2006) and his work on interdisciplinary education. Professor Kummeling is actively involved in international academic organizations, currently serving as a member of the Executive Board of the International Association of Universities (IAU) and Chair of the Steering Board of the Coalition for Advancing Research Assessment (CoARA). His work continues to focus on strengthening the connection between universities and society while preserving academic freedom and excellence.
Jeroen Voeten is a Full Professor in the Electronic Systems group of the Department of Electrical Engineering at Eindhoven University of Technology (TU/e). He also holds a position as a Research Fellow at the Embedded Systems Institute in Eindhoven and is a Senior Scientist and Scientific Advisor to TNO-ESI since 2017. Academic Background: MSc in Mathematics and Computing Science (1991, TU/e) PhD in Electrical Engineering (1997, TU/e) Voeten's research focuses on formal methodologies for hardware/software system specification, design, and implementation. His work spans computer architectures, embedded systems, performance modeling, and cyber-physical systems. He is currently leading the Carm 2G project with ASML to enhance model-based engineering environments for wafer scanner control systems. His recent publications emphasize advancements in global scheduling, fault-tolerant real-time systems, and hybrid performance modeling. These studies address critical areas like latency reduction, schedulability improvements, and data age analysis in multi-rate task chains. Scientific Awards: Best Paper Award, Forum on Specification and Design Languages (FDL 2005) Best Paper Award, Property-Preserving Synthesis for Unified Control and Data-Oriented Models (2005) Voeten has contributed to 87 conference reports, 13 academic reports, 11 book chapters, and 11 journal articles, reflecting his extensive involvement in both academic and industrial research. Labs and Collaborations: He is affiliated with the Model-Based Design Lab and the High Tech Systems Center at TU/e, collaborating with institutions like TNO-ESI and industry leaders such ASML. His work aligns with the UN Sustainable Development Goals (SDGs) through applications in embedded systems and high-tech manufacturing.
Dr. Jesper Tijmstra is an Assistant Professor in the Department of Methodology at the Tilburg School of Social and Behavioral Sciences, Tilburg University. His academic career includes previous positions as a test expert at Cito (2013-2014) and as a junior lecturer at Utrecht University (2011-2013), where he also completed his PhD in psychometrics. Dr. Tijmstra's research focuses on advanced psychometric methods, particularly item response theory, testing theory, and measurement methodology. His work addresses critical issues in educational and psychological measurement including extreme response style, differential item functioning, response time analysis, and measurement invariance. His research bridges theoretical advances with practical applications in adaptive learning systems and survey methodology. Analysis of his recent publications (2023-2025) reveals a strong focus on methodological innovations in psychometrics, particularly in detecting and correcting for response biases. His work frequently employs Bayesian approaches, simulation studies, and applications of IRT models to real-world measurement problems. The publications demonstrate both theoretical depth and practical relevance to educational and psychological assessment. Dr. Tijmstra actively collaborates with a core group of researchers including Martijn Schoenmakers, Jeroen Vermunt, and Maria Bolsinova, with whom he has produced multiple high-impact publications. His work appears in top methodology journals such as Behavior Research Methods, Educational and Psychological Measurement, and Journal of Educational and Behavioral Statistics. His research has practical implications for improving measurement quality in adaptive learning systems, cross-cultural surveys, and psychological assessments where response biases might threaten validity. His work on incorporating response times into ability tracking shows how methodological advances can enhance educational technology applications.
