Кандидат технічних наук
2003-2006 — аспірантура Харківського національного університету радіоелектроніки за спеціальністю «Обчислювальні машини, системи та мережі»
Відомості про захист дисертації:
Спеціальність: 05.13.12 «Системи автоматизації проектувальних робіт»
Тема: «Верифікація моделей цифрових пристроїв, представлених на мовах опису апаратури».
Захист 20.07.2007 р. на засіданні спеціалізованої вченої ради Д 64.052.02 Харківського національного університету радіоелектроніки