Savas Konur | |
Personal |
|
| I am a member of the Logic and Computation group in the Department of Computer Science at the University of Liverpool. My research interests include temporal reasoning, formal specification and verification, model-checking, real-time systems, multi-agent sytems and pervasive systems. I am currently working on the Verifying Interoperability Requirements in Pervasive Systems (VPS) project, which is an EPSRC-funded collaboration between the Liverpool, Birmingham and Glasgow universities. | |
Contact |
|
Department of Computer Science University of Liverpool Liverpool L69 3BX United Kingdom |
E-mail: konur at liverpool.ac.uk Phone: +44 (0)151 79-54237 Fax: +44 (0)151 79-54235 |