Кандидат технічних наук
2005-2008 – аспірантура Харківського національного університету радіоелектроніки за спеціальністю «Системи автоматизації проектувальних робіт»
Відомості про захист дисертації:
Спеціальність: 05.13.05 «Комп’ютерні системи та компоненти»
Тема: «Моделі та методи функціональної верифікації цифрових систем на основі темпоральних асерцій».
Захист 27.04.2011 р. на засіданні спеціалізованої вченої ради Д 64.052.01 Харківського національного університету радіоелектроніки