Новый и все более популярный язык программирования Rust широко используется — от небольших стартапов до крупнейших мировых технологических корпораций — для разработки операционных систем, веб-браузеров и других критически важных с точки зрения безопасности приложений. За свою докторскую диссертацию, в которой Юнг заложил первые формальные основы программирования безопасных систем на Rust, он уже получил несколько всемирно известных наград.

Ральф Юнг — научный сотрудник в исследовательской группе «Основы программирования» профессора Дерека Дрейера в Институте программных систем имени Макса Планка в Саарбрюкене. С 2015 года Юнг сосредоточился на языке программирования, который изначально финансировался компанией Mozilla: «Rust меня заинтересовал, потому что у него очень заманчивое будущее: это язык программирования, который позволяет точно контролировать использование памяти и распределение ресурсов в системе, автоматически избегая при этом многих распространенных ошибок программирования», — говорит Ральф Юнг.

Весомость этого обещания служит практическое применение языка программирования: хотя первая стабильная версия Rust была выпущена только в 2015 году, язык уже используется многими крупными технологическими компаниями, такими как Microsoft, Google, Amazon, Dropbox и Facebook. В своей докторской диссертации Ральф Юнг представил первое формальное доказательство того, что обещания безопасности Rust действительно выполняются.

«Мы смогли проверить безопасность системы типов Rust и тем самым показать, как Rust автоматически и надежно избегает целых классов ошибок программирования», — говорит Ральф Юнг. При этом он также успешно рассмотрел особый аспект языка программирования: «Так называемая «типовая безопасность» идет рука об руку с тем фактом, что Rust накладывает ограничения на программиста и не позволяет делать все, что он хочет. Однако иногда необходимо написать в коде операцию, которую Rust не принял бы из-за своей типобезопасности», — продолжает ученый-программист. «Здесь вступает в игру особая особенность Rust: программисты могут пометить свой код как «небезопасный», если хотят добиться чего-то, что противоречит мерам безопасности языка программирования. Вместе с международными коллегами, включая моего научного руководителя Дерека Дрейера, мы разработали теоретическую основу, которая позволяет нам продемонстрировать, что заявления Rust о безопасности остаются в силе, несмотря на возможность написания «небезопасного» кода», — говорит Юнг.

Этот тест, называемый RustBelt, дополняется инструментом Miri, который может автоматически проверять, соответствует ли «небезопасный» код Rust важным правилам спецификации Rust — базовому требованию для корректности и безопасности этого кода. «Хотя RustBelt имел большой успех, особенно в академических кругах, Miri уже зарекомендовал себя в отрасли как инструмент для тестирования безопасности программ, написанных на Rust», — объясняет Ральф Юнг.

За свою диссертацию под названием «Понимание и эволюция языка программирования Rust» Ральф Юнг получил несколько национальных и международных наград. Работа Юнга получила одну из двух почетных наград Ассоциации вычислительной техники (ACM) в номинации «Премия за диссертацию». ACM заявляет: «Благодаря лидерству Юнга и его активному участию в рабочей группе по разработке рекомендаций по небезопасному коду Rust, его работа уже оказала глубокое влияние на проектирование Rust и заложила необходимую основу для его будущего». Премия ACM за диссертацию присуждается на международном уровне в области компьютерных наук и считается одной из самых престижных наград за диссертации по компьютерным наукам во всем мире. Он

также получил премию за докторскую диссертацию от Европейской объединенной конференции по теории и практике программного обеспечения (ETAPS), одну из самых важных наград в области программной науки в Европе. Кроме того, он был награжден медалью Отто Хана от Общества Макса Планка, которая ежегодно присуждается за особо выдающиеся научные достижения, связанные с диссертацией.

Более подробная информация