Ryan Leibering
AI systems and UX engineer
AI systems and UX engineer working at the interface between massive knowledge graphs and the people who use them. Designed and operate a bootstrapped home-lab AI infrastructure platform end to end: the knowledge graph and multi-agent orchestration that keep it correct, the formal verification that gates the safety-critical paths, and the design system and user research that make it legible.
Experience
2023 – Present
Designed and operate the Delegated Architectural Reasoning Framework (DARF), a bootstrapped home-lab AI infrastructure platform: a knowledge graph as the source of truth, a multi-agent system reasoning over it, the safety-critical protocols verified in TLA+ before they run, and a design system that makes the whole system legible to the people and agents that depend on it. The research and architecture began in 2023; DARF itself has run since August 2025. Self-funded through contract work.
- Designed the knowledge graph as the system's single source of truth, with every architectural decision, research claim, and code artifact stored as a typed, dependency-linked node and retrieved through semantic search. 3.5M+ nodes.
- Coordinated agents from four model providers through one Model Context Protocol (MCP) interface and a shared task queue, each agent held to per-agent authority constraints.
- Held the platform to a production quality bar: an automated test suite and cryptographically signed, dependency-linked records gate every change, with the safety-critical protocols model-checked in TLA+ before they run. 78 verified state machines.
- Built the frontend in Next.js and React, from a token-driven design system and component library that restyles to any brand or generated palette to a WCAG 2.2 AA accessibility bar held on every surface.
- Applied HCI research methods to the agent interfaces (evaluative testing, task analysis, structured observation), so the system's complexity reaches people through tested task flows rather than raw infrastructure output.
Earlier roles
UX Design & Research Intern, Lexmark
Jan – May 2020
Designed GDPR-compliant privacy mechanisms for enterprise SaaS, and presented emerging-technology applications to the CTO and CFO.
Associate Instructor, Indiana University
2017 – 2019
Taught the HCI design studios, built the curriculum, and mentored students through their research and build projects.
Robotics Operator, Kimball Electronics
2015 – 2017
Ran surface-mount robotics and led a Lean Six Sigma project that raised throughput on a high-volume electronics line.
Customer Service & Special Services Associate, The Home Depot
2010 – 2016
Managed customer accounts and special-services orders across the store, coordinating last-mile delivery through third-party vendors.
Education
MS Human Computer Interaction Design
Indiana University Bloomington
2017 – 2019
John C. Shoemaker Velocity Fellowship
Where the UX half comes from: evaluative testing, task analysis, and structured observation, now applied to multi-agent workflows.
Software Engineering Certificate
Flatiron School
2022
Merit Scholarship
A structured grounding in algorithms and object-oriented design, the springboard into the multi-year independent build that followed.
BA Liberal Arts (Geopolitics)
University of Southern Indiana
2009 – 2014
Vocal Performance Scholarship
A foundation for systems-level reasoning across policy, governance, and sociotechnical domains.
Skills
AI & knowledge systems
- Knowledge graphs
- Multi-agent orchestration (MCP)
- RAG
- Semantic search
- Embeddings (BGE)
- Graph neural networks
- Formal verification (TLA+)
- PyTorch
UX & research
- User research
- Evaluative testing
- Task analysis
- Accessibility (WCAG 2.2 AA)
- Design systems
- Human-computer interaction
Platform & tooling
- Python
- TypeScript
- Neo4j
- Qdrant
- PostgreSQL
- pgvector
- Redis
- FastAPI
- Docker
- Next.js
- React
- CI/CD
Contact
Let's talk
Open to roles where being correct is the requirement and being clear is the difference: systems engineering, AI infrastructure, and the frontends that make them legible. Email is fastest; I reply within a day.