Чжун Шао, соучредитель CertiK, назначил Кемпнера профессором компьютерных наук Йельского университета.

Чжун Шао, недавно назначенный профессором компьютерных наук Томаса Л. Кемпнера, сосредотачивает свои исследования на языках программирования, компиляторах, формальных методах и операционных системах.

В Йельском университете Шао возглавляет группу FLINT, целью которой является разработка новой и практичной инфраструктуры программирования для создания крупномасштабного сертифицированного системного программного обеспечения. Его работа охватывает различные области, начиная от проектирования языков программирования, реалистичного взлома ядра ОС, формальной семантики и логики, разработки компиляторов и проектирования до решения проблем, связанных со всеми аспектами параллелизма и распределенных вычислений.

В начале своей карьеры Шао был ключевым разработчиком и автором многих этапов компиляции, используемых в компиляторе Standard ML of New Jersey. Он спроектировал и разработал первый производственный компилятор с сохранением типов для всего языка Standard ML 1997 и был главным архитектором инфраструктуры сертификации FLINT.

Недавно Шао заинтересовался разработкой и применением новых языковых технологий для создания сертифицированного системного программного обеспечения. Сертифицированное программное обеспечение состоит из исполняемого двоичного файла и строго проверяемого машиной доказательства того, что программное обеспечение не содержит ошибок в соответствии с конкретными требованиями. Группа Шао разработала первую в мире устойчивую к хакерам параллельную операционную систему CertiKOS, что стало важной вехой на пути к созданию киберфизических систем, которые доказанно свободны от программных уязвимостей.

После получения его B.S. из Университета науки и технологий Китая, Шао учился в Принстонском университете, где получил степень магистра и доктора философии. в информатике. Он поступил на факультет Йельского университета в 1994 году в качестве доцента кафедры информатики. До своего нового назначения он был профессором информатики. Он также является заведующим кафедрой компьютерных наук.

Шао является автором или соавтором 90 статей в научных журналах. Его исследования финансировались рядом источников, в том числе Национальным научным фондом, Агентством перспективных оборонных исследовательских проектов, Управлением военно-морских исследований и другими организациями.

Источник: https://news.yale.edu/2018/02/12/zhong-shao-designated-kempner-professor-computer-science