CS Colloquium Series @ UCY
Department of Computer Science - University of Cyprus
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 |
Abstract:
In this talk we will review approaches and results towards formally modeling and reasoning about different classes of distributed systems. The first part of the talk will focus on a framework for reversible computation. Reversible computation is an unconventional form of computing, which allows execution to proceed both in the forward as well as the reverse direction. It has been attracting increasing attention as on the one hand it promises low-power computation and, on the other hand, it is inherent or of interest in a variety of applications. In this part of the talk we will present a reversible approach to Petri nets, a graphical mathematical language for the specification and verification of discrete-event systems, that supports both causal and out-of-causal order reversibility, as well as mechanisms for controlling when reversibility is applied. The formalism can be used to model a wide variety of reversible systems ranging from biochemical reactions to applications from wireless communications. The second part of the talk will focus on the concept of privacy and the challenge of developing software systems that conform to privacy requirements. In particular, we will present a formalism based on the pi-calculus for studying privacy in information systems. The formalism is accompanied by a policy language for expressing privacy policies and a type system for statically checking that a model conforms to an associated privacy policy. Recent work on capturing GDPR requirements in the framework, such as the notion of purpose, will also be discussed. The talk will conclude with a report of a recent experience on the design and development of a programmable metasurface, ensuring the rigor and the correctness of the proposed solutions with the aid of formal methods.
Short Bio:
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.
Note:
This colloquium is part of the speaker's procedure for evaluation and promotion from Associate Professor to Professor.
