CS Colloquium Series @ UCY
The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:List RSS Directions
Colloquium Coordinator: Demetris Zeinalipour
Colloquium: Formal Approaches to System Modelling and Verification, Dr. Anna Philippou (University of Cyprus, Cyprus), Wednesday, March 10, 2021, 10:15-11:15 EET.
The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:
Formal Approaches to System Modelling and Verification
Speaker: Dr. Anna Philippou
Anna Philippou is an Associate Professor at the Department of Computer Science, University of Cyprus, and a co-founder of the Laboratory of Foundations of Computing Systems and Theoretical Computer Science. She holds a Ph.D. in Computer Science (1997) and an M.Sc. in Parallel Computers and Computation (1993) both from the University of Warwick, UK, and a B.A. in Mathematics and Computation (1992), from the University of Oxford, UK. Before joining the Department of Computer Science, University of Cyprus, she worked as a Postdoctoral Research Fellow at the University of Pennsylvania, USA (1997-1998), and as a Teaching Assistant at the University of Warwick, UK (1993-1996). Her research interests lie in fields of Concurrency Theory and Formal Methods.
This colloquium is part of the speaker's procedure for evaluation and promotion from Associate Professor to Professor.
|Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium