Home
Research
Teaching
Resume
Security-Typed Programming within Dependently-Typed Programming
Adaptive and Precise Root Solving for Polynomials