Проект сотрудника Лаборатории теоретического программирования к.ф.-м.н. Алексея Владимировича Промского «Верификация программ на языке С с эффективной локализацией ошибок» стал одним из победителей Лаврентьевского конкурса молодежных проектов 2010 г.