KISA ÖZGEÇMİŞ

Görkem Kılınç Soylu lisans diplomasını İzmir Yüksek Teknoloji Enstitüsü Bilgisayar Mühendisliği Bölümü’nden 2009 yılında almıştır. Yüksek lisans derecesini 2012 yılında Yaşar Üniversitesi Bilgisayar Mühendisliği bölümünde “A Practical and Formal Analysis of Distributed Private Key Generation for Identity Based Cryptography” başlıklı tez ile tamamlamıştır. Master çalışmalarını sürdürürken Avrupa Komisyonu Ortak Araştırma Merkezi’nde (JRC Ispra, Italy) bir yıl boyunca araştırmacı olarak çalışmıştır. Doktora derecesini 2016 yılında Milano-Bicocca Üniversitesi Bilgisayar Bilimleri Bölümü’nden “Formal Notions of Non-interference and Liveness for Distributed Systems” başlıklı tez ile almıştır. Sonrasında iki yıl boyunca aynı departmanda ve bir yıl boyunca da Darmstadt Teknik Üniversitesi’nde doktora sonrası araştırmacı olarak çalışmıştır. 2022-2024 yılları arasında çalışmalarını İzmir Yüksek Teknoloji Enstitüsü bünyesinde sürdürdükten sonra, Şubat 2024’den itibaren İzmir Ekonomi Üniversitesi Bilgisayar Mühendisliği bölümünün bir üyesi olarak çalışmaktadır. Araştırma konuları arasında bilgi akış güvenliği, eşzamanlı sistemlerin formal spesifikasyonu ve doğrulanması, eşzamanlılık teorisi ve Petri netler bulunmaktadır.