• email: radugrigore@gmail.com
• mail: Computer Science, Queen Mary, University of London, London E1 4NS, UK
• blog: Theory and Practice

I like to find connections between different areas of computer science, in particular between program verification, programming languages, and algorithms.

---

Last updated: 25 February 2013