Nana Adjei Manu

I am 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.

Email GitHub LinkedIn Twitter

Research Interests

Programming Language Theory Type systems, language semantics, interpreters, and formal models

Semantics and Formal Methods Operational semantics, proof-oriented reasoning, and program correctness

Data and Systems Data-intensive systems, reliability, and practical tooling for research

Blog

All posts →

The Two Modes of Thinking: How Divergent and Convergent Thinking Drive Research and Innovation January 20, 2026

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

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 an MSc in Advanced Computer Science from the University of Leicester (Distinction), where my thesis focused on operational semantics. I continue independent research and writing at the intersection of programming language theory, semantics, and practical systems.