https://tezosfoundation.ch/news/tezos-foundation-issues-grants-to-four-leading-research-institutions/⚡️⚡️⚡️ Анонс TF о 4 новых грантах:
1)
https://www.cs.cornell.edu/people/egs и
http://www.initc3.orgГрант для команды профессора Корнеллского университета Emin Gün Sirer (технический советник Tezos'а, активный сторонник и консультант нового консенсус-алгоритма Avalanche), которая начнет двухлетнюю исследовательскую работу по консенсусным алгоритмам, в частности, сосредоточив свое внимание на шардинге и возможности его применения в протоколе ꜩ.
2)
https://www.ubi.pt/en/Грант для двух проектов ведущего исследовательского университета в Португалии - Universidade da Beira Interior. Первый проект будет включать исследования по имплементации логирования данных с производственных роботов с помощью ꜩ. Второй проект, в котором примут участие 2 PhD (доктора наук), будет исследовать инструменты статистического анализа данных в смарт-контрактах программного языка Michelson, с фокусом на техниках формальной верификации и поддержке автоматизированной проверки смарт-контрактов с помощью Why3 и Coq.
3)
https://decet.coДвухлетний грант для научно-исследовательского учреждения Decet из Иллинойсского университета в Урбане-Шампейне (США). В задачи входит составление, структурирование и публикация документации для экосистемы ꜩ. Документация будет включать технические спецификации, учебные пособия, руководства как для разработчиков, так и для простых пользователей. Более подробно в анонсе на сайте Decet.
4)
http://www.france-ioi.org и
https://en.wikipedia.org/wiki/Institut_Mines-TélécomВ рамках дополнительных усилий по расширению возможностей сообщества ꜩ, France-IOI, в партнерстве с Institut Mines-Télécom (государственного французского вуза, который объединяет 12 высших инженерных школ в области телекоммуникаций), Blaise Pascal Foundation и другими, будут разрабатывать образовательные инструменты, контент и организовывать мероприятия, чтобы помочь большему числу студентов узнать о программировании, высокоуровневых алгоритмах и технологии, лежащую в основе проекта ꜩ. Гранты Decet и France-IOI будут также поддерживать обучение и подготовку существующих и будущих разработчиков Tezos.
В конце этого месяца TF проведет конкурс заявок на предоставление новых грантов. Перспективные грантополучатели из научно-исследовательских учреждений, нуждающиеся в немедленном рассмотрении гранта, могут уже сейчас подать заявку через промежуточную форму предоставления грантов.
