Anna
Philippou, Assistant Professor
Contact Information:
Mailing address
Department of Computer Science
University of Cyprus
75 Kallipoleos Str., P.O. Box 537
CY-1678 Nicosia, Cyprus
Tel:+ 357-22-892699
Fax:+ 357-22-892701
Office: FST 01 105
Email: annap[AT]ucy.ac.cy
Biographical Notes:
Anna Philippou, Lecturer.Undergraduate studies in Mathematics and
Computation
at the University of Oxford (BA, 1992).Graduate studies at the University
of Warwick
(MSc in Parallel Computers and Computation, 1993; PhD 1996, thesis:
Reasoning
about Systems with Evolving Structure).She has worked as a Teaching
Assistant at the
University of Warwick (1993-1996) and as a Postdoctoral Research
Fellow at the
University of Pennsylvania (1997-1998).Her research interests include
Concurrency Theory
and its Applications, Specification and Verification of Concurrent
Systems, Formal Methods
for Safety-Critical Systems, and Semantics of Programming Languages.
|
