I'm a researcher, teacher & speaker.

I work in software security and formal methods, I'm also known as lambdacasserole.


I'm Saul Johnson. A software verification researcher, developer and teacher from the UK who also goes by lambdacasserole.

I do these things...


I Do Research

I Do Research

I currently work on verification techniques for software security at Teesside University's Software Reliability Lab. You can download any papers/slides below.


I Teach

I Teach

I teach Network Scripting, Algorithms and Data Structures and Artificial Intelligence Programming at Teesside University. Sometimes I give talks at talks at conferences outside academia.


I Code

I Code

I write code most of which is open-source on GitHub and I also blog sometimes about formal methods, infosec and sometimes music and language.

Things I Love

1. Programming

Programming is what I'm all about. Ideal code is elegant, expressive, clear and concise. I write as close to this as I can.

2. Research

I particularly enjoy collaborating on research and writing with some of the incredibly talented people I know.

3. Teaching

I find teaching and training others very rewarding; an opportunity for both teacher and learner to grow their expertise.

4. Learning

Whether it's an emerging technology or an established standard, there's always something else to discover.

5. Speaking

I deliver talks to all kinds of audiences, from academics to people from outside the field of computing entirely.

6. Blogging

Sometimes, I write about stuff on my blog about teaching, infosec, formal methods and sometimes music and language.

I Love What I Do

Stats certainly aren't everything, but here's an overview of what I've been up to recently.


Public repos


Pushes to GitHub this month


Talks delivered


Papers published


  • Name: Saul Johnson
  • Nationality: British/Irish
  • Position: Researcher/Teacher
  • Email: fnhy.n.wbuafba@tznvy.pbz

Hi, my name is Saul Johnson. I am a researcher.

I got a boxed copy of Visual Studio 2005 for my birthday way back. Since then I've been writing code as a freelancer, full-time employee in industry or just to give something back to the open-source community. My particular interests lie in formal methods and software verification, which I'm currently studying full-time at Teesside University as I work towards my Ph.D.

There is always something else to learn, another valuable technique to perfect or another piece of knowledge to take in. This is my philosophy and always will be.


"The power of Open Source is the power of the people. The people rule." - Phillipe Kahn

Past Talks, Papers and Slides

If you're looking for videos, slides and papers associated with my past talks, you can find them below.

Clojure Tools for Practical AI
EuroClojure 2017 Clojure Tools for Practical...
Certified Password Quality
iFM 2017 Certified Password Quality
I Think You Left Your Redirect Open
TDFCon 2018 I Think You Left Your Redir...
You Will Pwn Yourself With Your Own Clipboard
TDFCon 2019 You Will Pwn Yourself With ...
Passlab: A Password Security Tool for the Blue Team
DS@FM 2019 Passlab: A Password Securit...
On The Inference of Password Composition Policies
RSDA 2019 On The Inference of Passwor...


  • September 2012


    I began working towards by BSc. in Computer Science at Teesside University in Middlesbrough, UK.

  • June 2014

    Into Industry

    I started working at a web development agency, where I had the opportunity to more fully develop my skills with LAMP, Node.js and Git. Starting in late 2014, I moved to a different company working in C# on a new hotel and flights booking product.

  • September 2015

    Final Year

    I returned to Teesside University for my final year, where I designed Crisp, a minimal extensible Lisp dialect that runs on .NET/Mono.

  • July 2016


    I graduated with first class honours, and decided to take my education further, and learn how I could help educate others in the process.

  • October 2016


    I started working towards my Ph.D. in verification techniques for software security, while working as a graduate tutor and part-time lecturer at Teesside. I expect to complete in late 2019 or early 2020.


Feel free to contact me.

Contact Information

Middlesbrough, UK

Email: fnhy.n.wbuafba@tznvy.pbz