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