Radu Grigore

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


Last updated: 9 January 2016