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

Vladimir Itsykson

Фото

Vladimir Itsykson graduated from Saint Petersburg State Technical University in 1996. Since 1996 he continued education in University as a post graduate student. In 2000 he successfully defended his PhD thesis "Research and design of models and software for computer systems simulation". Since 2000 he works as associate professor in Automation and Computer Systems (now is Computer Systems & Software Engineering, SC&SE) department.

Since 1997 he is a head of educational laboratory "Network technologies and computer simulation". In 2000 he took part in faculty telecommunication center foundation. He is a director of this center from 2001.

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

Research Area

  • Software development technologies
  • Software engineering
  • Software defect detection methods
  • Software testing automation
  • Software revers-engineering and reengineering

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