Александр Пенской

О себе

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

• Разработка системы учёта электроэнергии для небольших городов, соответствующей требованиям сертификации.
• Кандидатская диссертация об архитектуре многоуровневых компьютерных систем: как уровни системы взаимодействуют на этапах конфигурирования, компиляции и интерпретации, а также между программными и аппаратными компонентами.
• Создание САПР для специализированных процессоров жёсткого реального времени.
• Проектирование, разработка и управление исследовательским проектом по системам планирования для распределённого производства с ограниченным доступом к производственной документации.

Мои темы

Я могу быть вашим руководителем в различных теоретических и технических областях:

Теоретические темы

1. Моделирование данных: как представлять данные предметной области, формализовать и интерпретировать их и встраивать модели данных в программные системы.
2. Архитектурное проектирование: как визуализировать архитектуру системы и использовать архитектурные описания при проектировании и реализации.
3. Системная инженерия: как понимать систему целиком, выделять важные компоненты и вопросы и оценивать её качество.
4. Инженерные методы: как подходить к разработке методично, но просто, и справляться с управлением проектом, когда всё идёт не так.

Технические темы

1. Функциональное программирование: альтернативные подходы к разработке на основе принципов функционального программирования и их применение в реальных проектах.
2. Предметно-ориентированные языки: как упростить программирование, почему такие языки не всегда лучшее решение и как интегрировать eDSL в основной язык.
3. Распределённые системы: лучшие практики проектирования и реализации распределённых систем с учётом конкретных бизнес-требований.
4. Верификация программного обеспечения: как убедиться, что система соответствует ожиданиям, и как эти ожидания сформулировать.

Посмотрите мои проекты, чтобы лучше понять, чем я занимаюсь и чем могу помочь.

Мои проекты

Эти проекты могут стать темой вашей бакалаврской или магистерской работы.

Текущие

• NITTA
  Инструмент для проектирования CGRA-процессоров жёсткого реального времени
• Wrench
  Симулятор процессоров, ассемблер и система автоматической проверки для обучения архитектуре компьютера

Архив

• Course Bot
  Telegram Bot for Course Automation on Clojure
• TailBook
  Помогаем людям помогать бездомным животным и обществу

Мои курсы

• Computational Process Organisation
  How to describe computational process in a different way?
• Архитектура компьютера
  Как устроены компьютерные системы и почему?
• Системная инженерия
  Архитектурное моделирование компьютерных систем
• Функциональное программирование
  Для тех, кто не хочет программировать за еду

Блог

• Функциональный уход за Research Pet Project: NITTA, CGRA, Haskell, верификация и тестирование
  // 11 июля 2024
• Комментарии к Paul Clements et al. 'Documenting Software Architectures. Views and Beyond'
  // 5 октября 2021
• Open Dais: Software Verification on the ASIP CAD Example or How to Trust Your Team and Yourself
  // 29 April 2021
• Мастер-класс: Microsoft Word с минимальной болью
  // 11 февраля 2021
• NITTA: принципы работы
  // 3 февраля 2021
• Семинар: Проблема оценки инструментов архитектурного уровня
  // 11 ноября 2020
• Зачем причинять образовательный процесс?
  // 22 июня 2020
• Подход к разработке учебной программы по специальности вычислительные системы и сети
  // 10 июня 2020
• Понятие киберфизической системы считать вредным*
  // 15 ноября 2019
• NITTA: Почему Haskell?
  // 15 февраля 2018

Контакты

• GitHub: ryukzak
• Twitter: @ryukzak
• Telegram: @aleksandr_penskoi
• LinkedIn: Aleksandr Penskoi