Information security and formal methods stuff, sometimes music and language.

Saul Johnson

Paper at iFM 2017!

I had the opportunity to present a paper I worked on alongside a few of my colleagues at the 13th international conference on Integrated Formal Methods (iFM 2017). ...

Read more