Sort by
Refine Your Search
-
the grant entitled “Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory” from the Multidisciplinary University Research Initiative (MURI) program of the Air Force Office of
Searches related to professor computer science
Enter an email to receive alerts for professor-computer-science positions