SHORT CV

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 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. Between 2022 and 2024 she persued her research and teaching activities at İzmir Institute of Technology. She has been working as a member of the Computer Engineering department of İzmir University of Economics since February 2024. Her research interests include information flow security, formal specification and verification of concurrent systems, concurrency theory, and Petri nets.