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

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

Amber 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)

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

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

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

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

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