Kyriaki Psara

Currently working towards a PhD in Computer Science at the University of Cyprus under the supervision of Dr. Anna Philippou. I am a member of the Foundations of Computing Systems and Theoretical Computer Science Laboratory. I have completed my undergraduate studies (BSc in Computer Science) at the Univeristy of Leicester (UK) and I also hold an MSc in Data Analysis for Business Intelligence from the University of Leicester (UK). I am currently working as a Teaching Assistant at the Department of Computer Science at the University of Cyprus.

Research Interests

  • Reversible Computation
  • Formal Languages including Petri nets and Process calculi
  • Foundations of Concurrent, Distributed and Probabilistic Computation

Education

PhD in Computer Science

University of Cyprus, 2016 – Present

MSc in Data Analysis for Business Intelligence

University of Leicester, UK, 2014 – 2015
Thesis title: WYG Transport Planning

BSc (Hons) in Computer Science

University of Leicester, UK, 2011 – 2014
Thesis title: Simulation of Reversible Algorithms

Teaching

Since 2016 I am a teaching assistant for the undergraduate course
EPL211 – Theory of Computation and Complexity and,
EPL412 – Logic in Computer Science

Publications

Also on DBLP:
  1. Kamila Barylska, Anna Gogolińska, Łukasz Mikulski, Anna Philippou, Marcin Piątkowski, and Kyriaki Psara Reverse Computations Modelled by Coloured Petri Nets, Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data (ATEAD) 2018. Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design (ACSD) 2018, June 25–26 2018, Bratislava, Slovakia.
  2. Anna Philippou and Kyriaki Psara Reversible Computation in Petri Nets, In Proceedings of Reversible Computation 2018, 2018. [pdf]
    A technical report of this work can also be found in arXiv:1804.04607.
  3. Kyriaki Psara, Reversible Computation in Petri Nets, YR-CONCUR 2017, 7th Young Researchers Workshop on Concurrency Theory, September 4 2017, Berlin, Germany.

Contact

Department of Computer Science,
University of Cyprus,
75 Kallipoleos Street, P.O. Box 20537,

Email: kpsara01@cs.ucy.ac.cy