Nikolaos Rigas
Information Technology (IT)BSc, Department of Mathematics, University of Athens; MSc, Department of Artificial Intelligence, University of Edinburgh; PhD, School of Applied Mathematical and Physical Sciences, National Technical University of Athens
Dr Nikolaos Rigas is a graduate of the University of Athens, where he received a BSc in Mathematics. He earned his MSc in Artificial Intelligence from the University of Edinburgh and his PhD in Logic from the National Technical University of Athens. He has worked as an actuary in the insurance sector and as a university lecturer. His interests currently revolve around type theory. He has organized a number of seminars on this topic at the University of Patras and, more recently, has been teaching courses and organizing seminars on Homotopy Type Theory at the graduate program “Algorithms, Logic and Discrete Mathematics” (ALMA). He joined the Deree faculty in January 2023.
