Defense of the PhD dissertation of Ketevan Gogochuri, a student of the CSE PhD program