Short Bio

I was graduated from Computer Engineering Department of Izmir Institute of Technology in 2009. I have received my MSc degree in Computer Engineering  in 2012 from Yaşar University, Izmir, with a thesis on  "Practical and Formal Analysis of Distributed Private Key Generation for Identity Based Cryptography".  In 2016, I have received my PhD degree in Computer Science from  University of Milano-Bicocca, in Italy  with a thesis on "Formal Notions of Non-interference and Liveness for Distributed Systems". After working as a Postdoc in Computer Science Department of   University of Milano-Bicocca, Laboratory of Models of Concurrency, Communication  and Computation (MC3) for two years, in November 2017, I have joined MAIS as a Postdoc under supervision of Prof. Dr. Heiko Mantel.

I am on leave since Winter 2018.

Research Interests

• Formal Methods
• Non-interference
• Liveness
• Concurrency
• Petri nets
• Games on graphs

Publications

2017

• Luca Bernardinello, Görkem Kılınç and Lucia Pomello: Weak Observable Liveness and Infinite Games on Finite Graphs, Proceedings of 38^th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Zaragoza, LNCS 10258, Springer, 2017 pg. 181- 199. [link]
  

2016

• Luca Bernardinello, Görkem Kılınç  and Lucia Pomello: Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI, LNCS 9930, Springer, 2016, pg. 49-70. [link]
  
  
• Görkem Kılınç: Formal Notions of Non-interference and Liveness for Distributed Systems, PhD Thesis, Università degli Studi di Milano-Bicocca, 2016. [link]

2015

• Jörg Desel and Görkem Kılınç: Observable Liveness of Petri Nets, Special Issue of ACTA Informatica on Comprehending Asynchrony in Specification and Analysis, Volume 52(2-3), pg. 153-174. [link]
  

• Luca Bernardinello, Görkem Kılınç and Lucia Pomello: Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’15), Brussels, CEUR Workshop  Proceedings 1372, 2015, pg. 59-78. [link]
  

• Luca Bernardinello, Görkem Kılınç, Elisabetta Mangioni, and Lucia Pomello: Modeling Distributed Private Key Generation by Composing Petri Nets, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX, LNCS 8910, Springer, 2014, pg. 19-40. [link]
  

• Jörg Desel and Görkem Kılınç: Observable Liveness, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’14), Tunis, CEUR Workshop Proceedings 1160, 2014, pg. 143-163. [link]
  

2013

• Luca Bernardinello, Görkem Kılınç, Elisabetta Mangioni, and Lucia Pomello: Modeling Distributed Private Key Generation by Composing Petri Nets, Proceedings of International Workshop on Petri Nets and Software Engineering (PNSE’13) Milano, CEUR Workshop Proceedings 989, 2013, pg. 77-96. [link]
  

2012

• Görkem Kılınç, Igor Nai Fovino: Distributed Identity Based Private Key Generation for SCADA Systems, Proceedings of Critical Infrastructures Security, LNCS 7722, Springer, 2012, pg. 118-129. [link]

• Görkem Kılınç, Igor Nai Fovino, Carlo Ferigato and Ahmet Koltuksuz: A Model of Distributed Key Generation for Industrial Control Systems, IFAC Proceedings Volumes, Volume 45, Issue 29, Elsevier, 2012, pg. 356-363. [link]
  

Thesis Advising

Master’s thesis of Cristian Paul Narro Paredes, 2016-2017
Dipartimento di Informatica, Sistemistica e Comunicazione (DISCO) Universit`a degli studi di Milano - Bicocca, Italy.
Title: Reveals and Excludes Relations for Places of Petri Nets

Bachelor's thesis of Alessandro Banfi, 2014-2015
Dipartimento di Informatica, Sistemistica e Comunicazione (DISCO) Universit`a degli studi di Milano - Bicocca, Italy.
Title: Developing Software Modules for the Unfoldings of Petri Nets

Services to the Scientific Community

• Reviewed for:
  
• Fundamenta Informaticae
• International Conference on Application and Theory of Petri Nets and Concurrency
• International Conference on Application of Concurrency to System Design
• International Workshop on Petri Nets and Software Engineering
• Computability in Europe
• Local organizing committee member in 34^th International Conference on Application and Theory of Petri Nets and Concurrency, Milano, Italy, June 2013.
• Local organizing committee member in COMPSAC 2012 - Trustworthy Software Systems for the Digital Society, Izmir, Turkey, 16-20 July 2012.