[ 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