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:
Research Interests:
Formal Methods/Verification
Security
Programming Languages