Solane El Hirch
Topic: Cryptanalysis of Lightweight Symmetric Cryptography
Supervisor: Joan Daemen
Promotor: Joan Daemen
Start date: 1 December 2020
Funded by: The Technology Innovation Institute TII Cryptography
Thijs Heijligenberg
Topic: Mobile Network Security
Supervisor: Katharina Kohls
Promotor: Erik Poll
Start date: 1 December 2020
Funded by: RU
Nik Vaessen
Topic: Multi-task Learning in Diverse Speech Tasks
Supervisor: David van Leeuwen
Promotor: David van Leeuwen
Start date: 1 December 2020
Funded by: SBT Extra Middelen
Konstantina Miteloudi
Topic: FPGA Security
Supervisors: Lejla Batina, Nele Mentens
Promotors: Lejla Batina, Nele Mentens
Start date: 1 November 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: 1 October 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: 1 October 2020
Funded by: External
Christoph Schmidl
Topic: Scheduling Adaptive Modular Flexible Manufacturing Systems (SAM-FMS)
Supervisor: Nils Jansen
Promotor: Frits Vaandrager
Start date: 1 October 2020
Funded by: NWO
Liye Guo
Topic: Higher-order Term Rewriting with Logical Constraints
Supervisor: Cynthia Kop
Promotor: Herman Geuvers
Start date: 1 October 2020
Funded by: NWO Vidi
Franka Buytenhuijs
Topic: Artificial Immunological Intelligence
Supervisor: Johannes Textor
Promotor: Elena Marchiori
Start date: 1 October 2020
Funded by: NWO Vidi
Hamid Bostani
Topic: Adversarial Machine Learning and Malware Detection
Supervisor: Veelasha Moonsamy
Promotor: Erik Poll
Start date: 1 October 2020
Funded by: Sector Plan
Jules Jacobs
Topic: Verification and Semantics
Supervisor: Robbert Krebbers
Promotor: Herman Geuvers
Start date: 1 September 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: 1 September 2020
Funded by: ERC CZ
Krijn Reijnders
Topic: Post-quantum Cryptography
Supervisor: Simona Samardjiska
Promotor: Lejla Batina
Start date: 1 September 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: 1 September 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: 1 September 2020
Funded by: Radboud University
Omid Bazangani
Topic: Leakage simulators for side-channel analysis
Supervisor: Ileana Buhan
Promotor: Lejla Batina
Start date: 1 September 2020
Funded by: iCIS
Thom Badings
Topic: Prognostic Algorithms for Predictive Maintenance
Supervisor: Nils Jansen
Promotor: Mariëlle Stoelinga
Start date: 1 September 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: 1 September 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: 1 August 2020
Funded by: NWO
Santos Merino Del Pozo
Topic: side-channel attacks and countermeasures, cryptographic implementations
Supervisor: Lejla Batina
Promotor: 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
Promotor: 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
Promotor: Herman Geuvers
Start date: 1 May 2020
Funded by: Radboud University
Paulus Meessen
Topic: Computing Science, Law and Philosphy
Supervisor: Mireille Hildebrandt
Promotors: Mireille Hildebrandt, Herman Geuvers
Start date: 1 March 2020
Funded by: COHUBICOL
Negin Ghasemi
Topic: Transfer Learning for Federated Search
Supervisor: Djoerd Hiemstra
Promotor: Djoerd Hiemstra
Start date: 15 February 2020
Funded by: NWO: Sectorgelden
Roel Bouman
Topic: Machine Learning for Predictive Maintenance
Supervisor: Tom Heskes
Promotor: Tom Heskes
Start date: 15 February 2020
Funded by: NWO: PrimaVera
Koustabh Ghosh
Topic: Symmetric Cryptography
Supervisor: Joan Daemen
Promotor: Joan Daemen
Start date: 1 January 2020
Funded by: NWO Top Scalar