RussianРусская версия

Vladimir Itsykson

Фото

Vladimir Itsykson graduated from Saint Petersburg State Technical University (now - Peter the Great St. Petersburg Polytechnic University) in 19961996 and continued his education in Polytechnic University as a PhD student. In 2000 he successfully defended his PhD thesis “Research and design of models and software for computer systems simulation”. Since 2000 he had been working as an associate professor of Automation and Computer Systems (now -Computer Systems & Software Engineering, SC&SE) department. In 2015 he became the head of Computer Systems & Software Engineering department. Since September, 2019 he is the Director of the Higher School of Intelligent Systems & Supercomputer Technologies.

Since 2000 he has been the head of Digitek labs. Digitek is one of the R&D divisions of CS&SE department. The main activities of the laboratory are related to the research and development of software and hardware design and verification.

Vladimir Itsykson is the author of 100+ journal & conference papers in the area of program analysis and software specifications.

Research Area

  • Software development technologies
  • Software engineering
  • Static analysis & verification
  • Software testing automation
  • Software revers-engineering and re-engineering

Teaching

Conferences & Schools

Event Logo
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-2013) ESEC/FSE-2013
International Workshop on Verification of Embedded Systems 2013 (VES 2013)
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013) PSSV-2013
International Workshop "Fun With Formal Methods" (FWFM 2013) FWFM 2013
Summer School on Concurrency (RSSC2012)
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012) PSSV-2012
Software Engineering Conference Russia 2012 (CEE-SECR 2012) SECR2012
Application Developer Days (ADD-3) ADD-3
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) PSSV-2011
Software Engineering Conference Russia 2011 (CEE-SECR 2011) SECR2011
Summer School in Software Engineering and Verification 2011 (SSSEV 2011) SSSEV2001

Scientific and education papers

2013

2012

2011

2010

2009