From a9d77bd4c7432734d6b307c00d68ed25fa086b2c Mon Sep 17 00:00:00 2001 From: Tatiana Muhina Date: Wed, 8 Jun 2022 09:38:54 +0000 Subject: [PATCH] New file data/magprog/content/mentors/Efanov.md --- data/magprog/content/mentors/Efanov.md | 40 ++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 data/magprog/content/mentors/Efanov.md diff --git a/data/magprog/content/mentors/Efanov.md b/data/magprog/content/mentors/Efanov.md new file mode 100644 index 0000000..7ff2c37 --- /dev/null +++ b/data/magprog/content/mentors/Efanov.md @@ -0,0 +1,40 @@ +--- +content_type: magprog_mentor +name: Ефанов Андрей Александрович +id: Efanov +image: images/mentors/Efanov.jpg +language: ru +--- + +#### Организация +Tinkoff + +#### Биография +Бакалавриат, Магистратура НИУ “МЭИ” по направлению “Прикладная математика и информатика” НИУ “МЭИ”. Аспирантура НИУ “МЭИ” по направлению “Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей”. +Работаю над диссертацией в областях моделей вычислений и формальной верификации сложных распределённых программ. + +До Tinkoff я успел поработать в компании AAM Systems, где разрабатывал интеграцию распределённой СКУД с пожарным и охранным биометрическим оборудованием. Для этого также развивал FFI-фреймворк JNR-FFI, использующийся в JRuby. + +На протяжении первых 2 лет в Tinkoff я работал Аналитиком в разных проектах, благодаря чему научился управлению проектами с разной спецификой: классическая разработка, ML, операционных. + +Сейчас в Tinkoff я в роли технического лида руковожу разработкой бекенда Helicopter — корпоративной web-based IDE для анализа данных с помощью интерактивных ноутбуков (а-ля Jupyter Notebook или Apache Zeppelin). + +Помимо этого я являюсь Старшим преподавателем в НИУ “МЭИ”, где преподаю различные курсы по Computer Science, среди которых Теоретические модели вычислений, а также консультирую студентов по научной работе. + +#### Направление исследований +* Распределённые средства разработки ПО. +* Средства динамического и статического анализ исходного кода. +* Средства формальной верификации программ. +* Разработка DSL. + +#### Требования к студентам +* Базовые знания одного из языков программирования: Kotlin, Java, Python, C++. +* Знание SQL. +* Знание структур данных и понимание трудоемкости алгоритмов. +* Понимание клиент-серверного взаимодействия программ. +* Интерес к области анализа исходного кода. + +#### Особенности работы +Студентам предлагаем разработать сервис автодополнения SQL-кода (automatic code completion) на основе [Language Server Protocol](https://microsoft.github.io/language-server-protocol). Система должна быть расширяема новыми диалектами SQL, а также бережно интегрироваться с системами-источниками данных, собирая метаданные о схемах хранения из Data Catalog (например, [LinkedIn DataHub](https://datahubproject.io)). + +