Zeliha Dilsun Kaynar Associate Teaching Professor Website CMU Scholars Page Office 6009 Gates and Hillman Centers Email dilsun@cs.cmu.edu Phone (412) 268-9297 Department Computer Science Department Administrative Support Person Oliver Moss CSD Courses Taught 15150 - Fall, 2025 15150 - Spring, 2025 15150 - Fall, 2024 15150 - Spring, 2024 Biography Dilsun Kaynar is an Associate Teaching Professor at the Department of Computer Science, Carnegie Mellon University (CMU). Before joining the Computer Science Department she worked as a researcher at CMU CyLAb and at MIT Computer Science and Artificial Intelligence Laboratory in the Theory of Distributed Systems Group (2001-2006). She received her Ph.D. degree in 2002 from the University of Edinburgh in the UK and B.Sc. degree in 1996 from the Middle East Technical University in Turkey. Teaching Statement Dilsun Kaynar's teaching interests lie in the areas of principles of programming, foundations of programming languages, formal modeling, and verification. Publications Journal Article The role of telemedicine towards improved sustainability in healthcare and societal productivity in Turkey 2024 • PLoS ONE • 19(12): Ozen F, Kaynar AH, Korkut AK, Acikel MET, Kaynar ZD, Kaynar AM Journal Article Task-structured probabilistic I/O automata 2018 • Journal of Computer and System Sciences • 94:63-97 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R Journal Article Probabilistic cost enforcement of security policies 2015 • Journal of Computer Security • 23(6):759-787 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C Conference Program Actions as Actual Causes: A Building Block for Accountability 2015 • Proceedings of the Computer Security Foundations Workshop • 261-275 Datta A, Garg D, Kaynar D, Sharma D, Sinha A Conference Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors 2013 • Lecture Notes in Computer Science • 7783:17-32 Mallios Y, Bauer L, Kaynar D, Ligatti J
Journal Article The role of telemedicine towards improved sustainability in healthcare and societal productivity in Turkey 2024 • PLoS ONE • 19(12): Ozen F, Kaynar AH, Korkut AK, Acikel MET, Kaynar ZD, Kaynar AM
Journal Article Task-structured probabilistic I/O automata 2018 • Journal of Computer and System Sciences • 94:63-97 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R
Journal Article Probabilistic cost enforcement of security policies 2015 • Journal of Computer Security • 23(6):759-787 Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C
Conference Program Actions as Actual Causes: A Building Block for Accountability 2015 • Proceedings of the Computer Security Foundations Workshop • 261-275 Datta A, Garg D, Kaynar D, Sharma D, Sinha A
Conference Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors 2013 • Lecture Notes in Computer Science • 7783:17-32 Mallios Y, Bauer L, Kaynar D, Ligatti J
