Алексей Замятин

В 1969 году окончил механико-математический факультет Уральского государственного университета по специальности «Математика». В 1970 году начал работу и преподавание по кафедре алгебры и дискретной математики Уральского государственного университета. В 1988—2004 гг. был начальником Вычислительного центра Уральского государственного университета, в 1989—2009 гг. — заведующим отделом системного программирования НИИ физики и прикладной математики УрГУ.Кандидат физико-математических наук (1979), доцент (1988).Принадлежит к научной школе Л. Н. Шеврина.Выполнил цикл исследований по разрешимости элементарных теорий многообразий колец и групп, в частности решил известную проблему Тарского-Ершова о разрешимости элементарных теорий многообразий групп.Опубликовал более 40 научных работ в области алгебры и математической логики.Прочитал ряд основных математических курсов на математико-механическом, философском и экономическом факультетах Уральского государственного университета. Разработал и прочитал курс «Дискретная математика и математическая логика» для студентов специальности «Информационные системы» и ряд спецкурсов, среди которых «Сети Петри и моделирование систем» и «Лингвистические основы информатики».Хозяйка тайги 2. К морю. 3 серия (2013) приключения Также преподавал на кафедре прикладной геометрии и автоматизации проектирования Уральского государственного технического университета — УПИ и в Уральской государственной архитектурно-художественной академии (УралГАХА).В 2009 году получил диплом и благодарность от студентов УралГАХА за «мудрость и человечность».