Current Master Projects

The CWI master projects below are currently open for applications. If you want more information about the scope of the projects, please click on the link and the pdf will open.

Algorithms & Complexity/QuSoft:

• Improving quantum circuit extraction for ZX-diagrams
• Amortized Quantum Data Structures
• A categorical approach to homogeneous ordered vector spaces

Computational Imaging:

• Deep learning for 3D image classification
• A discrete Ginzburg-Landau functional for regularized
  image reconstruction// Iterative image reconstruction with inexact adjoints
• Improved optical imaging with compressed sensing
• Non-linear waveform inverse for biomedical ultrasound imaging

Database Architectures:

• Ingestion of Semi-Structured Data in DuckDB
• Vectorizing Worst-Case-Optimal Join Algorithms
• DuckDB on mobile phones// A Whitebox File Format on Parquet// Whitebox Compression using Deep Learning// DuckDB Graph Library// Automatic functional dependency detection and schema normalization// Progressive query processing in DuckDB
• multiple projects at Databricks and MotherDuck

Intelligent and Autonomous Systems:

• Master internship project CWI’s Intelligent and Autonomous Systems Group and Condi Food

Machine Learning:

• Best Arm Identification in Survival Models
• ϵ-Best Mixture Identification
• MSc Project: Life-long Online Learning
• Various Projects on E-Values, Always-Valid Confidence Sequences and "Safe Testing"
• Learning to Attend to Classify

Networks & Optimization:

• Budget-feasible Mechanism Design with Predictions
• Indexing extra-large data for long patterns using small space
• Profitable product set discovery
• Inefficiency of Corruption in Single-item Auctions
• Computing real solutions to polynomial equations
• Geodesic Optimization and the Paulsen Problem in Frame Theory

Scientific Computing

• Machine learning for stochastic parameterization and closure modeling in multiscale systems
• Small closure models
• Subgridscale representations

Software Analysis and Transformation:

• Short agile feedback loops
• Static Analysis across language boundaries
• RADCAL: new semantics for arithmetic
• Philips Image Guided Therapy
• ICTU overheidsorgaan voor digitalisering

Stochastics:

• Automatic Signal Recognition with Artificial Intelligence// Data Stealing and Federated Learning