- Profile
- Personal Information
- Publications
Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View MorePhilippou Anna
ASSOCIATE PROFESSOR
Department of Computer Science
Cyprus University of Technology
Cyprus
Undergraduate studies at the University of Oxford, UK (B.A. in Mathematics and Computation, 1992). Graduate studies at the University of Warwick, UK (M.Sc. in Parallel Computers and Computation, 1993; PhD in Computer Science, 1996). She has worked as a Teaching Assistant at the University of Warwick, UK (1993-1996) and as a Postdoctoral Research Fellow at the University of Pennsylvania, USA (1997-1998).
Her research interests include Concurrency Theory and its Applications, Specification and Verification of Concurrent Systems, Formal Methods for Safety-Critical Systems and Algorithmic Game Theory.