About

I'm a software engineer and independent researcher focused on how programs are specified, reasoned about, and made reliable — through programming language theory, semantics, and formal methods. I hold an MSc in Advanced Computer Science from the University of Leicester, where my thesis focused on operational semantics.

I'm currently a Product Engineer at charles in Berlin — an AI-native conversational marketing and commerce platform — and was previously a frontend product engineer at SuitePad. Earlier, I worked across frontend, backend, and infrastructure at companies including Rhino, Leafly, Andela, and HousingAnywhere. Alongside that work, I keep up an independent research and writing practice at the intersection of language theory and practical systems.

What I write about

Most of my writing lives on the blog — operational semantics, type systems, functional programming, and the occasional detour into how I think about learning and the craft of building things. If you're new here, how I became an engineer is a good place to start. You can also browse everything by topic.

Elsewhere

I'm on GitHub, LinkedIn, and Twitter. The CV has the full work history. To get in touch, email me at n.k.a.manu06@gmail.com.