User:Dcreager

I did my PhD at Oxford, and used the Z and CSP fairly extensively while I was there. I now maintain the HST model checker for CSP (http://hst.github.com) I work for Redjack, LLC (http://www.redjack.com), a small defense contractor.