RSS
Логотип
Баннер в шапке 1
Баннер в шапке 2

Content

Soshnikov Dmitry Valeryevich
Soshnikov Dmitry Valeryevich

Dmitry Valerievich Soshnikov (born March 27, 1974) is a computer specialist, coordinator of academic programs of the Department of Strategic Technologies Microsoft Rus.

Biography

Soshnikov was born in Moscow.

In 1999 he graduated from the Moscow Aviation Institute with a degree in applied mathematics. In 2002 he defended his thesis. Since 1999 he has been teaching at the Moscow Aviation Institute, since 2003 he has been an associate professor of the Department of Computational Mathematics and Programming, since 2006 he has been working at Microsoft, and has also been teaching at the Moscow Institute of Physics and Technology since 2008 and at the Higher School of Economics since 2009.

Research interests

Soshnikov is a specialist in the field of logical and functional programming, artificial intelligence. Has about 60 scientific papers[1], including books:

  • D.V. Soshnikov. Logical output based on remote call and inclusion in systems with a distributed frame hierarchy. - M.: University Book, 2002
  • D.V. Soshnikov. Logic programming paradigm. - M.: University Book, 2006, ISBN 978-5-9502-0205-6

Participation in Conference Program Committees

  • [2]
  • [3]
  • Microsoft Technologies in Programming Theory and Practice[4]
  • [5]

Social activities

  • Member of the Russian Association of Artificial Intelligence[6]

Some publications in well-known computer magazines

Notes

Links