Formal Methods for Specification and Verification of
Ad hoc Network Protocols


Home page
Description
Publications
Participants
Contact us

 

 

 

 

 


Greek

 

Research Team

Department of Computer Science, University of Cyprus, Cyprus
Assistant Professor Anna Philippou, Coordinator
Lecturer Chryssis Georgiou, Scientific Leader
Professor Marios Mavronicolas
New Researcher Marina Gelastou
Department of Computer and Information Science, University of Pennsylvania, USA
Professor Insup Lee
Research Assistant Professor Oleg Sokolsky
Institute for Computing and Information Sciences, Radboud University, Nijmegen, Netherlands
Professor Frits Willem Vaandrager