Пантелеев Павел Анатольевич


Пантелеев Павел Анатольевич




П.А.Пантелеев родился 12 ноября 1979 года в г. Москва. В 1996 году окончил среднюю школу №7 г. Ступино с золотой медалью.

В 1996 году П.А.Пантелеев поступил на механико-технологический факультет МАТИ им. К.Э.Циолковского. В 2001 году поступил в аспирантуру механико-математического факультета, после окончания которой, в 2006 г. защитил кандидатскую диссертацию на механико-математическом факультете МГУ по специальности 01.01.09. Название диссертации: «Об отличимости состояний конечного автомата».

С сентября 2003 года П.А.Пантелеев работает на механико-математическом факультет МГУ им. М.В.Ломоносова и в настоящий момент является научным сотрудником кафедры МаТИС. Лауреат стипендии поддержки молодых исследователей LSI Logic Corporation 2003 года. С 2004 года – сотрудник LSI Logic Corporation. Победитель конкурса на присуждение стипендии МГУ имени М.В.Ломоносова для молодых преподавателей и ученых, добившихся значительных результатов в преподавательской и научной деятельности 2007 года.

Область научных интересов. Теория экспериментов с автоматами; диагностические эксперименты; синтез кодеров и декодеров для кодов исправляющих ошибки; интеллектуальная система для автоматического решения математических задач.

П.А.Пантелеев участвует в работе научных семинаров "Компьютерный решатель математических задач" и "Элементы кибернетики" совместно с проф. А.С.Подколзиным. Он ведет семинарские занятия по курсу "Теория автоматов" для студентов 4-го курса кафедры и практикум по ЭВМ для студентов Ташкентского филиала МГУ им. Ломоносова. П.А.Пантелеев также читает курс лекций "Введение в теорию помехоустойчивого кодирования"