Matvey SolovievIndex · Teaching · Procrastination
Matvey Soloviev324 Gates Hall
Ithaca, NY 14853
About meI'm a third-year (as of Spring 2016) PhD student in the Computer Science field. I am grateful to be advised by Joseph Halpern. Before coming to Cornell, I obtained a BA in Computer Science and an MMath (Part III) from the University of Cambridge.
My primary research interests lie at the intersection of logic, classical AI and program security as well as game theory. I maintain a working interest in other areas of mathematics and computer science theory, such as algorithm design and category theory.
Other projectsI maintain a number of open-source projects on my Github account. The following are of particular note: