Rondogiannis Panos

profile picture
Rondogiannis Panos
Position
Faculty
Professors
Rank
Professor
Division
Theoretical Informatics
Office
B8
Phone
+30 210 7275102
Email
prondoatdi [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