Дмитрий Журихин

ИСП РАН

Занимается статическим анализом больше десяти лет. Компиляторами еще дольше. Один из разработчиков статического анализатора Svace. Преподаватель факультета ВМК МГУ им. М. В. Ломоносова.