Zeliha Dilsun Kaynar Assistant Teaching Professor Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages