Software Engineer · Independent Researcher
Nana Adjei Manu
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, and was previously a frontend product engineer at SuitePad. Before that, I worked at companies including Rhino, Leafly, Andela, and HousingAnywhere, spanning frontend, backend, and infrastructure. I continue independent research and writing at the intersection of programming language theory, semantics, and practical systems.
I'm on GitHub, LinkedIn, and Twitter. To get in touch, email me at n.k.a.manu06@gmail.com.
Open Source
Tools and libraries across programming languages, systems, and tooling. More on GitHub.
L-Language A minimal functional language in Haskell with a React visualizer for evaluation and operational semantics. Rtpl A low-latency market data pipeline for trading workloads, designed for sub-5ms message processing. Sqll An open-source Python SQL client built around SQLite for embedded workflows. Pricc A C project generator written in Rust for faster systems development setup. rcv A Rust resume generator that converts declarative .rcv files into PDF output. cathtml A type-safe, composable DSL for building HTML pages in OCaml.