Matvey Soloviev
324 Gates Hall
Cornell University
Ithaca, NY 14853
Email: msoloviev@cscornell.edu
About me
I'm a thirdyear (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.
Publications
 Sarah Tan, Matvey Soloviev, Giles Hooker, Martin T. Wells. Tree Space Prototypes: Another Look at Making Tree Ensembles Interpretable. arXiv:1611.07115 [stat.ML]. Accepted to ACMIMS FODS 2020.
 Seunghee Han, Matvey Soloviev and Yuwen Wang. The Impact of Tribalism on Social Welfare. arXiv:1907.06862 [cs.GT]. In SAGT 2019.
[ Talk slides ]
 Dexter Kozen and Matvey Soloviev. Coalgebraic Tools for RandomnessConserving Protocols. arXiv:1807.02735 [cs.LO]. In RAMiCS 2018.
[ Talk slides ]
 Matvey Soloviev, Joseph Y. Halpern. Information Acquisition Under Resource Limitations in a Noisy Environment. In AAAI 2018. [ Full paper ]
 Yuka Kihara, Matvey Soloviev, Tsuhan Chen. In the Shadows, Shape Priors Shine: Using Occlusion to Improve MultiRegion Segmentation. arXiv:1606.04590 [cs.CV]. In CVPR 2016. [ Openaccess paper ]
 Aleks Kissinger and Alex Merry and Matvey Soloviev. Pattern Graph Rewrite Systems. arXiv:1204.6695 [math.CT]. In EPTCS 143.5 for DCM 2012.
Other projects
I maintain a number of opensource projects on my Github account. The following are of particular note:
