Jiaquan (Jack) Li
Berkeley, CA
669 [dash] 245 [dash] 0087 | li [dot] jack [dot] services [at] gmail [dot] com |
linkedin.com/in/jiaquan-li
|
github.com/iwnlcern
Education
University of California, Berkeley
B.A. Mathematics; Intended B.A. Computer Science (on leave; plan to return)
Aug 2024 - Jan 2026
GPA: 3.838/4.000
- Coursework (CS): Performance Analysis and Optimization of Computer Systems; Data Structures; Structure and Interpretation of Computer Programs
- Coursework (Math/Physics): Abstract Algebra; Differential Topology; Real Analysis; Honors Linear Algebra; Discrete Math; Calculus I/II/III; Quantum Mechanics I
Experience
polymr
Founding Engineer
San Francisco, CA
Jan 2026 - Present
- Built a C++23 manufacturing planning engine and Python/FastAPI planner services for MRP, MRP II, DDMRP, and MPS, supporting deterministic JSON contracts, BOM explosion, vendor selection, capacity planning, available-to-promise, what-if simulation, scheduling, and transport-aware multi-location planning.
- Implemented core planning algorithms across multi-level BOM explosion, time-phased netting, lot sizing, multi-vendor selection, pegging, RCCP/CRP capacity planning, net-change replanning, and DDMRP buffer analytics; shipped typed pybind11 bindings, CLI entrypoints, Redis-backed async jobs, OpenTelemetry tracing, and 550+ tests.
- Built core multi-tenant ERP product and backend surfaces across React/Vite, TypeScript, Express/Bun, PostgreSQL, and Drizzle ORM, spanning planning, inventory, work orders, procurement, quoting, tracking, accounting, email, and messaging workflows.
- Shipped production integrations for QuickBooks Online, Gmail/Outlook/IMAP ingestion, Twilio/WhatsApp shop-floor updates, OAuth/PKCE token flows, procurement document processing, accounting exports, and external/internal ID crosswalks.
- Integrated AI-assisted ERP workflows for document classification, structured extraction of quotes/inquiries/POs, catalog matching, spec-sheet extraction, material cost estimation from STEP/DXF inputs, streaming assistant interactions, durable sessions, and approval-gated actions.
California Partners for Advanced Transportation Technology (PATH)
Undergraduate Researcher
Berkeley, CA
Oct 2025 - Jan 2026
- Developed supervised and deep reinforcement learning lane-change policies in an in-house microscopic traffic simulator using Python and PyTorch.
- Defined state/action spaces and reward functions that trade off safety, comfort, and throughput; engineered trajectory features including relative speed, gaps, and headway from simulator logs with NumPy/pandas.
- Prototyped and evaluated supervised baselines and RL agents against collision rate, successful lane changes, and travel time across traffic densities.
Industrial Cyber-Physical Systems (iCyPhy)
Undergraduate Researcher
Berkeley, CA
Sept 2025 - Jan 2026
- Bridged Lingua Franca's deterministic reactor model with GameTime by generating per-reaction C and μC code and meta-CFGs to compute distributed worst-case execution time (WCET) bounds for distributed programs.
- Formally validated the LF-to-GameTime translation using KLEE symbolic execution over ~37k paths and more than 9 million symbolic instructions, ensuring functional equivalence between LF reactions and the transformed analysis model.
- Deployed ForkJoin, TCP, and MapReduce benchmarks on a 3-node FRDM-K64F and Zephyr testbed, measuring ~1 ms network RTT, ~6 ms LF runtime overhead, and WCET overestimates by ~23% compared to max observed execution time.
Projects
Berkeley, CA
Dec 2025
- Built an open-source C3 CLI password manager with SQLCipher-encrypted SQLite vaults; CRUD keyed by (site, username); multi-vault selection via --db-name/--db-path.
- Implemented secure UX primitives: echo-disabled password prompts, explicit zeroization of in-memory secrets after use, and cross-platform clipboard copy with timed auto-clear.
- Stack: C3, SQLite/SQLCipher, OS clipboard utilities (pbcopy/xclip/clip).
San Francisco, CA
Oct 2025
- Built a real-time multi-room chat platform with an LLM assistant using Flask, Flask-SocketIO, and SQLite, persisting history and surfacing snapshots for reconnecting users.
- Implemented JWT-based auth for protected WebSocket events, message persistence, and stop-generation controls; parsed SSE streams with httpx to chunk long AI responses and keep the UI responsive.
- Shipped the "Find the AI" social game: lobby codes, anonymized nicknames, auto-injected AI player, chat/vote timers, supermajority force-end, mute-on-elimination, and a reveal screen.
- Stack: Python, Flask, Flask-SocketIO, Flask-JWT-Extended, Flask-SQLAlchemy, Flask-CORS, Flask-Limiter, httpx, SQLite, JavaScript, Socket.IO.
Berkeley, CA
Jul 2025 - Aug 2025
- Analyzed 50,000 Reddit posts; performed DST-aware UTC-to-US/Eastern conversion; derived time-of-day and weekday/weekend features; filtered noise such as [removed], [deleted], and very short texts.
- Built an NLP pipeline with TF-IDF 1-3 grams, Word2Vec bias axes, and t-SNE to compare lexical fields across temporal slices; visualized trends with matplotlib and interactive Bokeh.
- Published methodology and temporal patterns with supporting n-grams, terms, plots, close readings, and a reproducible appendix.
- Stack: Python, pandas, NumPy, scikit-learn, gensim, matplotlib, Bokeh.
Publications
Formally Verified Worst-Case Execution Time Analysis of Distributed Lingua Franca Systems via GameTime
Zeynep Guzey, Anagha Ananth, Matthew Cai, Jiaquan Li
EECS Department, UC Berkeley
Fall 2025
Skills
Languages: Python, C++ (20/23), C, TypeScript/JavaScript, SQL, Java, C3, Scheme/Lisp, LaTeX, Lingua Franca
Web & Backend: React, Express/Node.js, Bun, FastAPI, Fastify, Flask, PostgreSQL, SQLite, Redis, Drizzle ORM, Tailwind, Socket.IO, SSE, WebSockets
AI & Data: OpenAI API, Anthropic API, LLM tool-use orchestration, streaming LLM applications, PyTorch, pandas, NumPy, SciPy, scikit-learn, spaCy, gensim
Infra & Tools: Docker/Docker Compose, Terraform, AWS EC2/S3, Git, OpenTelemetry, CMake, Ninja, pybind11, systemd, pytest, Jest, Vitest, Jupyter
Domain & Integrations: MRP/MRP II, DDMRP, MPS, QuickBooks Online, OAuth 2.0/PKCE, Twilio/WhatsApp, email/document ingestion pipelines
Interests
Musical composition; Chinese martial arts; poker; quantitative finance & markets