Soshnikov Dmitry Valeryevich
Previous jobs:
Microsoft Rus
Education:
MAI - Moscow Aviation Institute (State Technical University) - 1999
Content |
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
Social activities
- Member of the Russian Association of Artificial Intelligence[6]
Some publications in well-known computer magazines
- Soshnikov D., Marchenkov E. Creating a computer game based on Microsoft technologies//PC world, 2009. № 6
- Dmitry Soshnikov, Forward to the Future, Special Issue: Hacker, number# 055
- Dmitry Soshnikov, Cybernetic Immortality, Special Issue: Hacker, number# 052
Notes
- ↑ Profile on the website of the GU-HSE
- ↑ International Conference on Databases and Expert Systems (DEXA) DEXA Program Committee
- ↑ Conference on Bioinformatics Research and Development (BIRD) BIRD Program Committee
- ↑ Microsoft Technologies in Programming Theory and Practice Conference
- ↑ International Workshop on Computer Science and Information Technology (CSIT) CSIT International Program Committee
- ↑ List of Members of the Russian Association of Artificial Intelligence
Links
- press portrait on Yandex
- Profile on the website of the State University Higher School of Economics
- Blog on the Microsoft website
- Video course "Functional programming"