Sort by
Refine Your Search
-
independently under the mentorship of the project director, Prof. Simon DeDeo, and a board of advisors in mathematics (Akshay Venkatesh, Michael Harris, Simon Rubinstein-Salzedo), computer science (Dana Randall
-
Structures: the formal study of mathematical proof itself, as a subject in computational complexity, type theory, metamathematics, logic, and beyond. What is the space of mathematical truth, and what proofs
-
under the mentorship of the project director, Prof. Simon DeDeo, and a board of advisors in mathematics (Akshay Venkatesh, Michael Harris, Simon Rubinstein-Salzedo), computer science (Dana Randall, Scott
Enter an email to receive alerts for computer-algorithm-"Prof" positions