Rondogiannis Panos

profile picture
Rondogiannis Panos
Position
Faculty
Professors
Rank
Professor
Division
Theoretical Informatics
Office
B8
Phone
+30 210 7275102
Email
prondo [at] di [dot] uoa [dot] gr
Web Page
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

 

Related Courses
Principles of programming languages
CV
Rondogiannis_cv.pdf