Radu Grigore
- 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