Radu Grigore

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


Last updated: 3 June 2013