Российский государственный педагогический университет им. А. И. Герцена, институт компьютерных наук и технологического образования