Applications of geometric methods to quantum control

Environment for programming, simulation and analysis of quantum algorithms.

Probabilistic aspects of quantum programming languages (PhD project).

High level programming for quantum computation (PhD project).