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