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