Kevin is interested in formal verification, and in learning about operating systems.
More contact information is available at the Contact page.
