Rondogiannis Panos
Position
Faculty
Professors
Rank
Professor
Division
Theoretical Informatics
Office
B8
Phone
+30 210 7275102
Email
prondo
di [dot] uoa [dot] gr
di [dot] uoa [dot] gr
Ώρες Γραφείου: Κατά την περίοδο των μέτρων κατά του κορωνοϊού συστήνεται η επικοινωνία με τους διδάσκοντες να γίνεται μέσω e-mail ή μέσω τηλεδιάσκεψης.
Office Hours: In response to spatial distancing measures during COVID-19, it is recommended that communication with staff is conducted via e-mail and video conferencing.
Education
- PhD: Department of Computer Science, University of Victoria, Canada. Dissertation: Higher-Order Functional Languages and Intensional Logic", advisor W. W. Wadge, 1991-1994.
- MSc: Department of Computer Science, University of Victoria, Canada, 1990-1991.
- BSc: Department of Computer Engineering and Informatics, University of Patras, Greece, 1984-1989.
Employment
- Department of Informatics and Telecommunications, University of Athens (since 2000). Current position: Professor
- Department of Computer Science, University of Ioannina, Lecturer (1996-00)
- NCSR Demokritos, Research Associate (1995-1996)
Research Interests
- Semantics of Programming Languages
- Logic and Functional Programming
- Formal Languages
- Logic in Computer Science