УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

О старте проекта и формальных моделях

Анатолий Абрамович, добрый день!

Немного забегаю вперед, но хотел бы поделиться информацией. В рамках Европейского центра программирования (EuroProg.org) будет создаваться точка концентрации специалистов из ведущих исследовательских центров мира.

Научного консультанта по конечным автоматам и автоматному программированию лучше Вас не найти. Как Вы смотрите на мое предложение стать научным консультантом проекта новой ОС, а чуть позже (когда будут готовы необходимые тексты и проведены консультации) и войти в состав научного совета Европейского центра программирования? Туда будут приглашаться ведущие ученые.

С уважением, Руслан Богатырев