9 entries found.


PhD Computer Science



2024
Student Thesis Content
Bian, J. (Jinting)Reasoning about Object-Oriented Programs: From Classes to Interfaces
Bossema, F.G. (Francien)Tailoring X-Ray Tomography Techniques for Cultural Heritage Research
Gyurik, C.F.S. (Casper)Computational Speedups and Learning Separations in Quantum Machine Learning
Hiep, H.A. (Hans-Dieter)New Foundations for Separation Logic
Huisman, M. (Mike)Understanding Deep Meta-Learning
Kocaman, V. (Veysel)Learning From Small Samples
Vinkenoog, M. (Marieke)Data-Driven Donation Strategies, Understanding and Predicting Blood Donor Deferral
Wang, C. (Can)Automated Machine Learning for Dynamic Energy Management using Time-Series Data
Zhang, J. (Jia)Social Network and Radical Innovation