Zeliha Dilsun Kaynar Assistant Teaching Professor, Computer Science Department Office: 6009 Gates and Hillman Centers Email: dilsun@cs.cmu.edu Phone: (412) 268-9297 Fax: 412-268-5576 Personal Website: http://www.cs.cmu.edu/~dilsun Research Areas: Computing education Formal methods Formal methods and theory of security General programming languages