Институт системного программирования им. В.П. Иванникова РАН – топовый вуз в РФ и возможно мире, связанный с доказательным системным программированием.

Сайт: http://https//www.ispras.ru