Görkem Kilinc Soylu
Ändra din information My research lies in the field of theoretical computer science, with a focus on the formal specification and verification of concurrent and distributed systems. I am particularly interested in properties such as information flow security (non-interference) and reliability (liveness), which are central to ensuring both the security and serviceability of modern computational infrastructures.
Much of my work uses and extends the theory of Petri nets to represent and reason about system behaviors, including relations that capture different forms of information flow. I also study infinite games on finite graphs as a means of analyzing user–system interactions and characterizing notions such as observable liveness, which formalizes serviceability from the user’s perspective. In addition, I investigate compositional approaches to system modeling, with the goal of ensuring that desirable properties are preserved when components are combined.
This research connects to broader areas of formal methods, concurrency theory, formal languages, and logic in computer science, and aims to strengthen the theoretical foundations needed for secure and reliable distributed systems. I am also interested in exploring the use of these methods in applied settings, including critical infrastructures, protocol verification, microservice-based architectures, and aspects of human–robot interaction.