кандидат физико-математических наук, младший научный сотрудник
Область научных интересов: Синтез схем, управляющие системы
А.А. Ефимов родился 4 февраля 1992 года в городе Уфа. В 2010 году окончил среднюю школу №68 г. Уфы с золотой медалью.
В 2010 году поступил на механико-математический факультет МГУ. С 2012 года обучался на кафедре Математической теории интеллектуальных систем под руководством Гасанова Эльяра Эльдаровича.
В 2015 году окончил механико-математический факультет, защитив дипломную работу на тему "Приближённые алгоритмы построения деревьев Штейнера" и поступил в аспирантуру механико-математического факультета, где занялся изучением синтеза схем. В 2023 году защитил кандидатскую диссертацию по теме "Оценки энергопотребления объёмных схем".
А.А. Ефимов ведёт семинары для студентов 1 курса механико-математического факультета МГУ им. Ломоносова по теории дискретных функций.
- Оценки энергопотребления объёмных схем. Кандидатская диссертация по специальности 1.1.5 - Математическая логика, алгебра, теория чисел и дискретная математика (физ.-мат. науки)
- Нижняя оценка энергопотребления для класса объёмных схем (2023). Ефимов А.А. в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 27, № 1, с. 91-133
Текст на сайте журнала - Оценки энергопотребления для класса объёмных схем с близкими выходами (2022). Ефимов Алексей Андреевич в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 26, № 3, с. 109-149
Текст на сайте журнала - Верхняя оценка энергопотребления в классе объемных схем (2019). Ефимов Алексей Андреевич в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 1, с. 117-132
Текст на сайте журнала - Верхняя оценка энергопотребления объёмных схем, реализующих булевы операторы (2019). Ефимов Алексей Андреевич в журнале Интеллектуальные системы. Теория и приложения, издательство ООО "Интеллектуальные системы" (Москва), том 23, № 2, с. 105-124
- Курсовая работа (2014): Приближенные алгоритмы построения деревьев Штейнера.
- Курсовая работа (2013): Приближенные алгоритмы построения деревьев Штейнера.
- Дипломная работа (2015): Приближенные алгоритмы построения деревьев Штейнера.
- Вопросы сложности алгоритмов поиска, семинар по выбору студента
- Теория сложности управляющих систем, курс по выбору кафедры
- специалитет, год окончания 2026