Авиация Сошников, Дмитрий Валерьевич
22 января 2011Оглавление:
1. Сошников, Дмитрий Валерьевич
2. Участие в программных комитетах конференций
Дмитрий Валерьевич Сошников компьютерный специалист, координатор академических программ департамента стратегических технологий Microsoft.
Биография
Сошников родился в Москве, в 1999 году окончил Московский авиационный институт по специальности «прикладная математика». В 2002 году защитил кандидатскую диссертацию. С 1999 года преподает в МАИ, с 2003 года доцент кафедры вычислительной математики и программирования, с 2006 года работает в компании Microsoft, также преподает в МФТИ с 2008 года и в ГУ-ВШЭ с 2009 года.
Научные интересы
Сошников является специалистом в области логического и функционального программирования, искусственного интеллекта. Имеет около 60 научных работ, включая книги:
- Д. В. Сошников. Логический вывод на основе удалённого вызова и включения в системах с распределенной фреймовой иерархией. М.: Вузовская книга, 2002
- Д. В. Сошников. Парадигма логического программирования. М.: Вузовская книга, 2006, ISBN 978-5-9502-0205-6
Просмотров: 1754
|