↓Skip to main content

Master of Science in Computer Science

Coursework spanned hardware optimization, security and operating systems, with several courses involving hands-on projects.

Selected projects #

  • Automated Software Testing: In a group of 2 we designed tooling to automatically test SQLite and minimise the bug-triggering queries it found.
  • Design of Parallel and High Performance Computing: In a group of 5 we implemented and analysed multiple variants of the revised simplex algorithm on an NVIDIA GPU in C++.
  • Advanced Operating Systems: In a group of 5 we designed and implemented a capability-based microkernel operating system from (more or less) scratch for a multi-core microcontroller.
  • Advanced Systems Lab: In a group of 4 we implemented multiple versions of the social force modelling algorithm dedicated to optimizing for code vectorization, cache locality and overall performance.
  • Practical Work: I implemented and evaluated memory partitioning schemes in the LLVM-based Dynamatic high-level synthesis compiler.
  • Master’s Thesis: Dynamatic + XLS: Integrating Dynamic and Static HLS — integrating Google’s XLS into the Dynamatic HLS compiler so that dynamically scheduled circuits can contain statically scheduled islands.

Other coursework #

Network Analysis, Network Security, Green Computing, Applied Cryptography, Automated Software Testing, System Security, Concepts of Object Oriented Programming, Information Security Lab, Governing the Energy Transition, Synthesis of Digital Circuits