projects I've worked on

formal logic

Isabelle logo

tools

JFlex logo

computer algebra

spock logo
projects
Due to budget constraints, the light at the end of the tunnel has been turned off, effective immediately.
(Graffiti)