Find Academic Supervisors

Serge FehrView profile

Professor

• Cryptology
• Post-Quantum Cryptography
• Information-Theoretic Cryptography
• +5 more

Serge Fehr is a Senior Researcher in the Cryptology Group at CWI (Centrum Wiskunde & Informatica) in Amsterdam and a part-time Professor at the Mathematical Institute of Leiden University. His research focuses on foundational aspects of cryptology, including post-quantum cryptography, information-theoretic security, zero-knowledge proofs, and secure multiparty computation. He participates in AMSec (Amsterdam Cyber Security Center) and leads work packages in the NWO-funded HAPKIDO consortium. Education: M.Sc. in Mathematics from ETH Zürich (1998) Ph.D. in Cryptography from ETH Zürich and University of Aarhus (2003) Postdoc at Macquarie University (2003-2004) Research Interests: Post-quantum cryptographic primitives (e.g., digital signatures, lattice-based schemes) Quantum-resistant protocols (e.g., non-resignable signatures, Fiat-Shamir transforms) Foundational security proofs in the quantum random oracle model (QROM) Secure multiparty computation and privacy-preserving healthcare systems Key Activities: Editorial Board Member: Journal of Cryptology , IEEE Transactions on Information Theory Program Committee Co-Chair: EUROCRYPT 2025 Steering Committee Member: Beyond IID Information Theory, QCrypt Co-organizer: Symposium Series on Post-Quantum Cryptography Grants/Awards: NWO Cybersecurity consortium grant (HAPKIDO - 2021) NWO Veni Grant (2005) NWO Open & Free Competition Grants (2008, 2013) Students/Advising: Supervised or served on committees for over 15 Ph.D. students, including work on post-quantum signatures, MPC applications, and lattice-based cryptography. Labs/Teams: Active in CWI’s Cryptology Group and Leiden’s Mathematical Institute, collaborating with industry partners (e.g., KPN, Microsoft) in cybersecurity initiatives.

Farhad MerchantView profile

Assistant Professor

• Hardware Security
• Neuromorphic Computing
• Algorithm-Architecture Co-design
• +3 more

Dr. Farhad Merchant is an Assistant Professor of Innovative Computer Architecture at the Bernoulli Institute, University of Groningen, since July 2024. Previously, he served as a Lecturer (Assistant Professor) at Newcastle University (2022–2024) and held research roles at Bosch Research, NTU, and RWTH Aachen University. His research focuses on emerging technology-based computing and hardware-oriented security, including neuromorphic architectures, in-memory computing, and secure hardware design. Education: PhD in Electronics Engineering from the Indian Institute of Science, Bangalore, with a DAAD-funded visit to RWTH Aachen University. He also holds industry experience from Bosch Research. Research Interests : - Hardware Security - Neuromorphic Computing - Algorithm-Architecture Co-design - Reconfigurable Computing - Computer Arithmetic Projects : - Coordinator for the REACT project (2025–2029): Focuses on self-aware neuromorphic architectures. - Principal Investigator for Privacy-Preserving Computer Architectures (CogniGron, 2025–2029). - Completed BioNanoLock project (DFG-funded, focusing on bio-nanoelectronic security). Awards : - Best Paper Awards at ISQED 2022, NEWCAS 2023, and VLSI-DAT 2024. - Minerva Fellowship (Technion, Israel), HiPEAC Technology Transfer Award (2019). He co-founded the SeHAS workshop (since 2019) and serves on editorial and program committees for major conferences like DAC, ISLPED, and VLSI-SoC.

• Robotics
• Control Systems
• Multi-Agent Systems
• +6 more

Herman Bruyninckx is a Part-Time Full Professor at Eindhoven University of Technology (TU/e) in the Mechanical Engineering department, specifically within the Control Systems Technology group and EAISI High Tech Systems initiative. He also serves as a professor (Hoogleraar) at KU Leuven in Belgium. Academic focus on robotics, control systems, and multi-agent coordination Active research in model predictive control , semantic mapping , and dynamic constraint algorithms Recent publications address industrial automation , agro-food robotics , and haptic technology Research Highlights : Developed hybrid decision-making frameworks for multi-agent navigation Innovated swing-free control methods for robotic pick-and-place operations Formulated constrained dynamics algorithms with LQR-Gauss principle integration Created ExoTen-Glove for haptic feedback in virtual environments Collaborative Projects : Coordinated with researchers like René van de Molengraft , Elena Torta , and Koen de Vos Contributed to NWO/TTW FlexCRAFT project for cognitive robotics in agro-food technology

Marcus GerholdView profile

Assistant Professor

• Model-Based Testing
• Software Reliability
• Critical Infrastructures
• +7 more

Marcus Gerhold is an Assistant Professor in the Formal Methods and Tools group at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science. His research focuses on model-based testing for software reliability in critical infrastructures, particularly railway systems, alongside significant contributions to game design and programming language analysis. His educational background includes: PhD in Computer Science from University of Twente (2018): Choice and Chance: Model-based Testing of Stochastic Behaviour MSc in Mathematics from Friedrich Schiller Universität Jena (2013): Embeddings of Weighted Morrey Spaces BSc in Mathematics from Friedrich Schiller Universität Jena (2011): Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces Gerhold's research integrates theoretical model-based testing with practical critical infrastructure applications . His work on railway conformance testing addresses EULYNX controller validation, while his game design research explores affective mirroring in NPCs and procedural dungeon generation. The code modernity analysis stream leverages static analysis to quantify legacy code evolution across languages like Python and PHP, revealing version identification challenges through deep learning. Publication trends show consistent focus on model-based testing methodologies (40%), railway safety applications (25%), and innovative game design/code analysis (35%). Recent work increasingly incorporates AI/ML techniques for UML assessment and Python version identification, while maintaining rigorous formal methods foundations. He actively mentors 63 students across all academic levels and contributes to major research initiatives: STORM_SAFE (ERDF, 2024): Daily Supervisor for WP1/WP2 on software reliability for critical infrastructures ZORRO (KIC grant, 2023): Daily Supervisor for WP4 on zero downtime in cyber-physical systems MISSION (MSCA RISE, 2021-2025): Interim coordinator (early 2024) for space systems modeling As part of the Formal Methods and Tools research group, Gerhold participates in European collaborations while serving on SAC-SVT 2024 and FormaliSE 2023 program committees.

• Mycotoxins
• Metabolomics
• Food Safety
• +4 more

Laura Righetti serves as Assistant Professor in Organic Chemistry at Wageningen University & Research and is a core member of the Team Natural Toxins. Her work bridges analytical chemistry and food safety research with institutional collaborations across European universities including University of Parma and University of Almería. Her research program centers on natural toxins in food systems, particularly mycotoxins like deoxynivalenol (vomitoxin) produced by Fusarium species. She employs advanced metabolomics and tandem mass spectrometry techniques to analyze contaminants in grains, plant-based foods, and dietary supplements. Key focus areas include food authenticity verification, chemical characterization of wild edible plants, and developing sustainable analytical methods for toxin detection. Recent publications demonstrate a clear trajectory toward integrating eco-metabolomics with portable mass spectrometry for on-site food safety testing. Her work increasingly addresses emerging challenges in botanical supplement standardization and antibacterial properties of plant compounds, reflecting growing interdisciplinary connections between food chemistry, toxicology, and microbiology. Dr. Righetti actively mentors doctoral researchers through three ongoing PhD projects: development of portable biotoxin detection systems, toxicological assessment of bee pollen supplements, and identification of novel plant toxins. She also leads the LVVN-funded Pull Down Approach project focused on selective sampling methodologies. As part of Wageningen's Laboratory of Organic Chemistry, she contributes to the Team Natural Toxins research collective which maintains active collaborations across food safety networks in Europe. Current work includes metagenomic analysis of perennial grain rhizospheres and metabolomic profiling of medicinal plants like Melissa officinalis .

Daniel FruminView profile

Assistant Professor

• Logic
• Type Theory
• Program Verification
• +5 more

Daniel Frumin is an Assistant Professor in the Department of Fundamental Computing Science at the University of Groningen, affiliated with the Bernoulli Institute. His research focuses on Logic, Type Theory, and Program Verification, with a particular emphasis on formal methods for concurrency, type systems, and homotopy type theory. He has contributed to foundational work in denotational semantics, modular programming language design, and mechanized verification of concurrent systems. His expertise includes the application of logical frameworks to concurrency models, such as ReLoC (Relational Logic for Concurrent Programming) and the integration of type theories with operational semantics. Recent work explores guarded interaction trees, interval domains in homotopy type theory, and compositional security properties for fine-grained systems. Frumin has published extensively in top-tier venues like ESOP, CONCUR, and ACM POPL, with peer-reviewed contributions on topics ranging from bunched implications in session-based concurrency to formal verification of data structures like concurrent queues. His research often bridges theoretical computer science and practical formal verification, leveraging tools like Coq for mechanized proofs. Collaborations include projects with institutions such as Aarhus University (Denmark) and the University of Bologna, focusing on univalent foundations, categorical semantics, and security verification. His work is supported by grants from the Dutch Research Council (NWO) and industry partnerships like Meta's Folly Library verification efforts. Labs/Teams: Active contributor to the Bernoulli Institute's Formal Methods Group and the Univalent Foundations initiative. His research group specializes in applying type-theoretic and categorical methods to concurrency and verification challenges.

Sezer KaraogluView profile

Lecturer

• Artificial Intelligence
• 3D Computer Vision
• SLAM
• +10 more

Sezer Karaoglu is a Lecturer and part-time postdoctoral researcher at the Computer Vision Group, Informatics Institute, University of Amsterdam. He is also the CTO and Co-Founder of 3DUniversum, a technology spin-off of the University of Amsterdam that provides state-of-the-art 2D/3D computer vision solutions. Additionally, he has co-founded other startups including Scanm and 3DHealthScan. Dr. Karaoglu received his PhD from the Computer Vision Group, Informatics Institute, University of Amsterdam, with research funded by the COMMIT project. His educational background includes a double master's degree: an optics, image and vision master's degree from University Jean Monnet in France and a media technology master's degree from Gjovik University College in Norway. He completed his undergraduate studies with honors at Istanbul Technical University in Telecommunication Engineering. His research focuses on Artificial Intelligence and 3D Computer Vision, with specific interests in SLAM, re-localization, 3D reconstruction, 3D object detection and segmentation, synthetic media, generative AI, deep fake creation and detection, and VR/AR technologies. His work has significant applications in healthcare, particularly in using deepfake technology for therapy for victims of sexual violence-related PTSD and moral injury, as documented in a Frontiers in Psychiatry article. Analyzing his recent publications reveals a strong trend toward neural scene reconstruction, intrinsic image decomposition, and the application of diffusion models to computer vision problems. His research increasingly integrates 3D scene understanding with language models, as evidenced by his work on language-to-3D scene generation. The applications span from healthcare (deeptherapy.ai) to media authenticity (deepfake detection) and industrial applications. ICT.OPEN Poster Award (3rd Position), Oct'13 Pascal VOC'12 Classification challenge, 2nd Position, Sep'12 Pascal VOC'12 Detection challenge, 3rd Position, Sep'12 Best project award at Nokia and CIMET project competition Outstanding reviewer at CVPR'21 PROVADA Future Startup Battle winner Best Dutch AI startup by Valuer Dr. Karaoglu has supervised numerous PhD, Master's, and Bachelor's students, demonstrating his commitment to academic mentorship. His research has attracted significant media attention, with features on Dutch national TV programs including NPO, VPRO, RTL, and international outlets like BBC News. He has received research funding through the COMMIT project during his PhD studies and has successfully translated his research into commercial applications through his startups. His work on deepfake technology has been applied in innovative therapeutic contexts through DeepTherapy.ai, showing the real-world impact of his research. Dr. Karaoglu leads research efforts at the Computer Vision Group Amsterdam and through his company 3DUniversum, which has developed applications like weScan, DeepTherapy, and FairFake.ai. His team collaborates with various institutions including the Netherlands Film Academy for grief therapy applications using deepfake technology. The DeepTherapy project represents a particularly impactful application of his work, using deepfake technology to help victims of sexual violence confront perpetrators in therapeutic settings.

Rudi A. PendavinghView profile

Assistant Professor

• Combinatorics
• Matroid Theory
• Graph Theory
• +3 more

Rudi A. Pendavingh is an Assistant Professor at Eindhoven University of Technology's Mathematics and Computer Science department, specializing in Combinatorial Optimization. He earned his PhD at the University of Amsterdam in topological graph theory and has since contributed to diverse areas of combinatorics and geometry, with recent focus on matroid theory. His teaching spans mathematical programming topics including linear, integer, and semidefinite optimization. Education: PhD in Topological Graph Theory (University of Amsterdam) His research integrates combinatorial structures with geometric and algebraic methods, particularly in matroid theory, graph embeddings, and tropical geometry. Key publication themes include optimization algorithms, excluded matroid minors, and geometric invariants. Collaborations extend to institutions in mathematics and applied sciences, with notable academic output (67 research items) and external partnerships. Recent research outputs (2022-2025) highlight his work on the Colin de Verdière parameter, Dressian bounds, and tropical amoebas. While no explicit awards are mentioned in the provided text, his contributions to combinatorial optimization and network collaborations underscore his academic impact. He has supervised 29 students and contributed to 7 courses, including Discrete Optimization Modeling and Mathematics II.

Lada Hensen CentnerováView profile

Assistant Professor

• Indoor Environmental Quality (IEQ)
• Thermal Comfort
• Indoor Air Quality
• +3 more

Lada Hensen Centnerová is an Assistant Professor in the Building Physics and Services unit at Eindhoven University of Technology (TU/e). She serves as Operational Director of the PDEng program Smart Buildings & Cities and leads the Dutch chapter of ISIAQ. Her research focuses on indoor environmental quality (IEQ), particularly thermal comfort and air quality, emphasizing their impact on occupant health and wellbeing. Education: Civil Engineering (Building Services Systems) at Slovak University of Technology Academic Career: PhD from Czech Technical University in Prague (2001), Assistant Professor at TU/e since 2018 Her work investigates how adaptive thermal comfort models affect energy consumption in temperate climates and develops Program of Requirements (PoRs) for healthy dwellings. Recent publications address IEQ classification systems, verification protocols, and occupant behavior impacts in residential buildings. Current projects include the Healthy Dwellings PoR launched in 2022, building on prior frameworks for offices and schools. She collaborates with TNO, BBA Binnenmilieu, and REHVA, exploring user-driven IEQ optimization in smart cities.

Tyler NagelView profile

Lecturer

• Journalism
• Local Media Studies
• News Media Literacy
• +5 more

Tyler Nagel serves as a full-time instructor in the Journalism Program at the Southern Alberta Institute of Technology (SAIT) in Calgary, Alberta, and as an associate faculty member at Royal Roads University in Victoria, British Columbia. Currently pursuing a PhD in Media Studies at the University of Groningen in the Netherlands under the supervision of Prof. Dr. Marcel Broersma and Dr. Scott Eldridge II, his academic career bridges practical journalism experience with scholarly research. His educational background includes a Master of Business Administration from Royal Roads University (2012) and a Bachelor of Commerce from Athabasca University (2010). Nagel's professional journey began in community newspapers across Alberta and the Northwest Territories, providing him with firsthand experience of local media ecosystems before transitioning to academia. Nagel's research centers on the crisis in Canadian local news media, particularly examining the phenomenon of 'news deserts' where communities have lost all local news coverage. His doctoral work investigates how the closure of over 300 local news outlets since 2008 has affected Canadian communities, with special attention to remote regions disproportionately impacted by these losses. His scholarship spans media literacy, fake news detection, Arctic journalism, and the digital transition of community newspapers. Analysis of his publications reveals a consistent focus on Canadian media ecology, with particular emphasis on rural and remote communities. His work bridges theoretical media studies with practical journalism concerns, often incorporating mixed-methods approaches that examine producer, content, and audience perspectives within shrinking local media ecosystems. SSHRC Doctoral Fellowship (2022) Top Student Paper Award - Journalism Studies Division (2023) Nagel actively contributes to academic discourse through invited presentations at conferences including topics on Alberta local journalism, rural information relationships, and the impact of news shutdowns in Canadian communities. His research has been featured in multiple media outlets, demonstrating its relevance to contemporary media challenges. At SAIT, he teaches online journalism and professional communications with a focus on transitioning traditional journalism skills into digital contexts while maintaining journalistic ethics and standards.

Roel BlooView profile

Lecturer

• Computer Science
• Theoretical Computer Science
• Formal Methods
• +2 more

Roel Bloo is a University Lecturer in the Department of Mathematics and Computer Science at Eindhoven University of Technology. His research group focuses on Algorithms and Logics for Verification. His research spans theoretical computer science with emphasis on: Formal methods and verification techniques Lambda calculus and type systems Computational logic and term rewriting Explicit substitution models Publications (2001-2012) demonstrate consistent specialization in foundational aspects of computer science, particularly formal semantics of programming languages, type theory implementations, and equivalence proofs in computational systems. Teaching responsibilities include courses in Discrete Mathematics, Logic and Set Theory, and Automata Theory.

Mehdi DastaniView profile

Professor

• Artificial Intelligence
• Multi-Agent Systems
• Formal Methods in AI
• +5 more

Prof. Mehdi Dastani is a Professor and chair of the Intelligent Systems group within the Department of Information and Computing Sciences at Utrecht University's Faculty of Science. He leads the Master's program in Artificial Intelligence and focuses on formal and computational models in AI, particularly multi-agent systems. His research integrates insights from philosophy, psychology, and law to develop autonomous agents that reason about social and cognitive concepts like norms, emotions, and responsibility. Dastani has held academic roles at Utrecht University since 2001, including postdoctoral research and faculty positions. Education: M.Sc. Computer Science (University of Amsterdam, 1991), M.Sc. Philosophy (University of Amsterdam, 1992), Ph.D. in Humanities (University of Amsterdam, 1998). His work spans theoretical and applied projects, including grants for initiatives like Golden Agents (simulating Golden Age creative industries) and traffic control systems using virtual organizations. He is actively involved in academic committees, editorial boards, and organizing international conferences like AAMAS and PRIMA. Research Interests: Multi-Agent Programming, Normative Systems, Autonomous Agents, Cognitive Robotics, and Human-Centered AI. His projects address challenges like norm enforcement, decision-making in complex systems, and ethical AI integration with societal needs. Advising & Grants: Supervised numerous PhD students (e.g., Birna van Riemsdijk, Bas Testerink) and secured grants for projects such as 'Controllable AI: Human-Centered Approach'. His work includes collaborations on urban governance, autonomous driving, and AI tools for literacy support in children. Labs & Teams: Leads the Intelligent Systems group, contributing to agent-based simulations, ethical AI frameworks, and interdisciplinary collaborations with social scientists and urban planners.

Sabine OechsnerView profile

Assistant Professor

• Secure Multiparty Computation
• Cryptography
• Cryptographic Protocols
• +3 more

Sabine Oechsner is an Assistant Professor at the Faculty of Science , Computer Science Department of Vrije Universiteit Amsterdam, and a member of the Network Institute . Her research focuses on cryptographic protocols, secure multiparty computation (MPC), and formal verification of cryptographic systems. She specializes in designing secure computation frameworks with practical implementations against malicious adversaries. Her work emphasizes adaptive security , garbling schemes , and zero-knowledge proofs , with applications in privacy-preserving technologies and secure communication. Collaborations span global institutions, addressing challenges in cryptographic protocol efficiency and real-world security mitigations. She teaches Secure Programming (2024–2025) and has published 12 peer-reviewed articles since 2018, including foundational work on SPDZ implementations and time-lock puzzles . Her research bridges theoretical cryptography with practical, deployable solutions.

• Educational Technology
• Programming Tutoring Systems
• Game-Based Learning
• +1 more

Johan Jeuring is Professor of Software Technology for Learning and Teaching at Utrecht University's Department of Information and Computing Sciences. His research focuses on intelligent tutoring systems, computational thinking education, and game-based learning environments. Research Interests: Prof. Jeuring's work explores computational thinking pedagogy, automated feedback systems, and educational game design. His research bridges artificial intelligence with educational psychology to develop effective learning tools. Publications: Recent publications focus on augmented reality learning environments, programming education methodologies, automated assessment systems, and AI applications in education. His work combines empirical studies of learning behaviors with technological innovations in educational tools.

• Formal Methods
• Software Engineering
• Model-Based Testing
• +3 more

Petra van den Bos is an Assistant Professor at the University of Twente, affiliated with both the Digital Society Institute and the Formal Methods and Tools department. Her research focuses on advancing software engineering through formal methods, model-based testing, and automated testing techniques. She has contributed to integrating Behavior-Driven Development (BDD) with model-based approaches, as well as developing tools like VeyMont for choreography-based concurrent programming. Her work emphasizes practical applications in video game development, web testing, and user story-driven methodologies. Notably, she received the FORTE 2023 Best artefact award for outstanding contributions to formal techniques. Petra collaborates on datasets archived on Zenodo, showcasing reproducible research in testing frameworks and formal verification. Research Interests: Formal Methods, Model-Based Testing, Automated Testing, Concurrent Programming, and Software Verification. Awards: FORTE 2023 Best artefact (2022). Advising & Grants: No formal advisees listed; contributions focus on collaborative research projects and open-source tool development. Labs/Teams: Active in the Formal Methods and Tools research group, advancing software reliability through interdisciplinary approaches.