Доцент - Высшая школа программной инженерии

Область исследовательских интересов

• моделирование встроенных систем управления
• формальная верификация распределенных систем и алгоритмов
• формальная спецификация встроенных систем управления
• дистанционное образование

Членство в профессиональных организациях

ACM - c 2017года

Расписание 

Часы занятий 

Если  требуется консультация или встреча, то пишите заранее по указанному электронному адресу, чтобы обнаружить меня в офисе.

Студенты! Не забывайте подписываться именем, фамилией, номером группы, названием дисциплины

Читаемые курсы 

• Математическая логика (практика - бакалавры, магистры)
• Математическая логика (дистанционный курс Математическая логика  - бакалавры, магистры)
• Теория автоматов и формальных языков (курсовая работа - бакалавры)
• Верификация параллельных и распределенных программных систем (практика - магистры)
• Распределенные алгоритмы (лекции и практика - бакалавры)

Общие требования, предъявляемые к сдаваемым курсовым работам и зачетам

1. Во время семестра в согласованное с преподавателем время можно приходить консультироваться по любому из выше перечисленных курсов.
2. При согласии преподавателя курсовую работу можно сдавать в середине семестра.
3. Общее количество попыток сдачи зачета и курсовой - 3 раза. Оно не зависит от времени сдачи зачета или курсовой (т. е. от того, сдаете ли Вы ее во время семестра, или в зачетную неделю).
4. Во время посещения можно ИЛИ консультироваться, ИЛИ сдавать курсовую работу. Нельзя сделать и то, и другое в одно посещение.
5. СПбПУ установлены правила сдачи курсовых работ. 
6. Обращаю внимание на следующие обязательные компоненты, требуемые вузом, без которых я не принимаю курсовые работы:
1. отчет в электронном виде (не присылайте мне его по почте - приносите на носителе, когда приходите сдавать), оформленный согласно положению о курсовых работах (ссылка выше). В частности, должно быть соблюдено оформление, название вуза, института, кафедры, предмета, сохранена требуемая структура, список литературы должен содержать 5 источников, должны быть ссылки в тексте на элементы списка литературы,
2. титульный лист отчета в печатном виде с вашей подписью,
3. скан титульного листа отчета с Вашей подписью на белом фоне
7. Требования к содержанию отчетов. В отчете не надо "воды", отчет должен содержать информацию, демонстрирующую Вашу квалификацию как инженера при выполнении курсовой. Отчет должен содержать преимущественно ВАШ текст (90%). Все заимствования чужого текста должны быть оформлены как цитаты, должны быть даны ссылки на соответствующие источники литературы. Иное оформление является нарушением авторских прав и называется плагиатом. В случае обнаружения плагиата  курсовая работа не засчитывается.
8. Количество групп в осеннем семестре 2019 г.  - 13 штук. Зачеты по всем предметам семестра на зачетной неделе идут одновременно у всех групп. Если не хотите стоять в длинной очереди, то сдавайте курсовую работу раньше (это приветствуется).
9. Тот, кто не сдал зачет или курсовую в сессию (день, назначенный по расписанию), получит следующую попытку уже в дополнительную сессию. Никаких сдач вне расписания  экзаменационной сессии не производится.