Dmitry Itsykson I am a non-faculty researcher at the Computer Science Department of the Ben-Gurion University of the Negev. I am currently on leave from the Laboratory of Mathematical Logic of Steklov Institute of Mathematics at St.Petersburg, where I hold a leading researcher position. Nitice! This is my old web-page my new one is http://ditsykson.github.io

Main page Research papers Contacts

Address 1: Department of Computer Science, Ben-Gurion University of the Negev, P.O. Box 653 Beer-Sheva 84105, Israel Address 2: Laboratory of Mathematical Logic, Steklov Institute of Mathematics at St.Petersburg, 27 Fontanka, St.Petersburg 191023, Russia Email: username: dmitrits, domain: pdmi.ras.ru