Mints97
Рейтинг:
100.9
100.9
0.0 за неделю
Прогресс до следующей звезды:
Оффлайн
Друзья
Заблокированные
В друзьях у
В заблокированных у
Ресерчи тоже есть, но это не обязательно. Т.е. у нас обязательное требование - сделать какой-то проект по заказу от компании с группой других студентов по всем правилам SE (это называется capstone design project), но есть альтернативные варианты, и я выбрал один из них - помогать профессору с какой-то исследовательской деятельностью и по ходу дела мотать на ус и писать различные зачетные работы в стиле научных статей. Я, например, попал к крутому молодому чуваку, работает по теме статического анализа кода. В этом семестре он меня вводил в курс дела, а в следующем я с парой других ребят буду переписывать с джавы на OCaml сопроводительный код к работе, которую он готовит к публикации, и по ходу его дополнять. Если интересно, работа будет на тему хитрой практической реализации абстрактной модели product programs, которую предложил мужик по имени Gilles Barthe в статье "Relational verification using product programs", и применении ее для доказательства partial program equivalence (т.е., грубо говоря, тебе дают две функции и какое-то отношение на их входных и выходных данных, и ты говоришь "если предположить, что они обе завершат работу, то они при любых входных данных сделают одно и то же", либо же говоришь, что можно доказать обратное, или что вообще ничего доказать невозможно имеющимися средствами; это очень много где можно применять). Тема пиздец интересная, но я до сих в ней очень многого, к сожалению, не понимаю.