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 Network Scripting, Algorithms and Data Structures and Artificial Intelligence Programming at Teesside University. Sometimes I give talks at talks at conferences outside academia.
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.
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.
I deliver talks to all kinds of audiences, from academics to people from outside the field of computing entirely.
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.
Public repos
Pushes to GitHub this month
Talks delivered
Papers published
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
If you're looking for videos, slides and papers associated with my past talks, you can find them below.
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.
Email: fnhy.n.wbuafba@tznvy.pbz