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.

Background

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

Education

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

Career

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.

Works

  • book

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

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

      1991

Interests

  • Other Interests

    Tennis, chess.