Matvey Soloviev

Welcome to my academic website. I'm Matvey, a postdoctoral researcher in the LangSec group at the KTH Royal Institute of Technology in Stockholm, Sweden. My research focuses on the theoretical foundations of computer security, specifically the application of logical and algebraic techniques to understand the flow of information through a program, and relate it to the system operator's intent as represented by the security policy.

I have recently completed my PhD at Cornell University under the supervision of Joe Halpern. Before coming to Cornell, I obtained a BA in Computer Science and an MMath (Part III) from the University of Cambridge.

Selected Publications


If you have any questions, don't hesitate to contact me by e-mail (reveal).

Other projects

I maintain a number of open-source software projects on my Github account, including Notekit, a hierarchical Markdown notetaking and organization tool with graphics tablet support; a Turing-complete macro processor for C++; and Autopen, a combination text editor and output variant tree explorer for generative language models.