About

The short version.

I'm Ken Mendoza — an independent researcher and scientific software engineer working where information theory, geometry, dynamical systems, and the messier parts of the living world overlap. One idea runs through all of it: most complex systems hide a shorter description than their surface behavior suggests, and a surprising amount of useful work comes from finding it.

I build computational methods rooted in information theory and Riemannian geometry, then test them on real data through artifact-backed case studies — across formal mathematics, critical-transition detection, biomedical signals, and materials. The posture is deliberately in-silico and evidence-bound: public datasets, reproducible runners with checksums, and explicit claim ceilings. When a hypothesis is falsified, it's reported openly rather than quietly dropped.

Before this came twenty-five years across computational science and software — startup technical leadership (including a company that completed a NASDAQ IPO), biomedical and proteomics R&D where I'm a named co-inventor on issued U.S. patents, and a long run as an independent systems architect. I studied microbiology and political science at UCLA, and philosophy of science at Cornell.

The lab-grade evidence — compiled Lean 4 proofs, the Erdős Atlas workbench, manuscripts and datasets — lives at Mendoza Laboratory. This is the short version; the full CV has the detail.

Full curriculum vitae — choose a format

Ken Mendoza
Kenneth A. Mendoza
Independent research · founder, Mendoza Laboratory
At a glance

The quick facts.

Based
Waldport, Oregon, USA
Roles
Founder & Principal Investigator, Mendoza Laboratory · Founder, Oregon Coast AI LLC
Education
UCLA — B.S. Microbiology and B.A. Political Science · Cornell — graduate study in philosophy of science
Intellectual property
Four U.S. provisional applications filed in 2026 (patent-pending) · named co-inventor on three issued U.S. patents
Formal mathematics
Contributor to Google DeepMind's formal-conjectures (Lean 4) · the Erdős Atlas problem map
Posture
In-silico and evidence-bound — public data, reproducible artifacts, explicit claim ceilings, falsified results reported openly