AT
может не совсем пруф инжиниринг, но базу точно рассказывают
Size: a a a
2020 January 31
R
ну вот в том же мгу чет не слышал, хотя есть кафедра АЯ
R
там фп это из лиспа в хаскель
AT
в мгу кажется было, даже пособие мне их попадалось
AT
в мфти рассказывает Евгений Дашков
R
с мфти не знаком, увы
AT
в спбгу Антон Подкопаев и Дмитрий Булычев
R
там же еще куча микрокафедр
AG
вообще где снг школа пруф инжинирга или чистого компутер саенса?
в телеграме
R
а куда в аспирантуру тогда идти
AT
@Mrsameman кстати, да, есть чат по завтипам, есть по формальным методам, есть чисто по Coq
AT
видимо Алекс на эту школу намекает)
R
@Mrsameman кстати, да, есть чат по завтипам, есть по формальным методам, есть чисто по Coq
понимаешь, хочется окунуться в процессе обучения, а не как хобби
AT
понимаешь, хочется окунуться в процессе обучения, а не как хобби
если в ИСП РАН есть аспирантура -- то можно туда
AG
да не учат этому пока нигде толком
AT
зависит от научных интересов
R
с другой стороны что мешает самому искать проекты
AG
молодая отрасль