Сергей Старолетов

Доцент кафедры Прикладной математики Алтайского государственного технического университета имени И.И. Ползунова. Кандидат физико-математических наук (2011). Тема диссертации - Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей.

В разное время преподавал курсы для бакалавров и магистров Программной инженерии - тестирование и верификация, компоненты операционных систем, функциональные языки распределенных систем, параллельное программирование, паттерны проектирования, введение в информатику (олимпиадные задачи на языке С). Лучший молодой преподаватель АлтГТУ 2014 г.

Имею опыт преподавания в китайских учреждениях образования. Ранее занимался в том числе и промышленной разработкой сложного сетевого программного обеспечения (С++ teamlead в Sibers/Hirerussians).

В последнее время думаю над продолжением активных научных исследований в разработке и применении технологий верификации и обеспечения качества в гибридных и высоконадежных программных системах, связанных с повседневной деятельностью современных людей (умные устройства, автомобили, другая техника).

Темы последних научных работ со студентами связаны с моделями работы подсистемы прерываний Linux и моделями исполнения кода на GPU, а также графического конвейера с использованием инструментов Model Checking.