Интересы и экспертиза

У меня глубокий интерес к правильному программированию. Я завершил свою дипломную работу в области анализа программ в партнерстве с Oracle Labs Australia. С момента присоединения к Supra мой фокус сместился больше в сторону распределенных систем. Мои исследования были сосредоточены на протоколах с устойчивостью к византийским отказам, включая протоколы для репликации машины состояний и проверяемой передачи данных.

Комментарий

Моя работа в Supra в основном сосредоточена на разработке новых алгоритмов и протоколов для применения в наших распределенных системах. Это включает исследование современных подходов, создание новых дизайнов и реализацию их в виде формальных спецификаций. Я перевожу эти спецификации в прототипные реализации и использую их для оценки наших разработок. Я также работаю с инженерной командой над интеграцией нашей работы в производственные системы Supra."

Избранные научные публикации