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