Краснов Михаил

Михаил — старший научный сотрудник, к.ф.-м.н. ИПМ им. М.В. Келдыша РАН.

Профессиональные интересы Михаила лежат в области численного моделирования, функционального программирования, графических ускорителей и нейросетей. Он работает доцентом кафедры информатики МФТИ и читает базовый курс «Сравнительный анализ языков программирования» для студентов четвёртого курса.

Михаил окончил МФТИ в 1988 году с красным дипломом, проходя обучение на базе ИПМ им. М.В. Келдыша. В 1991 году завершил аспирантуру МФТИ. С 1988 по 1993 год работал в ИПМ Келдыша, а затем больше двадцати лет — с 1993 по 2014 год — занимался разработкой биржевых и банковских систем, а также криптографических решений в компании ИНИСТ, работая преимущественно на C++ и Java.

В 2007 году начал преподавать в МФТИ, и с тех пор преподавательская деятельность стала значимой частью его профессиональной жизни. В 2014 году Михаил вернулся в ИПМ им. М.В. Келдыша уже в роли старшего научного сотрудника, продолжив заниматься исследованиями. В 2017 году успешно защитил кандидатскую диссертацию.