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

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