Resume
Academic Achievements
- Long-term dedication to the development of automated intelligent programming systems, with notable achievements in cross-stack synergy and integration.
Research Experience
- Leads the PICASSO Lab, focusing on research areas such as program verification and testing, high-level algorithmic optimization and autotuning, domain-specific programming language designs, kernel library implementations, advanced compilation constructions, and computer architecture designs.
Background
- Research interests include building automated, intelligent programming systems that leverage, integrate, and advance math, physics, and computer science. Particular focus on Machine Learning (ML) and Quantum Computing (QC).
Miscellany
- Believes that research is like art, requiring a set of skills to make one's work appealing; emphasizes originality over incremental work.