Интересы и экспертиза

Тщательное тестирование стало неотъемлемой частью любой производственной линии программного обеспечения. Но оно может довести нас только до определенного момента. Дополнение тестирования инструментами и методами, основанными на формальных методах и анализе программ, имеет большое значение, особенно когда код органически разрастается и становится огромным. Я страстно следую линии формальной верификации и анализа программ, чтобы понимать и реализовывать надежность программного обеспечения ко всем возможным угрозам.

Продвижение более научного мышления в язык программирования всегда помогает продвигать сообщество разработчиков большими шагами. Гарантии становятся мгновенными на этапе компиляции (с умными средами разработки даже на этапе программирования!). Rust, Golang, функциональное программирование подтверждают это, и более недавно Movelang для блокчейнов. Мы в Supra стремимся направлять и наставлять разработчиков инфраструктуры, а также разработчиков на уровне децентрализованных приложений к большему абстрагированию, простоте и безопасности при сохранении производительности.

Распределенные протоколы являются основой современных программных систем. Создание высокоэффективных и надежных фундаментальных разработок имеет первостепенное значение и становится все более и более необходимым. Мы в Supra рассматриваем все распределенные протоколы с оригинальной точки зрения и вносим основные идеи, чтобы вся отрасль и сообщество извлекли из этого пользу.

Комментарий

Наш генеральный директор Джошуа Тобкин глубоко внедрил в организацию подход «сначала исследования». Благодаря его инициативам, дальновидному мышлению и ключевым инсайтам, команда исследователей нацелена на соединение глубоких знаний с практической пользой. Мы разработали семейство консенсус-протоколов с высокой пропускной способностью, низкой задержкой и масштабируемостью, которое укрепит позиционирование Supra как IntraLayer.

Мы тщательно продумали динамику высокозащищённого мостового протокола, используя более практичную рациональную модель, и создали семейство мостовых протоколов, которые подверглись строгому анализу с помощью методов теории игр.

Избранные научные публикации