Здравствуйте, Аноним, Вы писали:

А>Здравствуйте, Aleх, Вы писали:

A>>Существуют ли в России (в особенности интересует Москва и Санкт-Петербург) институты/университеты с кафедрами, где занимались бы актуальными исследованиями в обласия языков программирования и верификации ПО?
A>>Из того что я видел, меня не устраивал состав сотрудников кафедр (их завышенное ЧСВ и членство в РАЕН, АТН, МАИ — сборище неадекватов в двух словах), неактуальные темы исследований (в лучшем случае мусолят какие то свои функциональные языки программирования и рефал; ни о каких Haskell, OCaml, не говоря уже о более редких, типа Clean, Agda, ATS, Mercury не слышали и слышать не хотят), по общему уровню знаний и исследований профессора застряли в 80х годах, что для такой быстро развивающейся области как Computer Science является плохим показателем.
A>>Есть ли шанс найти в России аспирантуру, которая бы не только давала диплом, но и возможность реализовать свой научный потенциал?

А>Ответ можете найти по адресу: http://www.fa-kit.ru/users/LEremin/sablon-demo.ppsx

во там много всякого интересного!