Qualifications
PhD, Computer Science
Swansea University, Wales, UK
Thesis: Enhanced Realizability Interpretation for Program Extraction
MSc, Computer Science
Swansea University, Wales, UK
Thesis: Prawf: Interactive Proof Assistant for Predicate Logic
Master of Philology, English Language and Literature (Teaching Track)
Chernivtsi National University, Ukraine
Thesis: The Functional-semantic Field of Quantity in John Fowles' Discourse