Software Engineer at Digital Science / Overleaf
I like building systems that are highly expressive, strongly typed, and declarative.
I'm particularly interested in how complex systems can be modelled, represented, and reasoned about in software.
- Electric vehicle smart charging systems (OCPP / OCPI)
- Enterprise technical marketing and content personalisation systems
- Information security and network forensics systems
- Electronics manufacturing and operations
- Financial and logistics systems
- AI development for the Beyond All Reason RTS engine
- Type-driven modelling in Rust, Haskell and TypeScript
- Domain modelling and Domain Driven Design
- Parametric and programmatic 3D modelling
- Wi-Fi security
- Printed Circuit Board design
- Rust
- Haskell
- TypeScript
- PureScript
I like building strange tools