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

I am a research assistant working on the jStar project. Other research projects to which I contribute (on and off) are FreeBoogie, ESC/Java, Fx7, CLOPS. I like to find connections between different areas of computer science, in particular between program verification, programming languages, and algorithms.

---

Last updated: 15 April 2010