Topic Archive: CMU
Penn State University
Jason Rute received his doctorate in 2013 from Carnegie Mellon University, under the supervision of Jeremy Avigad. After a short stint at the University of Hawaii, he assumed a postdoctoral position at Penn State University. His work involves connections between computable mathematical structure and classical mathematical structure, including algorithmic randomness, reverse mathematics, effective mathematics, quantitative analysis, and metastability.
Bronx Community College
Kerry Ojakian is a professor of mathematics at the City University of New York (Bronx Community College). He conducts research in logic and combinatorics.