[ Home |
Research |
Teaching ]
I shall be sorry if computer science ever flies apart into two disciplines, one logical and one technological. -- Robin Milner.
Research Interests
Currently, I am mainly interested in the following:
- Probabilistic Computation and Cryptography
- Differential Program Semantics
- Quantum Computation
- Implicit Computational Complexity
In the past, I also worked on:
- Planning as Model Checking
- Temporal Granularities
Papers and Publications