Великий прихильник мови програмування Ада, а також розробки безпечних та надійних технологій.