Преподаваемые дисциплины
- математика;
- информатика;
- информационные технологии.
Образование:
- 1996–2001 — Красноярский государственный университет, квалификация — математик.
- 2001–2004 — Красноярский государственный университет, квалификация — преподаватель высшей школы.
- 2004 — защита диссертации на соискание ученой степени кандидата физико‑математических наук, тема: "Допустимые и выводимые правила вывода в нестандартных логиках".
Профессиональный опыт
- 2013–2014 – учитель математики, МБОУ Гимназия № 13, г. Нижний Новгород.
- 2009–2011 – доцент кафедры математического обеспечения дискретных устройств и систем, Сибирский федеральный университет, институт фундаментальной подготовки.
- 2005–2008 – инженер‑программист, Институт вычислительного моделирования СОРАН, старший преподаватель, Красноярский государственный университет (Сибирский федеральный университет).
- 2001–2005 – старший преподаватель, Красноярский государственный университет.
Область научных интересов
- математическая логика.
Основные публикации
Всего более 25 опубликованных работ, наиболее значимые из них:
- Golovanov M.I., Rybakov V.V., Yurasova E.M.// A necessary condition for rules to be admissible in temporal tomorrow‑logic// Bulletin of the sction of Logic. 2003 V. 32 № 4. P. 213–220.
- Голованова Е.М.(Юрасова) Критерий допустимости правил вывода для некоторого класса логик, не обладающих свойством ветвления //Сиб. мат. журнал. 2003 Т. 44 № 4. C. 726–736.
- Голованов М.И., Кияткин В.Р., Рыбаков В.В., Юрасова Е.М. Математическая логика. Курс лекций/ Красноярск: СФУ, 2008. — 103 c.