Helps students unlock their full potential.
Academic Background: Ph.D. in Computer Science, University of Texas at Austin.
Research Interests: Programming languages, formal methods, and software verification.
Appointments:
Publications:
Additional Contributions: Developer of educational tools for teaching programming language concepts.