Below records my research works. Papers and projects are sorted in their main associated areas. In particular, I am interested in algebraic geometry with an arithmetic flavor, such as Brauer groups, K-theory, moduli and stacks and its interactions with computer sciences.
Algebraic Geometry / Arithmetic Geometry:
Moduli of vector bundles on $\mu_n$-gerbes over genus 2 curves and the period-index problem (2025), submitted
Picard group action on the category of twisted sheaves (2025) with Yeqin Liu and Yu Shen, Journal of Noncommutative Geometry
Computer Science, in particular, AI applications, Machine learning, Cryptography
TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging (2026), GitHub Repo, Submitted
Albilich: Auditable Proof-State Orchestration for LLM-Based Mathematical Research (2026) with Michael Ruofan Zeng, GitHub Repo, paper in preparation
Accelerating Finite-Field and Torus FHE via Compute-Enabled (S)RAM (2023) with Johnathan Takeshita, Dayane Reis, Michael Niemier, Sharon X. Hu, and Taeho Jung, IEEE Transaction on Computers
SLAP: Simpler, Improved Private Stream Aggregation from Ring Learning with Errors (2023) with Johnathan Takeshita, Ryan Karl, and Taeho Jung, Journal of Cryptology
Algorithmic Acceleration of B/FV like Somewhat Homomorphic Encryption for Compute-Enabled RAM (2020) with Johnathan Takeshita, Dayane Reis, Michael Niemier, Sharon X. Hu, and Taeho Jung, Selected Areas in Cryptology
Group Theory:
Finite Permutation Groups with Few Orbits Under the Action on the Power Set (2021) Alex Betz, Max Chao-Haft, Thomas Michael Keller, Anthony Ter-saakov, and Yong Yang, Rocky Mountain Journal of Mathematics
On the odd order composition factors of finite linear groups (2019) with Alex Betz, Max Chao-Haft, Anthony Ter-saakov, and Yong Yang, Journal of Group Theory