СПбГУ, Мат-Мех и там кафедра системного программирования. Один-два года назад там были люди активно занимающиеся исследованиями в области языков программирования. И на тот момент начали активно разрабатывать тему верификации, но это было уже без меня, так что я не знаю чем закончилось.

Программирование выучить гораздо интереснее, чем язык...

Вооот! Потому и не учится язык. Мотивация для изучения языка — это все. Нет желания — нет языка. А возраст тут не причем. Швейцер вон в преклонном возрасте на медика пошел учиться.

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

LVV>Да как тебе сказать. Вот ты сможешь назвать, чего такого НАУЧНОГО сделано в программировании?
LVV>Именно в Computer Science ?

Best Paper Awards in Computer Science

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

A>Есть ли шанс найти в России аспирантуру, которая бы не только давала диплом, но и возможность реализовать свой научный потенциал?

Советская аспирантура не предназначена для того чтобы позволять кому-то "реализовывать потенциал". Аспирантура это всего лишь источник бесплатных рабов для институтов. Так что не майся дурью, а езжай в Европу. В Scala/Haskel mailing lists регулярно зовут на PhD. Хотя бы публиковаться будешь в нормальных журналах и от своего имени.

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

LVV>А тем, кому 25-30 опять же встает вопрос: а зачем ? Только не про английский, а про писать статьи...

Когда на твоей статье перед твоим именем стоят имена твоего научрука, его кореша, завлаба, его жены, замдиректора по сортирам, директора и пары его протеже; когда на конференцию в Амстердам по этой теме поедешь не ты, сделавший всю работу, а в лучшем случае завлаб; когда до того момента когда от грантов на твои исследования тебе будет доставаться хотя бы треть нужно сперва десять лет лизать задницу старперам и мыть за ними пробирки, у молодежи возникает закономерный вопрос: нафиг такое счастье.

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

А>Когда на твоей статье перед твоим именем стоят имена твоего научрука, его кореша, завлаба, его жены, замдиректора по сортирам, директора и пары его протеже; когда на конференцию в Амстердам по этой теме поедешь не ты, сделавший всю работу, а в лучшем случае завлаб; когда до того момента когда от грантов на твои исследования тебе будет доставаться хотя бы треть нужно сперва десять лет лизать задницу старперам и мыть за ними пробирки, у молодежи возникает закономерный вопрос: нафиг такое счастье.

Может, "чистить за ними клавиатуры"?

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

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

LVV>>А тем, кому 25-30 опять же встает вопрос: а зачем ? Только не про английский, а про писать статьи...

А>Когда на твоей статье перед твоим именем стоят имена твоего научрука, его кореша, завлаба, его жены, замдиректора по сортирам, директора и пары его протеже; когда на конференцию в Амстердам по этой теме поедешь не ты, сделавший всю работу, а в лучшем случае завлаб; когда до того момента когда от грантов на твои исследования тебе будет доставаться хотя бы треть нужно сперва десять лет лизать задницу старперам и мыть за ними пробирки, у молодежи возникает закономерный вопрос: нафиг такое счастье.
У вас ОЧЕНЬ мрачный взгляд на нашу научную жизнь...

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

___>Здравствуйте, LaptevVV, Вы писали:

LVV>>Да как тебе сказать. Вот ты сможешь назвать, чего такого НАУЧНОГО сделано в программировании?
LVV>>Именно в Computer Science ?

___>Best Paper Awards in Computer Science
Супер!

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

___>Здравствуйте, LaptevVV, Вы писали:

LVV>>Да как тебе сказать. Вот ты сможешь назвать, чего такого НАУЧНОГО сделано в программировании?
LVV>>Именно в Computer Science ?

___>Best Paper Awards in Computer Science
Кстати, если б мой аспирант перевел свой диссер на английский, мы во многих этих конференциях могли бы поучаствовать...

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

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

A>>Есть ли шанс найти в России аспирантуру, которая бы не только давала диплом, но и возможность реализовать свой научный потенциал?

А>Советская аспирантура не предназначена для того чтобы позволять кому-то "реализовывать потенциал". Аспирантура это всего лишь источник бесплатных рабов для институтов. Так что не майся дурью, а езжай в Европу. В Scala/Haskel mailing lists регулярно зовут на PhD. Хотя бы публиковаться будешь в нормальных журналах и от своего имени.
Да ладно. Мой аспирант одновременно работал начальником отдела АСУ... И никто его в рабы не загонял...

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

LVV>Поскольку вы еще молодой, то не можете знать, что в 60 выучить английский несколько сложнее, чем в 25-30.

Чушь. Люди и в 90 новые языки учат. Было бы желание.

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

LVV>Да ладно!
LVV>Зуев вон работает на Зонноном в Цюрихе.
LVV>А тот же Степанов — он что ли американец?
LVV>И посмотрите на Новосиб — там все работает.
LVV>А то, что в английских журналах не печатают — дык кому нужны конкуренты?
LVV>Мой знакомый доктор наук рассказывал, что западники не стесняются сдирать любые результаты и выдавать за свои.
LVV>Он лично имел такие проблемы. Поэтому он стал в архиве столбить свои результаты.
LVV>Да и вспромните китайцев, попытавшихся у Перельмана отобрать первенство.
LVV>А второе — кто может печататься — плохо знает английский. А кто знает английский — тот программист, а не исследователь.

А проясните тогда несколько моментов:
1. Что у вас за институт и как он финансируется? Печатание статей, особенно в зарубежных журналах, считается чуть ли не главным критерием успеха и полезности в научной среде.
2. В какой момент западники сдирают результаты? Если статья уже опубликована в журнале, то даже если сдирают — на это всегда можно указать, ведь у вас дата печати раньше.

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

LVV>А то, что в английских журналах не печатают — дык кому нужны конкуренты?
LVV>Мой знакомый доктор наук рассказывал, что западники не стесняются сдирать любые результаты и выдавать за свои.
K>>Кто имеет мозги в голове — учит английский. А кто не имеет — ноет и жалуется.
LVV>Да никто не жалуется.

Да вы вот и жалуетесь. Оказывается, что если не печатать статьи на английском в приличных журналах, а хоронить их в архивах на русском, то набигают отбирают и выдают. Сложить два и два эти "исследователи" очевидно не в состоянии.

Здравствуйте, yoriсk.kiev.ua, Вы писали:

YKU>Здравствуйте, LaptevVV, Вы писали:

LVV>>А то, что в английских журналах не печатают — дык кому нужны конкуренты?
LVV>>Мой знакомый доктор наук рассказывал, что западники не стесняются сдирать любые результаты и выдавать за свои.
K>>>Кто имеет мозги в голове — учит английский. А кто не имеет — ноет и жалуется.
LVV>>Да никто не жалуется.
YKU>Да вы вот и жалуетесь. Оказывается, что если не печатать статьи на английском в приличных журналах, а хоронить их в архивах на русском, то набигают отбирают и выдают. Сложить два и два эти "исследователи" очевидно не в состоянии.
1. Ссылочку, please, где я жаловался. А означенный доктор как раз без проблем на западе печатается, поэтому знает, что говорит.
2. Выделенное — не понял. Поясните, что имелось ввиду.

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

LVV>>>А то, что в английских журналах не печатают — дык кому нужны конкуренты?
LVV>>>Мой знакомый доктор наук рассказывал, что западники не стесняются сдирать любые результаты и выдавать за свои.
K>>>>Кто имеет мозги в голове — учит английский. А кто не имеет — ноет и жалуется.
LVV>>>Да никто не жалуется.
YKU>>Да вы вот и жалуетесь. Оказывается, что если не печатать статьи на английском в приличных журналах, а хоронить их в архивах на русском, то набигают отбирают и выдают. Сложить два и два эти "исследователи" очевидно не в состоянии.
LVV>1. Ссылочку, please, где я жаловался. А означенный доктор как раз без проблем на западе печатается, поэтому знает, что говорит.
LVV>2. Выделенное — не понял. Поясните, что имелось ввиду.

Ответы на оба ваших вопроса вы сможете найти внимательно перечитав ваши собственные два предложения в начале.

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

LVV>А то, что в английских журналах не печатают — дык кому нужны конкуренты?
???

LVV>Мой знакомый доктор наук рассказывал, что западники не стесняются сдирать любые результаты и выдавать за свои.
LVV>Он лично имел такие проблемы. Поэтому он стал в архиве столбить свои результаты.
Это несерьёзно, могут примазаться к открытию, оспорить первенство, но плагиатить явно будут только полные идиоты — так как в этом нет смысла.

Сейчас в западной академии рулит правило "publish or perish" — если у тебя нет публикаций с хорошей цитируемостью, то как учёный ты никому неинтересен. Конкретно в IT ещё рулят конференции.

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

___>Здравствуйте, LaptevVV, Вы писали:

LVV>>Да как тебе сказать. Вот ты сможешь назвать, чего такого НАУЧНОГО сделано в программировании?
LVV>>Именно в Computer Science ?

___>Best Paper Awards in Computer Science
Кстати, там видно, кто в РФ этим занимается:
http://scholar.google.com/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=Find+It+If+You+Can:+A+Game+for+Modeling+Different+Types+of+Web+Search+Success+Using+Interaction+Data&as_oq=&as_eq=&as_occt=any&as_sauthors=Ageev

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

S>Здравствуйте, __lambda__, Вы писали:

___>>Здравствуйте, LaptevVV, Вы писали:

LVV>>>Да как тебе сказать. Вот ты сможешь назвать, чего такого НАУЧНОГО сделано в программировании?
LVV>>>Именно в Computer Science ?

___>>Best Paper Awards in Computer Science
S>Кстати, там видно, кто в РФ этим занимается:
S>http://scholar.google.com/scholar?as_q=&num=10&btnG=Search+Scholar&as_epq=Find+It+If+You+Can:+A+Game+for+Modeling+Different+Types+of+Web+Search+Success+Using+Interaction+Data&as_oq=&as_eq=&as_occt=any&as_sauthors=Ageev

*work done while visiting Emory University.

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

A>Существуют ли в России (в особенности интересует Москва и Санкт-Петербург) институты/университеты с кафедрами, где занимались бы актуальными исследованиями в обласия языков программирования и верификации ПО?
...
A>Есть ли шанс найти в России аспирантуру, которая бы не только давала диплом, но и возможность реализовать свой научный потенциал?

Если интересует формальная верификация — welcome to the club: http://www.iis.nsk.su/, Лаборатория Теоретического Программирования.
Ну и новомодные языки это хорошо, но они лишь обертки над определенными концепциями алгебры и мат. логики, соот-но нужен хороший мат базис

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

gh2>Ну и новомодные языки это хорошо, но они лишь обертки над определенными концепциями алгебры и мат. логики, соот-но нужен хороший мат базис

Это не те ли ребята, что уже 20 лет Рапиру пилят?