Research Interest
- Scientific Computing
- Algorithm Design and Analysis
- Machine Learning
- High Performance Computing
Software
CUDA
-
blrmat
A library implemented in C++ and CUDA for Block Low-Rank (BLR) matrices and solvers
-
cusnn
Fast and exact SNN-based fixed-radius neighbor search with CUDA
-
euclid-cuda
The CUDA code for mixed-precision Euclidean distance
C++
-
hmat-omp
Parallel H-matrix computation routines with weak admissibility
-
ukkonen-simd
An implementation of a linear-time online algorithm for constructing suffix trees, featuring SIMD-accelerated versions for ARM NEON and x86 AVX2
-
hpc-mix-mlbench
Benchmarks for mixed-precision emulations
-
mpi_krylov
Krylov solvers using MPI
-
ompsnn
Fast and exact SNN-based fixed-radius neighbor search with OpenMP
-
fxmath
Header-only C++ library for performing mathematical operations in low-precision arithmetic
-
cabba
A C++ package for ABBA
-
mpi-aggregate
Compute fast aggregation in parallel
Python
-
sparse-kappa
CPU/GPU-accelerated condition number estimation for sparse matrices using PyTorch
-
classix
A fast and scalable package for explainable clustering
-
llm-abba
Framework for symbolic time series applications with large language models
-
pychop
A Python package for simulating low-precision arithmetic in neural networks and scientific computing
-
snn
A lightweight, fast, and exact radius-query algorithm
-
fABBA
An open-source, efficient symbolic representation compression method for temporal data
-
slearn
A package linking symbolic representation with scikit-learn for time series forecasting
-
noisefloat
A Python library for stochastic validation and rounding error simulation
MATLAB
-
mhodlr
Matrix computations with HODLR representation and mixed-precision simulations
Julia
-
ABBA.jl
A time-series symbolic representation method in Julia
-
DSArith.jl
A Julia package for Discrete Stochastic Arithmetic and CESTAC-style numerical reliability diagnostics
Publications & Preprints
* indicates alphabetical author order.
Preprints
- Automated numerical stability analysis of deep learning operators arXiv preprint
- Estimating condition number with graph neural networks arXiv preprint
- Precision autotuning for linear solvers via contextual bandit-based RL arXiv preprint
- QABBA: Symbolic time-series compression via integer-quantized aggregation arXiv preprint
- Computing k-means in mixed precision arXiv preprint
Journal Papers
- Floating-point autotuning with customized precisions ACM Transactions on Mathematical Software (TOMS) · Accepted
- CLASSIX: A high-performance library for explainable clustering Journal of Machine Learning Research (JMLR) · Accepted
- pychop: Emulating low-precision arithmetic in numerical methods and neural networks ACM Transactions on Mathematical Software (TOMS) · Accepted
- LLM-ABBA: Understanding time series via symbolic approximation IEEE Transactions on Signal Processing
- Mixed precision HODLR matrices SIAM Journal on Scientific Computing
- fABBA: A Python library for the fast symbolic approximation of time series Journal of Open Source Software (JOSS)
- Fast and exact fixed-radius neighbor search based on sorting PeerJ Computer Science
- Fast and explainable clustering based on sorting Pattern Recognition
- An efficient aggregation method for the symbolic representation of temporal data ACM Transactions on Knowledge Discovery from Data (TKDD)
Conference Papers
- A parallel two-stage approach for joint symbolic approximation of time series 19th International Symposium on High-Level Parallel Programming and Applications (HLPP)
- Using Laplace transform to optimize the hallucination of generation models 18th International Conference on Control, Automation, Robotics and Vision (ICARCV)
- A fast sorting-based aggregation method for symbolic time series representation IEEE International Conference on Data Mining Workshops (ICDMW)
- Digital-twin-based online parameter personalization for implantable cardiac defibrillators 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)
- A comparison of LSTM and GRU networks for learning symbolic sequences Intelligent Computing · Springer Lecture Notes in Networks and Systems
Technical Reports
- Understanding spectral graph neural network arXiv technical report
- Quantized embedding vectors for controllable diffusion language models arXiv technical report
Contributed Talk and Poster
-
19th International Symposium on High-Level Parallel Programming and Applications, France, July, 2026
Contributed Talk: “Parallel Two-Stage Approach for Joint Symbolic Approximation of Time Series”
-
Workshop on LLM-Driven Code Generation and Automation for HPC and Scientific Computing, France, July, 2026
Contributed Talk: “From Signals to Symbols: Enabling LLM-based Automation for Time Series Analysis”
-
27th Conference of the International Linear Algebra Society (ILAS 2026), United States, May, 2026
Contributed Talk: “Automated Precision Tuning for Numerical Algorithms”
-
SIAM Conference on Parallel Processing for Scientific Computing, Germany, March, 2026
Invited Talk: “Dynamic Mixed Precision Analysis for Numerical Algorithms”
-
Google Developer Community Talks (Ctalks / GDG Xi’an), China, March, 2026
Invited Talk: “Efficient Deep Learning Quantization and Simulation: Pychop in JAX and PyTorch Frameworks”
Event: From On-Device Models to Agent Architectures — Google AI Breaking Through Deployment Bottlenecks
-
The European Conference on Numerical Mathematics and Advanced Applications, Germany, September, 2025
Talk: Mixed-precision HODLR matrices
-
GAMM Workshop on Applied and Numerical Linear Algebra, Germany, Sep, 2024
Poster: Mixed precision k-means
-
SIAM Conference on Computational Science and Engineering, Amsterdam, February, 2023
Poster: CLASSIX: Fast and explainable clustering based on sorting (attend as SIAM Manchester Student Chapter representative)
-
SIAM Conference on Mathematics of Data Science, San Diego, September, 2022
Poster: CLASSIX: Fast and explainable clustering based on sorting
-
44th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Glasgow, July, 2022
Talk: Digital-twin-based Online Parameter Personalization for Implantable Cardiac Defibrillator
-
Advances in Numerical Linear Algebra: Celebrating the 60th Birthday of Nick Higham, Manchester, July, 2022
Poster: CLASSIX: Fast and explainable clustering based on sorting
-
SIAM UKIE National Student Chapter Conference, Edinburgh, June, 2022
Poster: CLASSIX: Fast and explainable clustering based on sorting
-
ICDM Workshop of Systematic Feature Engineering for Time-Series Data Mining, Auckland, November, 2021
Talk: A fast sorting-based aggregation method for symbolic time series representation
-
Numerical Linear Algebra Group Meeting, Manchester, October, 2021
Talk: An efficient aggregation method for the symbolic representation of temporal data
-
Numerical Linear Algebra Group Meeting, Manchester, April, 2021
Talk: Rational approximation of matrix-valued functions in nonlinear eigenvalue problems
Teaching
- MATH20602: Numerical Analysis 1 - Tutorial, 2nd Semester 2021 -- 2022
- MATH10202: Linear Algebra A - Tutorial (temporary), 2nd Semester 2021 -- 2022
- MATH19661: Mathematics 1M1 - Tutorial (temporary), 1st Semester 2021 -- 2022
- MATH49111: Scientific computing - Tutorial, 1st Semester 2021 -- 2022
- MATH10222: Calculus and Applications - Supervision, 2nd Semester 2020 -- 2021
- MATH20621: Programming with Python - Tutorial, 1st Semester 2020 -- 2021
Organization
Professional Qualifications
- Chartered Mathematician (CMath) — Institute of Mathematics and its Applications
- Member of the Institute of Mathematics and its Applications (MIMA) 2025 -- present
Professional Memberships
- Professional Member, Association for Computing Machinery (ACM) 2026 -- present
- Member, Society for Industrial and Applied Mathematics (SIAM) 2023 -- present
- Member of Institute of Electrical and Electronics Engineers 2021 -- 2022
- Member of Society for Industrial and Applied Mathematics 2020 -- 2022
- Member of Association for Computing Machinery 2021 -- 2022
Academic & Professional Service
- President, Manchester SIAM-IMA Student Chapter 2022 -- 2024
- Programme Committee Member, SC26 PMBS 2026 -- present
- Treasurer of SIAM-IMA Student Chapter 2021 -- 2022
- Vice president of SIAM-IMA Student Chapter 2020 -- 2021
Invited Review
- Advances in Computational Mathematics
- The European Symposium on Algorithms
- ACM Transactions on Knowledge Discovery from Data
- IEEE Signal Processing Letters
- IEEE Transactions on Neural Systems & Rehabilitation Engineering
- International Conference on Learning Representations
- The Journal of Open Source Software, Open Source Inititative
- International Journal of Forecasting, Elsevier
- Peer J Computer Science, Peer J
- Statistics and Computing, Springer
Conference Organization
- Manchester SIAM-IMA Student Chapter Conference 2023, Manchester, UK, April, 2023
- ILAS 2026 Minisymposium: Numerical Linear Algebra in Machine Learning, VA, USA, May, 2026