Applied Mathematics · Artificial Intelligence · Autonomous Systems

Research Team

A three-person team spanning theory to metal — the mathematics of signals and frames, through statistical machine learning, foundation model evaluation and formal methods, down to embedded systems, server kernels and robot autonomy. Four co-authored papers between us, in harmonic analysis, concurrent program verification, and signal analysis.

100+Combined publications
4Joint papers
40+Combined years in ML & systems
5National labs & agencies
01

Team

02

Joint Work