close

The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:

Formally Modelling and Analyzing Timed and Distributed Systems

 

Speaker: Dr. Anna Philippou
Affiliation: University of Cyprus, Cyprus
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Tuesday, March 1, 2011
Time: 09:00-10:00 EET
Host: Andreas Pitsillides (Andreas.Pitsillides AT cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php#cs.ucy.2011.philippou

Abstract:
Distributed and embedded systems present today one of the most challenging areas of research in computer science. Their high complexity, dynamic nature and features such as mobility, fault tolerance, timing and resource requirements, render their construction, description and analysis a challenging task. The development of formal frameworks for describing and associated methodologies for reasoning about such systems has been an active area of research for the last few decades. Process calculi are one such formalism. In this talk we will present two approaches based on process calculus for reasoning about system behavior. The first concerns a framework for describing and reasoning about real-time, resource-constrained systems. Methodologies for analyzing the correctness of systems will be presented as well as case studies relating to protocol verification and scheduling analysis. We will then extend the formalism to capture resource demand and supply and we will develop a compositional methodology for hierarchical scheduling of real-time components. In our second framework, we will consider the field of mobile ad hoc networks and we will attempt to distill appropriate constructs for describing and reasoning about networks which communicate through broadcast communication and whose topology evolves as computation proceeds. We will develop confluence-based techniques for facilitating system analysis and we will illustrate the applicability of the approach via case studies. The talk will conclude with an overview of results stemming from Algorithmic Game Theory relating to the problems of network security and network routing.

Short Bio:
Anna Philippou is an Assistant Professor at the Department of Computer Science of the University of Cyprus. She completed her undergraduate studies at the University of Oxford, (B.A. in Mathematics and Computation, 1992) and her postgraduate studies at the University of Warwick (M.Sc. in Parallel Computers and Computation, 1993, Ph.D. in Computer Science, 1997). Before joining the Department of Computer Science of the University of Cyprus she 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 lie in the areas of Foundations of Concurrent and Distributed Computation, Formal Methods for Real-time Systems, and Algorithmic Game Theory.

Note:
This colloquium is part of the speaker's procedure for evaluation and promotion from Assistant Professor to Associate Professor.

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2011.Philippou.ics

Sponsor: The CS Colloquium Series is supported by a generous donation from Microsoft