Research
Selected work on semantics, type systems, and observable systems.
Operational Semantics for a Small Functional Language
MSc Thesis | University of Leicester | 2023
Nana Adjei Manu
A formal treatment of small-step and big-step operational semantics for a minimal functional language with variables, conditionals, and functions.
rarepath: Observability-Preserving Trace Sampling
Repo | 2026
Nana Adjei Manu
A Go implementation of behaviour-diverse trace sampling following Microsoft Research's STEAM paper — retains rare execution paths that uniform random sampling discards.
L-Language: A Minimal Functional Language with an Evaluation Visualizer
Repo | 2025
Nana Adjei Manu
A small functional language implemented in Haskell, paired with a React visualizer that steps through evaluation and operational semantics rules.
causality: Ranked Root-Cause Hypotheses from Logs and Traces
Repo | 2026
Nana Adjei Manu
An incident root-cause assistant for on-call engineers that ranks hypotheses, each grounded in the exact spans and log lines that support it.