Math research focus
Homogeneous dynamics and representation theory.
Zhiyuan Deng Math durbatulûk Zhiyuan Deng
PhD student in mathematics
Doctoral student at the University of Zurich, conducting research in homogeneous dynamics, representation theory, and trace formulae under the supervision of Alex Gorodnik.
AI systems & infrastructure
Engineering RAG systems, LLM evaluation harnesses, AWS-based cloud infrastructure, data pipelines, and reproducible research workflows.
Education
Doctor of Philosophy in Homogeneous Dynamics and Trace Formula
Supervisor: Prof. Dr. Alexander Gorodnik.
M2: Langlands Program and Representation Theory
French M2 program in Langlands program and representation theory. Full scholarship supported by the Archimedes Institute.
Bachelor of Science in Mathematics and Applied Mathematics
Received an Individual Sports Scholarship in Dec 2018.
Experience
Quantitative Research Intern
Worked on US options selling strategy research, focusing on entry filters, premium/risk constraints, sizing rules, exit logic, and replay-based validation.
- Translated options-market assumptions around DTE, liquidity, premium level, bid-ask spread, and market regime into systematic strategy rules.
- Reviewed backtest and replay evidence to separate inspectable strategy assumptions from headline historical returns.
Open Source Contributions
Contributions to shared tools.
GSD Core: Durable Runtime Surface Source Resolution
Contributed a merged fix for global runtime-source integrity: manifest-verified, single-provider resolution prevents command and agent content from being mixed across sources. The update path stages artifacts before publishing state, preserving the prior runtime when validation or writing fails.
Self-Directed Learning
A technical learning map.
Technologies, frameworks, and systems explored through independent study, certifications, and applied projects.
Python
AWS
PyTorch
RAG
LLM Evaluation
FastAPI
Data Pipelines
Machine Learning
SQL
Docker
Reproducible Experiments
Statistical Evaluation
Benchmarking
REST APIs
Cloud Security
NLP
Interesting Side Projects
Small projects.
BracketWM: Local Geometry for Action Composition
A controlled research showcase testing whether direct Lie-bracket supervision helps visual dynamics models recover order-dependent action effects. The preliminary one-seed result improved the local swapped-order measure, while exposing an unresolved gap in longer-horizon composition.
SpecChoice: RISC-V Evidence Workspace
An independent, dependency-light feasibility experiment maintained inside my RISC-V UnifiedDB fork. It uses canonical environment receipts and offline-bundle replay to keep the study reproducible without the full upstream toolchain.
LebenWort Web
A Chinese-first German survival-vocabulary MVP built around practical scenes such as the doctor and supermarket, with lightweight spaced review and persistent local progress.
Automated Job Application Tracker
A local CLI and Codex skill that turns job descriptions and recruiter notes into consistent Obsidian records, including application status and role-track inference.
Auto Obsidian Monthly Review
A local-Ollama automation for turning daily notes into a monthly review, with a small operational wrapper for checking and starting the local model service.
Reddit Market Intelligence
A compliance-first, read-only pipeline for turning a market topic into research plans, structured evidence, market signals, and traceable reports.
Curated AI / ML / DL Interview Resources
A bilingual, link-verified learning map for ML theory, PyTorch practice, LLMs, and AI system-design interview preparation.
Beyond Work
Things I return to when I step away from the desk.
Fields, courts, water, and trails.
Sports and outdoors
Strategy, long arcs, and imagined worlds.
Games and stories
Home cooking and everyday experiments.