Log In

Viktor Sabelfeld Edit Profile

software engineer , computer scientist

Viktor Sabelfeld, Russian and German computer scientist.

Known by research results in program analysis, optimization and verification.


Sabelfeld, Viktor was born on August 22, 1949 in Krugloosernoe, Russia.


Diploma in mathematics, Novosibirsk State University, Russia, M. Sc. 1971.


Scientific researcher, Computing Center of Siberian branch of Russian Academy of Sciences, Novosibirsk, 1971-1989.

Leading scientific researcher, Institute of Informatics Systems, Novosibirsk, 1990-1992 .

Visiting researcher Munich Technology University, 1992-1993.

Head of research group, Institute Informatics Systems, Novosibirsk, 1993-1996.

From assistant to professor Novosibirsk State University, 1976-1996.

Guest scientific researcher Siegen University, Germany, 1996-1997.

Scientific researcher Karlsruhe University, Germany, 1997-2004.

Senior Software Engineer, Esciris GmbH, Germany, 2005-2006.

Senior Professional Engineer, Swisscom AG, Switzerland, 2007-2014.

Docent at VHS Ludwigsburg, Germany, since 2015.


  • book

    • Computer Praktikum: Methodology of Program Development, with V.N. Kassyanov

    • Theory of Program Schemata, with V.E. Kotov



  • Other Interests

    Tennis, chess.