Stepan L. Kuznetsov is a senior research fellow at Steklov Institute of Mathematics in Moscow, an associate professor at Computer Science Department of Higher School of Economics in Moscow, and an assistant professor at Lomonosov Moscow State University (Department of Mathematical Logic and Theory of Algorithms). His scientific interests lie in the field of Non-Classical Logics and their applications in Computer Science and Linguistics.