Valentin Bonnet
Blog
Resume
Testing
Accepting Nondeterminism
Coming soon.