PhD students

Started in 2021

Gijs van Cuyck

  • Topic: compositional model-based testing for software product lines
  • Supervisor: Jan Tretmans
  • Promotor: Frits Vaandrager
  • Start date: September 1, 2021

Charlotte Lefevre

  • Topic: Cryptographic Hashing with Strengthened resistance (CHASER)
  • Supervisor: Bart Mennink
  • Promotor: Joan Daemen
  • Start date: September 1, 2021

Marvin van Bekkum

  • Topic: Discrimination by and Fairness of Artificial Intelligence in the Insurance sector
  • Supervisor: Frederik Zuiderveen Borgesius
  • Promotors: Frederik Zuiderveen Borgesius, Tom Heskes
  • Start date: September 1, 2021

Dennis Hendriks

  • Topic: Software behavior inference and change impact analysis
  • Supervisors: Frits Vaandrager, Jan Tretmans
  • Promotor: Frits Vaandrager
  • Start date: September 1, 2021

Gijs Schröder

  • Topic: How do T-cell collectives learn?
  • Supervisor: Johannes Textor
  • Promotor: Elena Marchiori
  • Start date: 1 August 2021

Parisa Amiri Eliasi

  • Topic: Evaluation and Implementation of Lightweight Cryptographic Primitives and Protocols
  • Supervisor: Lejla Batina
  • Promotor: Lejla Batina
  • Start date: May 15, 2021
  • Funded by: Technology Innovation Institute (TII)

Norman Knyazev

  • Topic: Counterfactual Learning to Rank for Search and Recommendation
  • Supervisor: Harrie Oosterhuis
  • Promotor: Djoerd Hiemstra
  • Start date: March 1, 2021
  • Funded by: SBT

Yanis Belkheyar

  • Topic: Low latency encryption Scheme
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: February 1, 2021
  • Funded by: Intel

Wieske de Swart

  • Topic: Machine Learning for Identifying Predictive Factors of Cognitive Decline and Treatment Response
  • Supervisors: Elena Marchiori, Jesse Krijthe
  • Promotor: Elena Marchiori
  • Copromotor: Jesse Krijthe
  • Start date: January 1, 2021
  • Funded by: NWO: MOCIA

Ruben Gonzalez

  • Topic: Post-quantum cryptography in embedded systems
  • Supervisors: Karl Jonas, Peter Schwabe
  • Promotor: Peter Schwabe
  • Start date: January 1, 2021
  • Funded by: Cyber Campus NRW, H-BRS

Started in 2020

Solane El Hirch

  • Topic: cryptanalysis of lightweight symmetric cryptography
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: December 1, 2020
  • Funded by: the Technology Innovation Institute TII Cryptography

Thijs Heijligenberg

  • Topic: Mobile network security
  • Supervisor: Katharina Kohls
  • Promotor: Erik Poll
  • Start date: December 1, 2020
  • Funded by: RU

Nik Vaessen

  • Topic: Multi-task Learning in Diverse Speech Tasks
  • Supervisor: David van Leeuwen
  • Promotor: David van Leeuwen
  • Start date: December 1, 2020
  • Funded by: SBT extra middelen

Konstantina Miteloudi

  • Topic: FPGA Security
  • Supervisors: Lejla Batina, Nele Mentens
  • Promotors: Lejla Batina, Nele Mentens
  • Start date: November 1, 2020
  • Funded by: project for the Dutch Ministry

Bobby Subroto

  • Topic: Study of propagation through round functions of algebraic degree 2
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen​
  • Start date: October 1, 2020
  • Funded by: European Commission

Hülya Evkan

  • Topic: Isogeny based crypto on embedded systems
  • Supervisors: Lejla Batina, Benjamin Smith (Research Scientist at Inria Adjunct Professor at École Polytechnique)
  • Promotor: Lejla Batina
  • Start date: October 1, 2020
  • Funded by: External

Christoph Schmidl

  • Topic: Scheduling Adaptive Modular Flexible Manufacturing Systems (SAM-FMS)
  • Supervisor: Nils Jansen
  • Promotor: Frits Vaandrager
  • Start date: October 1, 2020
  • Funded by: NWO

Liye​ Guo

  • Topic: Higher-order term rewriting with logical constraints
  • Supervisor: Cynthia Kop
  • Promotor: Herman Geuvers
  • Start date: October 1, 2020
  • Funded by: NWO Vidi

Franka Buytenhuijs

  • Topic: Artificial Immunological Intelligence
  • Supervisor: Johannes Textor
  • Promotor: Elena Marchiori
  • Start date: October 1, 2020
  • Funded by: NWO vidi

Hamid Bostani

  • Topic: Adversarial Machine Learning and Malware Detection
  • Supervisor: Veelasha Moonsamy
  • Promotor: Erik Poll
  • Start date: October 1, 2020
  • Funded by: Sector plan

Jules Jacobs

  • Topic: Verification and semantics
  • Supervisor: Robbert Krebbers
  • Promotor: Herman Geuvers
  • Start date: September 1, 2020
  • Funded by: RU

Jelle Piepenbrock

  • Topic: Machine Learning for Automated Theorem Proving
  • Supervisors: Tom Heskes, Mikolas Janota, Josef Urban
  • Promotor: Tom Heskes
  • Start date: September 1, 2020
  • Funded by: ERC CZ

Krijn Reijnders

  • Topic: Post-quantum cryptography
  • Supervisor: Simona Samardjiska
  • Promotor: Lejla Batina
  • Start date: September 1, 2020
  • Funded by: Sector plan

Nicole Cilia

  • Topic: A comparison of machine learning techniques to support diagnosis of neurodegenerative diseases using handwriting data
  • Supervisor: Elena Marchiori
  • Promotor: Francesco Fontanella
  • Start date: September 1, 2020
  • Funded by: Department of Electrical and Information Engineering, University of Cassino and Southern Lazio

Hideaki Joko

  • Topic: Conversational Entity Search
  • Supervisor: Faegheh Hasibi
  • Promotor: Arjen P. de Vries
  • Start date: September 1, 2020
  • Funded by: Radboud University

Omid Bazangani

  • Topic: Leakage simulators for side-channel analysis
  • Supervisor: Ileana Buhan
  • Promotor: Lejla Batina
  • Start date: September 1, 2020
  • Funded by: iCIS

Thom Badings

  • Topic: Prognostic Algorithms for Predictive Maintenance
  • Supervisor: Nils Jansen
  • Promotor: Mariëlle Stoelinga
  • Start date: September 1, 2020
  • Funded by: NWO; Predictive maintenance for Very effective asset management (PrimaVera)

Daria Alexander

  • Topic: Search tasks and their modelling using knowledge graphs
  • Supervisor: Arjen P. de Vries
  • Promotor: Arjen P. de Vries
  • Start date: September 1, 2020
  • Funded by: Marie Sklodowska-Curie grant agreement No 860721

Marnix Suilen

  • Topic: Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes
  • Supervisor: Nils Jansen
  • Promotor: Frits Vaandrager
  • Start date: August 1, 2020
  • Funded by: NWO

Santos Merino Del Pozo

  • Topic: side-channel attacks and countermeasures, cryptographic implementations
  • Supervisor: Lejla Batina
  • Promotor: Lejla Batina
  • Start date: July 1, 2020
  • Funded by: Technology Innovation Institute

Mirthe van Diepen

  • Topic: Unraveling mechanisms of vascular function and regulation with causal discovery
  • Supervisors: Tom Claassen, Gabriel Bucur, Jurgen Claassen
  • Promotor: Tom Heskes
  • Start date: June 1, 2020
  • Funded by: Radboud AI for Health

Ike Mulder

  • Topic: Strong automation for Concurrent Separation Logic
  • Supervisor: Robbert Krebbers
  • Promotor: Herman Geuvers
  • Start date: May 1, 2020
  • Funded by: Radboud University

Paulus Meessen

  • Topic: Computing Science, Law and Philosphy
  • Supervisor: Mireille Hildebrandt
  • Promotors: Mireille Hildebrandt, Herman Geuvers
  • Start date: March 1, 2020
  • Funded by: COHUBICOL

Negin Ghasemi

  • Topic: Transfer Learning for Federated Search
  • Supervisor: Djoerd Hiemstra
  • Promotor: Djoerd Hiemstra
  • Start date: February 15, 2020
  • Funded by: NWO: Sectorgelden

Roel Bouman

  • Topic: Machine Learning for Predictive Maintenance
  • Supervisor: Tom Heskes
  • Promotor: Tom Heskes
  • Start date: February 15, 2020
  • Funded by: NWO: PrimaVera

Koustabh Ghosh

  • Topic: Symmetric Cryptography
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: January 1, 2020
  • Funded by: NWO Top Scalar

Started in 2019

Alex Kolmus

  • Topic: Accelerating deep neural network algorithms for real time event detection
  • Supervisors: Tom Heskes, Twan van Laarhoven
  • Promotor: Tom Heskes
  • Start date: December 1, 2019
  • Funded by: NWO

Denisa Greconici

  • Topic: Engineering post-quantum cryptography
  • Supervisor: Peter Schwabe
  • Promotor: Peter Schwabe
  • Start date: November 1, 2019
  • Funded by: 1ste geldstroom

Koen Dercksen

  • Topic: Building multi-modal interactive electronic health records
  • Supervisor: Arjen P. de Vries
  • Promotors: Arjen P. de Vries, Bram van Ginneken
  • Start date: October 14, 2019
  • Funded by: AI for Health

Bharat Garhewal

  • Topic: Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS)
  • Supervisor: Frits Vaandrager
  • Promotor: Frits Vaandrager
  • Start date: October 1, 2019
  • Funded by: NWO-TOP project

Jonathan Fuchs

  • Topic: Symmetric Cryptography
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: October 1, 2019
  • Funded by: ERC Grant ESCADA

Yao Tong

  • Topic: Deep Transfer Learning for Medical Image Analysis
  • Supervisors: Elena Marchiori, Jonas Teuwen and Gijs VAN Tulder
  • Promotor: Elena Marchiori
  • Start date: September 17, 2019
  • Funded by: MARBLE Project, EFRO Oost-Nederland

Deivid Vale

  • Topic: Implicit Complexity through Higher Order Rewriting
  • Supervisor: Cynthia Kop
  • Promotor: Herman Geuvers
  • Start date: September 16, 2019
  • Funded by: NWO TOP Project (ICHOR)

Dennis Groß

  • Topic: Explainable Data Science
  • Supervisor: Nils Jansen
  • Start date: August 1, 2019
  • Funded by: TNO

Hans-Nikolai Viessmann

  • Topic: Code-generation for Efficient Orchestration of Communication for GPUs
  • Supervisor: Sven-Bodo Scholz
  • Promotor: Sven-Bodo Scholz
  • Start date: August 1, 2019
  • Funded by: Radboud University

Aldo Gunsing

  • Topic: Provable Security
  • Supervisors: Bart Mennink, Joan Daemen
  • Promotor: Joan Daemen
  • Start date: August 1, 2019
  • Funded by: NWO

Unai Rioja Sabando

  • Topic: Side-channel attacks on embedded devices
  • Supervisor: Lejla Batina
  • Promotor: Lejla Batina
  • Start date: June 1, 2019
  • Funded by: IKERLAN

Servio Luis Paguada Isaula

  • Topic: Side-Channel Attacks
  • Supervisor: Lejla Batina
  • Promotor: Lejla Batina
  • Start date: June 1, 2019
  • Funded by: IKERLAN

Alireza Mehrdad

  • Topic: Symmetric Cryptography
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: June 1, 2019
  • Funded by: ERC Grant ESCADA

Ivan Veul

  • Topic: A User's Perspective on the Societal Role of Big Tech Companies
  • Supervisors: Eelco Herder, Lotte Krabbenborg (ISiS)
  • Promotor: Arjen P. de Vries
  • Start date: April 1, 2019
  • Funded by: iCIS & ISiS

Zhuoran Liu

  • Topic: Multimedia and Privacy
  • Supervisor: Martha Larson
  • Promotor: Martha Larson
  • Start date: April 1, 2019
  • Funded by: Radboud University

Daan Sprenkels

  • Topic: Engineering post-quantum cryptography
  • Supervisor: Peter Schwabe
  • Promotor: Peter Schwabe
  • Start date: April 1, 2019
  • Funded by: ERC Starting Grant of Peter Schwabe

Praveen Kulkarni

  • Topic: Deep Learning techniques for side channel analysis
  • Supervisors: Lejla Batina, Stjepan Picek (Delft)
  • Promotor: Lejla Batina
  • Start date: March 1, 2019
  • Funded by: NXP Semiconductors Germany GmbH

Daniël Kuijsters

  • Topic: Symmetric Cryptography
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: February 15, 2019
  • Funded by: ERC Grant ESCADA

Anna Guinet

  • Topic: Side-channel attacks
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: January 15, 2019
  • Funded by: ERC Grant ESCADA

Emma Gerritse

  • Topic: Graph embeddings
  • Promotor: Arjen P. de Vries
  • Start date: January 1, 2019
  • Funded by: Radboud University

Started in 2018

Thom Wiggers

  • Topic: Post-quantum cryptography in internet protocols
  • Supervisor: Peter Schwabe
  • Promotor: Peter Schwabe
  • Start date: October 15, 2018
  • Funded by: ERC Starting Grant of Peter Schwabe

Léo Weissbart

  • Topic: Side-Channel Attacks and Machine Learning
  • Supervisor: Stjepan Picek, Delft
  • Promotor: Pieter Hendrik Hartel, Delft
  • Promotor: Lejla Batina
  • Start date: October 1, 2018
  • Funded by: TU Delft and Radboud University

Jan Schoone

  • Topic:  Algebraic analysis and unification of cryptanalytic techniques
  • Supervisor: Joan Daemen
  • Promotor: Joan Daemen
  • Start date: October 1, 2018
  • Funded by: ERC Grant ESCADA

Chris Kamphuis

  • Topic: Structure-aware Querying & Information Retrieval on Evolving Large Graphs
  • Supervisor: Arjen P. de Vries
  • Promotor: Arjen P. de Vries
  • Start date: October 1, 2018
  • Funded by: SQIREL-GRAPHS

Marloes Venema

  • Topic: Cryptographic protocols for privacy protection
  • Supervisor: Greg Alpar
  • Promotors: Lejla Batina, Bart Jacobs
  • Start date: September 15, 2018
  • Funded by: NWO & iCIS

Matthias Kannwischer

  • Topic: Engineering post-quantum cryptography
  • Supervisor: Peter Schwabe
  • Promotor: Peter Schwabe
  • Start date: July 15, 2018
  • Funded by: ERC Starting Grant of Peter Schwabe

Mart Lubbers

  • Topic: An architecture for the integration of small devices in Naval C2-systems
  • Supervisor: Rinus Plasmeijer
  • Promotor: Rinus Plasmeijer
  • Start date: June 1, 2018
  • Funded by: Defensie Materieel Organisatie (DMO)

Fabio Campos

  • Topic: Post-quantum cryptography
  • Supervisors: Peter Schwabe, Steffen Reith
  • Promotor: Peter Schwabe
  • Start date: April 1, 2018

Thomas Schoegje

  • Topic: Information Seeking and the Municipality of Utrecht
  • Supervisor: Toine Pieters (UU)
  • Promotors: Toine Pieters, Arjen P. de Vries
  • Start date: March 1, 2018
  • Funded by: Municipality of Utrecht

Jana Wagemaker

  • Topic: Concurrent Kleene algebras
  • Supervisor: Jurriaan Rot
  • Promotors: Herman Geuvers, Alexandra Silva (University College London)
  • Start date: February 1, 2018
  • Funded by: Radboud University, ERC, NWO​

Started in 2017

Konrad Mielke

  • Topic: Machine Learning for Ecology
  • Supervisors: Tom Claassen, Aafke Schippers (IWWR)
  • Promotors: Tom Heskes, Mark Huijbregts (IWWR)
  • Start date: November 15, 2017
  • Funded by: ​Radboud University

Lasse Blaauwbroek

  • Topic: Machine Learning for Interactive Theorem Provers
  • Supervisor: Herman Geuvers
  • Promotor: Josef Urban (Czech Institute of Informatics Robotics and Cybernetics which is part of the Czech Technical University)
  • Start date: September 1, 2017
  • Funded by: European Regional Development Fund under the project AI&Reasoning

Zhengyu​ Zhao

  • Topic: Enriching satellite events with social multimedia
  • Supervisor: Martha Larson
  • Promotor: Martha Larson​
  • Start date: September 1, 2017
  • Funded by: ​China Scholarship Council (CSC)​

Alexandru Serban

  • Topic: Architecture & Functional Safety for Self Driving Cars
  • Supervisors: Joost Visser, Erik Poll
  • Promotor: Joost Visser
  • Start date: September 1, 2017
  • Funded by: NWO

Kai Chen

  • Topic: Data Mining for spatio-temporal data
  • Supervisor: Elena Marchiori
  • Promotor: Elena Marchiori
  • Start date: August 7, 2017
  • Funded by: ​China Scholarship Council (CSC)

Errol Zalmijn

  • Topic: Transfer Entropy, Complex Systems and Causality across Scales
  • Supervisors: Tom Heskes, Tom Claassen
  • Promotor: Tom Heskes
  • Start date: April 3, 2017
  • Funded by: ASML Netherlands B.V.

Zaheer Babar

  • Topic: Machine Learning for Bio-Medical Data Analysis
  • Supervisor: Elena Marchiori
  • Promotor: Elena Marchiori
  • Start date: April 3, 2017
  • Funded by: BZU, Pakistan

Luc Evers

  • Topic: Monitoring Parkinson's disease using wearable sensors
  • Supervisor: Marjan Faber
  • Promotors: Bas Bloem, Tom Heskes
  • Start date: February 1, 2017
  • Funded by: LSH-TKI, Michael J. Fox Foundation, Philips Research, ZonMW

Janita Hofman

  • Topic: Open norms in cybersecuritylaw
  • Supervisor: Pieter Wolters
  • Promotors: Bart Jacobs, Corjo Jansen
  • Start date: February 1, 2017
  • Funded by: Executive Board Radboud University

Feri Wijayanto

  • Topic: Machine Learning to Obtain Potential Biomarkers for Brain Disease
  • Supervisors: Tom Heskes, Perry Groot
  • Promotor: Tom Heskes
  • Start date: January 9, 2017
  • Funded by: Universitas Islam Indonesia

Started in 2016

Joost Bekel

  • Topic: Quantifying enterprise coherence
  • Supervisor: Roel Wagter
  • Promotor: Erik Proper
  • Start date: December 1, 2016

Katerina Demetzou

  • Topic: Data Protection Impact Assessment
  • Supervisors: Mireille Hildebrandt, Bart Jacobs, Corjo Jansen
  • Promotor: Mireille Hildebrandt
  • Start date: October 1, 2016
  • Funded by: Radboud University

Niels Samwel

  • Topic: Side-channel attacks and countermeasures on embedded devices
    Supervisors: Lejla Batina, Joan Daemen
  • Promotor: Lejla Batina
  • Start date: October 1, 2016
  • Funded by: Dark Matter

Robert Borkes

  • Topic: Developing a public value reference architecture
  • Supervisor: Roel Wagter
  • Promotor: Erik Proper
  • Start date: September 1, 2016
  • Funded by: Publiekewaardecreatie.nl

Benoit Viguier

  • Topic: Tools for formally verifying cryptographic software
  • Supervisors: Peter Schwabe, Freek Wiedijk, Joan Daemen, Herman Geuvers
  • Promotor: Peter Schwabe
  • Start date: September 1, 2016
  • Funded by: iCIS

Marc Schoolderman

  • Topic: Formal Verification of Safety-Critical Software
  • Supervisors: Marko van Eekelen, Sjaak Smetsers
  • Promotor: Marko van Eekelen
  • Start date: July 1, 2016
  • Funded by: STW

Bob Stienen

  • Topic: Machine Learning in Particle Physics Phenomenology
  • Supervisor: Sascha Caron
  • Promotors:  Ilya Igonkina, Tom Heskes
  • Start date: July 1, 2016
  • Funded by: eScience Center iDark grant

Started in 2015

Carlo Meijer

  • Topic: Polymorphic encryption and pseudonymisation for personalised healthcare
  • Supervisor: Bart Jacobs
  • Promotor: Bart Jacobs
  • Start date: November 1, 2015
  • Funded by: Provincie Gelderland

Ko Stoffelen

  • Topic: Practical aspects of post-quantum cryptography
  • Supervisors: Peter Schwabe, Joan Daemen
  • Promotor: Joan Daemen
  • Start date: September 1, 2015
  • Funded by: PQCRYPTO and iCIS

Ramon Janssen

  • Topic: Supersizing model-based testing
  • Supervisor: Jan Tretmans
  • Promotor: Frits Vaandrager
  • Start date: August 15, 2015
  • Funded by: STW

Tim Steenvoorden

  • Topic: Task-Oriented Programming Support for Collaborations on the Internet
  • Supervisor: Rinus Plasmeijer
  • Promotor: Rinus Plasmeijer
  • Start date: June 1, 2015
  • Funded by: STW

Mark Adams

  • Topic: Tools to Support the Formal Verification of Mathematics
  • Supervisors: Josef Urban, Freek Wiedijk, Cezary Kaliszyk
  • Promotor: Herman Geuvers
  • Start date: March 1, 2015
  • Funded by: Radboud University

Tommy Koens

  • Topic: Security and privacy in cryptocurrencies
  • Supervisor: Erik Poll
  • Promotor: Bart jacobs
  • Start date: February 1, 2015
  • Funded by: geen

Jacopo Acquarelli

  • Topic: Deep Neural Networks
  • Supervisors: Elena Marchiori, Twan van Laarhoven
  • Promotors: Elena Marchiori, Lutgarde Buydens
  • Start date: February 1, 2015
  • Funded by: FNWI

Pedro Maat Costa Massolino

  • Topic: Theory and Practice of Physically Observable Attacks on Embedded Devices (TYPHOON)
  • Supervisor: Lejla Batina
  • Promotor: Lejla Batina
  • Start date: January 5, 2015
  • Funded by: TYPHOON Project

Started in 2014

Gido Schoenmacker

  • Topic: Prediction and causation in medical data
  • Supervisors: Tom Claassen, Alejandro Arias Vasquez (Radboudumc)
  • Promotors: Tom Heskes, Jan Buitelaar (Radboudumc)
  • Start date: August 1, 2014
  • Funded by:  FP7 Aggressotype grant agreement no 602805