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