Justin Hsu
Professor,
Cornell University
Justin Hsu is currently a professor at Cornell University. His interests are programming languages and verification for algorithms.