University professor. Emphasizes foundational theory and rigorous proofs.
0
Research projects
Research areas
Published articles
Portfolio