Skip to content

Michael (Haoyu) Zhang

Co-Founder & Technical Lead at Anyone · Software Engineer, High Performance Computing at the University of Colorado

Denver, CO, USA

Summary

Engineer and tech lead who likes being close to the whole system, from the database schema out to the client, and who has learned to care as much about how a team ships as about what it ships.

Anyone:
cross-platform product, system design, team leadership
University of Colorado:
GPU computing, LLM agents, research software
Carnegie Mellon:
systems programming, compilers, WebAssembly
DJI:
test automation, CI/CD

Experience

  1. Co-Founder & Technical Lead

    now

    Anyone, Inc.Denver, CO, USA

    Anyone is a cross-platform (iOS, Android, web) social-events app for instant plans, custom hangouts and local events, built by a 10+ contributor team in React Native (Expo), TypeScript and Supabase.

    • Tech lead since the first commit, directing a 10+ contributor team. We shipped to the App Store and Google Play in 10 months; I am final reviewer and merger, 1,100+ pull requests so far.
    • Designed and built much of the core architecture on Supabase: an append-only, concurrency-safe event-interaction system; local-first realtime chat backed by on-device SQLite; an event-driven push-notification pipeline with 2 to 3 second delivery; and a first-frame snapshot cache that removes cold-start loading screens.
    • Put together the team's AI-aided engineering infrastructure: tiered CI quality gates over 830+ test suites, shared agent skills and commands, LLM code-review and security-review agents, and an agentic contribution workflow with token-cost tooling that cut agent overhead by 60 to 90%.
    • Look after release engineering and platform health: EAS build and OTA pipelines, migration-safety gates for schema changes, production incident investigation, and the accessibility work on the core flows.
    • Wrote down the engineering process we follow now that humans and AI agents both open PRs: branching strategy, PR conventions, spec-first backend changes, architecture docs and runbooks.
    • Day-to-day leadership: setting technical direction, reviewing the team's work, and keeping the conventions, docs and runbooks current so contributors can get moving without waiting on me.
    • TypeScript
    • React Native
    • Expo
    • Supabase
    • PostgreSQL
    • TanStack Query
    • Zustand
    • GitHub Actions
    • Playwright
    • Jest
  2. Software Engineer, High Performance Computing

    now

    University of ColoradoDenver, CO, USA

    • Leading an NIH-funded multi-agent LLM system that helps researchers generate literature- and analysis-backed hypotheses for a trait or disease of interest. Built the LangGraph pipeline with a FastAPI backend and a React frontend.
    • Developed CCC-GPU, a CUDA C++ library with pybind11 Python bindings for GPU-accelerated nonlinear correlation analysis. Achieved up to 73x speedup over the original CPU implementation. Published in Bioinformatics (2026).
    • Co-authored four more publications, spanning software optimization, computational workflows and toolchain development. Full list on Google Scholar.
    • Python
    • CUDA
    • C++
    • pybind11
    • LangGraph
    • FastAPI
    • React
  3. Research Assistant, Compilers

    Carnegie Mellon UniversityPittsburgh, PA, USAResearch

    Supervised by Dr. Ben Titzer at the WebAssembly Research Center.

    • Contributed to the Wizard Engine, a WebAssembly virtual machine. Extended its built-in interpreters and compiler with 200+ new SIMD instructions and integrated tiered JIT compilation, reaching a peak 4.3x speedup in benchmarks comparing scalar and SIMD implementations.
    • Expanded the backend of the Virgil programming language and experimented with multi-threading support.
    • Virgil
    • WebAssembly
    • x86-64 assembly
    • C++
  4. Software Engineer Intern, Test Automation

    SZ DJI Technology Co. Ltd.Shenzhen, Guangdong, ChinaInternship

    • Built a test management platform (React, Spring Boot) with integrated testing toolchains and microservices.
    • Established new CI/CD workflows using Jenkins and SonarQube to achieve Shift-Left DevOps.
    • Java
    • Spring Boot
    • React
    • Jenkins
    • SonarQube

Skills

Languages

  • TypeScript
  • Python
  • C/C++ (CUDA)
  • SQL
  • Java
  • Go
  • Rust

AI & agents

  • LangGraph
  • LLM APIs (Anthropic, OpenAI)
  • Agentic coding workflows (Claude Code, Codex)

Data & infra

  • PostgreSQL (Supabase)
  • Redis
  • Kafka
  • MongoDB
  • Docker
  • Terraform
  • AWS
  • Slurm
  • Snakemake
  • CI/CD (GitHub Actions)

Frameworks

  • React Native (Expo)
  • React / Next.js
  • FastAPI
  • Spring Boot

Education

Carnegie Mellon University

-

M.S. Information Networking (Computer Systems)Pittsburgh, PA, USA

  • Distributed Systems
  • Cloud Computing
  • Databases
  • Storage Systems
  • Compilers
  • Machine Learning

Soochow University

-

B.S. Computer Science (Bioinformatics)Suzhou, Jiangsu, China

Open source

  • Wizard EngineWebAssembly virtual machine: SIMD support across the interpreters and the JIT
  • VirgilSystems programming language: assembler extensions
  • CCC-GPUGPU-accelerated Clustermatch Correlation Coefficient (CUDA C++ + Python bindings)

Last updated Aug 2026 · Full project portfolio →