2 Clearances
Dual FDA 510(k) Clearances
K240236 & K242224 (HR, SpO2, TST, AHI)
25 Patents
Issued Patents (21 US, 4 Int'l)
Optical Bio-Signals & System IP
36 Papers
Peer-Reviewed Publications
758 Citations (npj, PRB, ACM)
20+ Years
Production Architecture
Ph.D. Applied Physics (BYU)
Polymath Systems Architect • Applied Physicist • 20+ Years Production

Bridging Quantum Physics, Embedded & Cloud Scale

I bridge the gap between physics, regulated algorithmic R&D, and production platform architecture. Most deep-tech companies lose 6โ€“12 months in handoffs between research scientists and software engineersโ€”I engineer the entire continuum from raw physical sensor signals to distributed cloud backends.

Interactive Exploration

Featured Technical Case Studies

Curated deep dives demonstrating first-principles problem solving, architectural de-risking, and verifiable real-world impact.

Optical signals scattering through layered tissue and resolving into a physiological waveform
๐Ÿ”ฌ Regulated Medical AI • FDA 510(k)

Clinical-Grade Physiological Intelligence & Dual FDA Clearances

Decomposing photon-tissue interaction in heterogeneous dermal layers via Mie scattering and multi-isobestic wavelength balancing to build calibration-free vital sign algorithms cleared by the FDA.

โœ“ 2 FDA Clearances (K240236/K242224) โœ“ ISO 81060-2 Clinical Standard โœ“ 22 MedTech Patents
Read Full Case Study →
Knowledge graph components passing through a crystalline formal-verification gate
โšก Neuro-Symbolic AI • Formal Verification

Verified Algorithm Synthesis & Neuro-Symbolic Agents (sciona)

Eliminating LLM code hallucinations via retrieval-augmented composition: LangGraph CDG goal decomposition, vector retrieval across domain catalogs (sciona-atoms), and Lean 4/Coq compiler proof oracles.

โœ“ Formal Compiler Oracles (Lean 4/Coq) โœ“ Multi-Language AST โœ“ Deterministic-First
Read Full Case Study →
Distributed event packets converging through a cloud processing graph into one reliable stream
โ˜๏ธ Distributed Cloud • Zero State Drift

100% Idempotent Event Exchanges & Multi-Agent DAGs

Architecting high-throughput distributed event engines (hpy-eventx) evaluating dynamic topological DAGs over dual contexts (event + state), forward/inverse deltas, and timestamp-preserving S3 DLQs.

โœ“ 100% Idempotent Guarantees โœ“ K+ In-House Attribution โœ“ Step Functions
Read Full Case Study →
Sandboxed mobile platform connected to redundant server infrastructure
๐Ÿ›ก๏ธ Platform Security • Bare-Metal HA Ops

Platform Security, AOSP Sandboxing & Zero-Downtime Infrastructure

Hardening custom Android ROMs (ClearOS) with elevated FIFO IPC and specialized SELinux domain policies, paired with bare-metal WSFC failover clusters, enterprise PKI, and hardware KeyStore biometrics.

โœ“ 72 AOSP Framework Patches โœ“ 99.9% Cluster Uptime โœ“ SELinux & Root PKI
Read Full Case Study →
Cross-Disciplinary Architectural Venn Diagram
Inspect High-Resolution Venn Diagram
Systems Architecture • 4 Intersecting Domains

Silicon, OS, Cloud, Clinical ML & Quantum Physics Convergence

Visualizing the full-stack intersections powering FDA-cleared wearables, idempotent distributed DAG engines, and quantum materials informatics.

๐Ÿ’ก Core Technical Expertise Note: Human-Authored Prior to AI Coding Agents
All clinical algorithms (happyml.bp, happyml.baseline, happyml.features, and happyml.model) and cloud microservices were architected and coded from scratch before AI coding agents existed, demonstrating deep first-principles mastery of optical biophysics, signal processing, and enterprise software engineering.
2 510(k) Clearances
FDA K240236 & K242224
HR, SpO2, TST & AHI Medical Clearances
100% Idempotent
Cloud Event Exchange & DAG Engine
Distributed Event Streams & Multi-Agent RPC
758+
Academic Citations
Google Scholar Peer-Reviewed Impact
25 Patents
Issued Patents (21 US, 4 Int'l)
AR Systems, Remote Diagnostics & Sensors

Technical & Scientific Domains

Select a domain below or use the navigation tabs to inspect detailed Table of Contents pages, publications, and project sub-pages.

Optical signals passing through layered tissue and resolving into a pulse waveform
FDA Cleared
๐Ÿ“ˆ

FDA Bio-Signal Algorithms & Biophysics

FDA-cleared algorithms (K240236 & K242224) for Heart Rate (HR), Oxygen Saturation (SpO2), Total Sleep Time (TST), and Apnea-Hypopnea Index (AHI). Calibration-free Blood Pressure (BP) algorithm featuring HPYTissueProperties biophysics & Mie scattering.

FDA K240236 FDA K242224 HPYTissueProperties Mie Scattering
Explore Algorithms TOC →
Distributed events converging through a cloud processing graph
EventX / Agent Engine
โ˜๏ธ

Cloud Microservices & Agent Pipelines

Enterprise event-driven cloud pipeline (hpy-eventx), autonomous multi-agent orchestration engine (agent-orchestrator), Lambda@Edge partner attribution (agent-attr), and zero-knowledge crypto auth.

hpy-eventx agent-orchestrator agent-attr crypto-auth
Explore Cloud TOC →
Sensor signals entering an embedded neural processor and transmitting wirelessly
Embedded ARM
โšก

Microcontroller Firmware & Edge CNN

Ultra-constrained ARM Cortex-M4 / STM32 microprocessor firmware: 8-bit quantized deep net CNN inference running in 360 KB on 760 KB RAM, 256 Hz multi-channel acquisition, and BLE data syncing.

STM32 ARM Embedded CNN 760 KB RAM 256 Hz SPI/I2C
Explore Micro TOC →
Layered mobile operating-system components protected by a security shield
AOSP OS
๐Ÿค–

Android OS & AOSP System Platform

Operating system-level engineering across AOSP: SELinux security policy authoring (cleargm.te), eBPF per-UID network firewalls, elevated IPC services (cleargfs), and StrongBox TrustZone HSM.

AOSP SELinux eBPF TrustZone HSM
Explore Android TOC →
Optical and coded signals flowing into a phone hardware-security enclave
Mobile Apps
๐Ÿ“ฑ

Mobile Applications & Hardware Crypto

Privacy-centric mobile ecosystem: ClearLIFE platform hub, ClearPay offline QR payments, ClearScan camera-based remote PPG vitals scanner, and MDMCrypto StrongBox-backed device management.

ClearLIFE ClearPay ClearScan MDMCrypto
Explore Mobile TOC →
Enterprise clients connected through application services to structured data
Enterprise Intranets
๐ŸŒ

Enterprise Web Applications & Intranets

Mission-critical intranet platforms (BYU College of Nursing in ASP.NET C#), digital humanities CMS migrations (SOPHIE Drupal CMS with 3 custom modules), and LDS Mission operations backends (2006–2012 in ASP.NET VB .NET).

nursing.byu.edu sophie.byu.edu ASP.NET C# / VB Drupal CMS
Explore Web TOC →
Workload transferring between redundant high-availability server towers
Bare-Metal HA
๐Ÿ–ฅ๏ธ

Systems Ops & HA Infrastructure

Hand-built high-availability failover cluster (VMware & Hyper-V hypervisors, MS SQL Server 2008 failover, RAID 10/5 sharding), Active Directory governance for 200+ domain endpoints, and 150+ PowerShell automation scripts with low-level Win32 USB printer telemetry.

WSFC Failover VMware / Hyper-V Active Directory 150+ PowerShell
Explore Ops TOC →
Digital credentials connecting through a cryptographic key to verification
Self-Sovereign Identity
๐Ÿ”—

Blockchain & Decentralized Identity

Production Hyperledger Indy DID decentralized identity nodes, W3C Verifiable Credentials, native Android KeyStore Ed25519 signing, and zero-knowledge cryptographic authentication.

Hyperledger Indy W3C DIDs Ed25519
Explore Blockchain TOC →
Disordered atoms transforming into an ordered crystalline lattice
npj Comput. Mater.
โš›๏ธ

Computational Materials Physics

Order parameter formalisms for configurational entropy in high-entropy alloys, cluster expansion methods, and high-throughput computational materials informatics published in npj Comput. Mater. and ACM TOMS.

Order Parameters Cluster Expansion npj Papers
Explore Physics TOC →
A crossed bipartite graph resolving into an optimal matching
ACM TOMS / JEA
๐Ÿ“

Applied Mathematics & Algorithms

C++ and Fortran implementations of the Hungarian matching algorithm for bipartite graphs, symmetry-adapted crystallographic bases, and mathematical optimization published in ACM TOMS & JEA.

ACM TOMS Hungarian Matching ACM JEA
Explore Math TOC →
Knowledge components passing through a crystalline formal-verification gate
Neuro-Symbolic & PyPI
๐Ÿ› ๏ธ

Scientific Tools & Algorithm Synthesis

Open-source developer tools: sciona & sciona-atoms (verified neuro-symbolic algorithm synthesis), fortpy (Fortran 2003 parser & test suite), aflow (lazy AFLOWLIB query engine), and acorn (automatic research provenance).

sciona sciona-atoms fortpy aflow acorn
Explore Tools TOC →
Research papers flowing into a growing scholarly impact network
758 Citations
๐Ÿ“š

Publications & Patents

36+ peer-reviewed journal papers (npj Comput. Mater., Phys. Rev. B, Acta Mater., ACM JEA), 25 issued patents (21 US, 4 Int'l), preprints, and BYU Ph.D. Dissertation.

npj Comput Mater 25 Patents Ph.D. Dissertation
Explore All Publications →