Bio

Most of the time, my work involves a blend of research (finding and verifying hypotheses, finding new point of view), development (architecting, implementing, and managing projects), and teaching (delivering lectures, providing consulting services, and mentoring). I specialize in various aspects of software engineering. Here are a few examples of my experiences:

• Developing the certification-compliant electricity measurement system for small towns.
• Authoring the Ph.D. thesis on the architecture of multi-level computer systems, exploring how system levels interact across configuration, compilation, interpretation stages, and between software and hardware components.
• Founding the CAD platform tailored for hard-real-time application-specific processors.
• Architecting, developing, and managing the research project focused on planning systems for distributed manufacturing with restricted access to production documentation.

My Topics / Мои темы

I can serve as your advisor in various theoretical and technical domains:

Theoretical Topics

1. Data Modeling: Learn how to effectively represent domain-specific data, formalize it, and interpret it. Discover methods to seamlessly integrate data models into software systems.
2. Architectural Design: Explore techniques for visualizing system architecture and leveraging architectural descriptions within the design and implementation processes.
3. Systems Engineering: Gain insights into holistic system understanding, identifying critical components and questions, and assessing the overall quality of your system.
4. Engineering Methods: Understand how to approach the development process methodologically but simple, and navigate project management challenges when everything seems to go awry.

Technical Topics

1. Functional Programming: Explore alternative approaches to software development that revolve around functional programming principles. Applying it to real projects.
2. Domain-Specific Languages: Discover how to streamline the programming process and understand why Domain-Specific Languages may not always be the best solution. eDSL intergation in the host language.
3. Distributed Systems: Learn the best practices for designing and implementing distributed systems, taking into account specific business requirements.
4. Software Verification: How do you make sure that the system developed meets expectations? How do I formulate these expectations?

Please feel free to explore my projects to get a better idea of my expertise and how I can assist you.

My Projects / Мои проекты

These projects can provide topics for your bachelor’s or master’s thesis.

• Course Bot
  Telegram Bot for Course Automatisation on Clojure
• NITTA
  Tool for Hard Real-Time CGRA Application Specific Processors
• TailBook
  Help People to Help Homeless Animal to Help Society

My Courses / Мои курсы

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

Blog / Блог

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

Social / Контакты

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