Görkem Kılınç Soylu

Görkem Kılınç Soylu received her BSc degree in Computer Engineering from Izmir Institute of Technology in 2009. She obtained her MSc degree in Computer Engineering from Yasar University with a thesis entitled “A Practical and Formal Analysis of Distributed Private Key Generation for Identity Based Cryptography” in 2012. During her MSc studies, she worked in the European Commission Joint Research Center in Ispra, Italy as a trainee researcher for one year.  She received a PhD in Computer Science from University of Milano-Bicocca in 2016 with a thesis entitled “Formal Notions of Non-interference and Liveness for Distributed Systems”. Afterwards she worked as a postdoctoral researcher in the same department for two years and in Technical University of Darmstadt for one year. Since August 2022 she has been continuing her research activities and working as a part time lecturer in Izmir Institute of Technology. Her research interests include information flow security in concurrent systems, non-interference, liveness, formal methods, concurrency theory and Petri nets.