Solane El Hirch
Topic: Cryptanalysis of Lightweight Symmetric Cryptography
Supervisor: Joan Daemen
Promoter: Joan Daemen
Start date: 1 December 2020
Funded by: The Technology Innovation Institute TII Cryptography
Thijs Heijligenberg
Topic: Mobile Network Security
Supervisor: Katharina Kohls
Promoter: Erik Poll
Start date: 1 December 2020
Funded by: RU
Nik Vaessen
Topic: Multi-task Learning in Diverse Speech Tasks
Supervisor: David van Leeuwen
Promoter: David van Leeuwen
Start date: 1 December 2020
Funded by: SBT Extra Middelen
Konstantina Miteloudi
Topic: FPGA Security
Supervisors: Lejla Batina, Nele Mentens
Promoters: Lejla Batina, Nele Mentens
Start date: 1 November 2020
Funded by: Project for the Dutch Ministry
Hamid Bostani
Topic: Adversarial Machine Learning and Malware Detection
Supervisor: Veelasha Moonsamy
Promoter: Erik Poll
Start date: 1 October 2020
Funded by: Sector Plan
Franka Buytenhuijs
Topic: Artificial Immunological Intelligence
Supervisor: Johannes Textor
Promoter: Elena Marchiori
Start date: 1 October 2020
Funded by: NWO Vidi
Hülya Evkan
Topic: Isogeny Based Crypto on Embedded Systems
Supervisors: Lejla Batina, Benjamin Smith (Research Scientist at Inria Adjunct Professor at École Polytechnique)
Promoter: Lejla Batina
Start date: 1 October 2020
Funded by: External
Liye Guo
Topic: Higher-order Term Rewriting with Logical Constraints
Supervisor: Cynthia Kop
Promoter: Herman Geuvers
Start date: 1 October 2020
Funded by: NWO Vidi
Christoph Schmidl
Topic: Scheduling Adaptive Modular Flexible Manufacturing Systems (SAM-FMS)
Supervisor: Nils Jansen
Promoter: Frits Vaandrager
Start date: 1 October 2020
Funded by: NWO
Bobby Subroto
Topic: Study of Propagation Through Round Functions of Algebraic Degree 2
Supervisor: Joan Daemen
Promoter: Joan Daemen
Start date: 1 October 2020
Funded by: European Commission
Daria Alexander
Topic: Search tasks and their modelling using knowledge graphs
Supervisor: Arjen P. de Vries
Promoter: Arjen P. de Vries
Start date: 1 September 2020
Funded by: Marie Sklodowska-Curie grant agreement No 860721
Thom Badings
Topic: Prognostic Algorithms for Predictive Maintenance
Supervisor: Nils Jansen
Promoter: Mariëlle Stoelinga
Start date: 1 September 2020
Funded by: NWO; Predictive maintenance for Very effective asset management (PrimaVera)
Omid Bazangani
Topic: Leakage simulators for side-channel analysis
Supervisor: Ileana Buhan
Promoter: Lejla Batina
Start date: 1 September 2020
Funded by: iCIS
Jules Jacobs
Topic: Verification and Semantics
Supervisor: Robbert Krebbers
Promoter: Herman Geuvers
Start date: 1 September 2020
Funded by: RU
Hideaki Joko
Topic: Conversational Entity Search
Supervisor: Faegheh Hasibi
Promoter: Arjen P. de Vries
Start date: 1 September 2020
Funded by: Radboud University
Jelle Piepenbrock
Topic: Machine Learning for Automated Theorem Proving
Supervisors: Tom Heskes, Mikolas Janota, Josef Urban
Promoter: Tom Heskes
Start date: 1 September 2020
Funded by: ERC CZ
Krijn Reijnders
Topic: Post-quantum Cryptography
Supervisor: Simona Samardjiska
Promoter: Lejla Batina
Start date: 1 September 2020
Funded by: Sector Plan
Marnix Suilen
Topic: Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes
Supervisor: Nils Jansen
Promoter: Frits Vaandrager
Start date: 1 August 2020
Funded by: NWO
Santos Merino Del Pozo
Topic: side-channel attacks and countermeasures, cryptographic implementations
Supervisor: Lejla Batina
Promoter: Lejla Batina
Start date: 1 July 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
Promoter: Tom Heskes
Start date: 1 June 2020
Funded by: Radboud AI for Health
Ike Mulder
Topic: Strong automation for Concurrent Separation Logic
Supervisor: Robbert Krebbers
Promoter: Herman Geuvers
Start date: 1 May 2020
Funded by: Radboud University
Paulus Meessen
Topic: Computing Science, Law and Philosphy
Supervisor: Mireille Hildebrandt
Promoters: Mireille Hildebrandt, Herman Geuvers
Start date: 1 March 2020
Funded by: COHUBICOL
Roel Bouman
Topic: Machine Learning for Predictive Maintenance
Supervisor: Tom Heskes
Promoter: Tom Heskes
Start date: 15 February 2020
Funded by: NWO: PrimaVera
Negin Ghasemi
Topic: Transfer Learning for Federated Search
Supervisor: Djoerd Hiemstra
Promoter: Djoerd Hiemstra
Start date: 15 February 2020
Funded by: NWO: Sectorgelden
Koustabh Ghosh
Topic: Symmetric Cryptography
Supervisor: Joan Daemen
Promoter: Joan Daemen
Start date: 1 January 2020
Funded by: NWO Top Scalar