Software engineer with published research in formal verification of smart contracts, building developer and Infrastructure-as-Code (IaC) tooling.
- 🔬 Researcher and engineer: published work on smart contracts and formal methods
- 💻 Building with C#/.NET, C++, and cloud/infrastructure tooling (Docker, Kubernetes, Nix)
- 🌱 Currently learning Rust, Nix/NixOS, network engineering, and data protocols
- 🛠️ Hobbies: self-hosting, embedded systems, electrical engineering, and 3D printing
- 👯 Looking to collaborate on open-source .NET/C# tooling and DevOps/PowerShell automation
- 💬 Ask me about:
smart contracts·competitive programming·self-hosting & vSphere homelabs
C# & PowerShell·thermal typewriters (watch this space 👀) - 📫 Get in touch:
- Temporal Aspects of Smart Contracts for Financial Derivatives - ISoLA 2018, Leveraging Applications of Formal Methods, Verification and Validation (Industrial Practice), pp 339-355
- Also on ResearchGate
- Last Hope Code-Learning Framework - Gaming-based code-learning framework built in Unity/C#: learn coding while exploring the Red Planet in a NASA Mars rover, made in support of the UK Government's Coding Curriculum school initiative
- Snake on Engduino - The classic Snake game recreated on an Engduino microcontroller using its onboard sensors, written in Processing
- Arch-PowerShell - A beautiful and improved PowerShell Core experience for all platforms
- Chocolatey - Streamlined Chocolatey installation for consumer and server editions of Windows, including GUI, updates and image cleaner
- WinGet - Guided script that installs and configures WinGet, with packages set to auto-update on a schedule
| Category | |
|---|---|
| Languages |          |
| Infrastructure as Code |              |
| Containers & Cloud |           |
| Databases |     |
| IDEs & Dev Tools |         |
| DevOps & Monitoring |         |
| Docs & Collaboration |         |
| Terminals |      |
| Operating Systems |       |