Sankt-Peterburgsky gorny universitet, kafedra informatiki