Jeffrey V. Johnson, Ph.D.

Associate Professor of Mathematics

Building production systems grounded in mathematical foundations. Ph.D. from University of Montana (2013, Functional Analysis), clinical research publication in Pediatric Physical Therapy (2023), one project live in production (Dicee). Exploring agentic orchestration and distributed systems through implementation.

17 years teaching mathematics across three countries (USA, Egypt, South Africa). Committee chair experience, course coordinator for 480 students. Self-hosted infrastructure on Hetzner, managing 6 Cloudflare domains. Active theoretical CS exploration through student mentorship. Open to research engineering opportunities.

Homer, Alaska

GitHub → LinkedIn → Email →

Background

Research: Ph.D. Mathematical Sciences, University of Montana (2008-2013). Dissertation: Peripherally-Multiplicative Spectral Preservers Between Function Algebras. Published in Communications in Mathematics and Applications (2012) with advisor Dr. Thomas Tonev. Recent clinical research—statistical analysis of 1,593 participants published in Pediatric Physical Therapy (2023;35(3):326-331). Machine Learning certificate from Andrew Ng (Stanford/Coursera).

Teaching: 13 distinct courses across 50+ sections (2017-2023)—largest range at institution. Associate Professor, Kenai Peninsula College/UAA (2017-present). Sustained overload teaching (7-8 credits/semester). Multi-modality expertise: F2F, online, Zoom, VC, hybrid. Mid-semester COVID pivot (Spring 2020). Assistant Professor, American University in Cairo (2014-2017). Post-doctoral Lecturer, University of Montana (2012-2014). Course Coordinator managing 480 students (2013). Committee chair (2012). MathCounts coach (2017-present), U.S. Peace Corps South Africa (2005-2007).

Theoretical CS: Active collaborative exploration with MIT early admission candidate—lambda calculus, formal languages, elliptic curve cryptography, category theory, computational linear algebra. "Much of the time, we were learning together." Theory informing implementation in MAAT Framework and distributed systems work.

Infrastructure: Self-hosted Hetzner VPS running Infisical (secrets management), Docker services. Managing 6 Cloudflare domains (Dicee production deployment on Workers/Durable Objects/Pages, wife's editing business, development domains). Production experience with serverless architecture, WebSocket, PostgreSQL (Supabase).

Teaching & Leadership → Publications & Research → Complete CV →

Approach

I use AI to scale architectural rigor, not generate volume. Separate agents critique designs before implementation, simulate edge cases to define boundaries, and perform agentic maintenance. This delivers principal-level quality as a solo contributor.

The Governance Laboratory

Maturity

Bicameral agent architecture: architect agents write the laws (ADRs), builder agents execute them, auditor agents verify compliance. Self-healing configuration that scans 100+ files for drift. Scaling principal-level rigor as a solo contributor.

Agentic Constitution Forensic Observability Role Separation
Case Study Budget Triage →

Hybrid Intelligence

Depth

Split-brain architecture: deterministic WASM core handles the math (zero hallucinations allowed), while personality profiles bias decisions to create human-like variance without LLM latency. The right tool for each layer.

Deterministic Core Generative Layer Brain Interface
Case Study Dicee →

Safety-Critical Systems

Rigor

AI as forensic engineer in environments where a single hallucination crashes the app. Agents analyze lifecycle conflicts and produce state machine protocols (COLD→WARM→HOT), not just code.

WARM Gate Protocol Two-Phase Commit Native Integration
Case Study ScopeCam →

Educational Technology

In Production

Custom iframe framework for Blackboard Ultra, LaTeX→Blackboard converter (hundreds of pages), automated task schedulers. Pragmatic solutions to real pedagogical constraints.

JavaScript/Python LaTeX Processing LMS Integration
Details →

Technical Foundation

Systems

Rust, TypeScript/Bun, Kotlin, Python

Architecture

gRPC microservices, WebAssembly, serverless patterns

Infrastructure

Self-hosted services, Cloudflare, Docker

Theory

Distributed algorithms, category theory, formal methods