I currently work on verification techniques for software security at Teesside University's Software Reliability Lab. You can download any papers/slides below.
"A passionate, dedicated developer, Saul's heavily driven towards creating well-architected, maintainable code using sound development practices. His suggestion of a machine learning algorithm for classification based upon free-text descriptions was incredibly useful and time-saving, a testament to his university education and the effort he puts into learning. He's thrilled by learning new technologies and I've no doubt that he will have a fantastic career." -Alan Pearce | Former Senior Backend Developer at Studio-40
Programming is what I'm all about. Ideal code is elegant, expressive, clear and concise. I write as close to this as I can.
I particularly enjoy collaborating on research and writing with some of the incredibly talented people I know.
I find teaching and training others very rewarding; an opportunity for both teacher and learner to grow their expertise.
Whether it's an emerging technology or an established standard, there's always something else to discover.
Sometimes, I write about stuff on my blog about teaching, infosec, formal methods and sometimes music and language.
Stats certainly aren't everything, but here's an overview of what I've been up to recently.
Pushes to GitHub this month
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.
I began working towards by BSc. in Computer Science at Teesside University in Middlesbrough, UK.
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.
I returned to Teesside University for my final year, where I designed Crisp, a minimal extensible Lisp dialect that runs on .NET/Mono.
I graduated with first class honours, and decided to take my education further, and learn how I could help educate others in the process.
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.