Evgeny Zolin: Homepage

Homepage of Evgeny Zolin

Here is the list of my publications.
Here is the Description Logic Complexity Navigator.
Here is the Graded Modal Logic Complexity Navigator (under construction).
Here is my JavaScript emulator of the famous Langton's Ant, just for fun!
A manual is coming soon, just press "Create" and then "By steps";
also try the Triangular grid, seemingly my invention
(and make dimensions larger to see the miraculous picture appearing).
PhD Thesis: "Modal Logics with the Non-Contingency Operator" (2002)
Scientific advisors: Sergei N. Artemov, Vladimir A. Uspensky.
In 2004–2007, I worked here in Manchester on the EPSRC project DynamO as a Research Associate.
Currently, I work as a Senior scientific researcher at:
Department of Mathematical Logic and Theory of Algorithms
Faculty of Mathematics and Mechanics
Moscow State University
Here is my MaMuTh page.