| Referee for: |
A., C.2.4, D.1.0, D.1.1, D.1.3, D.1.6, D.2.6, D.3.2, D.3.3, D.4.9, H.4.1, H.5.1, H.5.3
|
| Institution: |
University of Cyprus
|
| Address: |
Department of Computer Science University of Cyprus 75 Kallipoleos Str., P.O. Box 537 1678 Nicosia Cyprus
|
| Home Page: |
http://www.cs.ucy.ac.cy/People/Profiles/G_Papadopoulos.html
|
Curriculum Vitae:
- born 6th August 1960
- 1985 - 89 Ph. D. in Computer Science
- 1982 - 83 M. Sc. in Computer Science with Applications
- 1978 - 82 B. Sc. in Computer Science and Mathematics
- 9/80 - 8/81 Research Assistant, Computer Science Division, Nuclear Research Centre "Demokritos", Athens, Greece
- 1/83 - 2/84 Systems Analyst and Programmer, International Computer Systems (ICS) Ltd., Athens, Greece
- 3/84 - 6/85 Research Assistant, Department of Computer Science, University of Thessaloniki, Greece
- 1/87 - 12/87 Research Associate, Flagship project (ESPRIT I), School of Information Systems, University of East Anglia, U.K
- 1/88 - 12/89 Research Associate, EDS project (ESPRIT II), School of Information Systems, University of East Anglia, U.K.
- 3/90 - 11/92 Systems Analyst and Programmer, Greek Air Force, Athens, Greece
- 3/91 - 6/92 Research Associate, PCA project (ESPRIT II), Department of Computer Science, University of Athens, Greece
- 1/95 - 6/95 ERCIM Fellow, CWI, Amsterdam, The Netherlands
- 7/95 - 12/95 ERCIM Fellow, GMD-FIRST, Berlin, Germany
- 2/92 - present Assistant Professor, Department of Computer Science, University of Cyprus, Nicosia, Cyprus
Main Research Interests:
- Term Graph Rewriting Systems:
- Design and Implementation of Logic and Functional Programming Languages
- Object-Oriented Programming - Design, Implementation and Formal Specification
- Parallel Computational Models: Pi calculus, Linear Logic, Interaction Nets
- Coordination Models, Languages and Applications:
- Modelling Information Systems (groupware, CSCW, workflow management
- Real-Time Systems
- Software Engineering for Distributed and Parallel Systems
- Concurrent Constraint Programming:
- Implementation Techniques
- Parallelisation of Computational Models
- Multimedia Systems:
- Development Methodologies
- Modelling and Synchronisation Issues
|