Nana Adjei Manu

I'm a software engineer and researcher interested in programming languages, distributed systems, and developer tools. I'm currently exploring how to make software systems more reliable and easier to reason about.

Email GitHub LinkedIn Twitter

Research Interests

Programming Languages Type systems, operational semantics, and language design

Distributed Systems Consistency models, fault tolerance, and distributed algorithms

Developer Tools Static analysis, build systems, and developer experience

Writing

All posts →

Branded Types in TypeScript: From Structural to Nominal Typing January 6, 2026

Building a View Counter for Static Sites with Supabase and Astro January 3, 2026

Learning with the Strangler Fig Pattern: Replace Your Skills Gradually December 28, 2025

The End of 'Sorry, I Didn't Understand': How AI Agents Are Replacing Old Chatbots December 25, 2025

Unveiling the Shadow Play: Simplifying Complex Data with Vector Projection September 11, 2025

Background

I've worked as a software engineer at companies including Rhino, Leafly, Andela, and HousingAnywhere. My work has spanned frontend, backend, and infrastructure.

I hold a Master's degree in Advanced Computer Science from the University of Leicester (Distinction). Outside of work, I enjoy functional programming, reading, and playing sports.