Hi, I’m Jenny Kwan.
I’m a systems thinker and software engineer writing at the intersection of operational intelligence and fundamental computer science — exploring how we build systems that reason, respond, and reveal the structure of the problems they’re meant to solve.
Light and Logic is a space to think about what systems know, and how they know it: from formal semantics and type theory to observability pipelines and decision-making feedback loops. I believe that the deepest insights in computing come from unifying rigorous foundations with real-world operational context.
My Work
I co-founded AprioriDB, a database engine built around perfect reproducibility and cell-level traceability, designed to model not just what data is, but where it came from and how it changed — with the goal of reducing operational risk, simplifying DataOps workflows, and making trust in data seamless.
At bem.ai, I help build platforms that transform messy, unstructured business inputs into structured, interpretable outputs — enabling automation, auditability, and smarter human-machine collaboration. My work focuses on making complex operational systems more intelligible, trustworthy, and adaptive.
Why This Blog
Light and Logic is where I make sense of ideas across layers — from low-level formal logic and language theory to high-level system design, automation, and AI-augmented operations.
Topics I write about include:
- Operational intelligence and interpretability
- Semantics, structure, and symbolic abstraction
- System architecture for adaptability and clarity
- The beauty of algorithms, automata, and logical form
At the core of it all is a quiet hypothesis:
Logic is not just a tool for correctness — it’s a way to glimpse the deep structure of meaning.
Connect
If you’re thinking about intelligent systems, AI-driven operations, or foundational questions in computation, I’d love to connect.