Είναι ομότιμος καθηγητής Λογικής στο Τμήμα Ιστορίας και Φιλοσοφίας της Επιστήμης του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών (ΕΚΠΑ). Έλαβε πτυχίο Μαθηματικών από το ΕΚΠΑ το 1975 και διδακτορικό δίπλωμα στη Μαθηματική Λογική από το Πανεπιστήμιο Μάντσεστερ το 1980. Είναι (συν-) συγγραφέας 40 επιστημονικών άρθρων, από τα οποία 18 έχουν δημοσιευθεί σε διεθνή περιοδικά με κριτές, ενώ τα υπόλοιπα έχουν δημοσιευθεί σε πρακτικά συνεδρίων και συλλογικούς τόμους, στα ελληνικά και στα αγγλικά. Έχει κρίνει περίπου 300 εργασίες για διεθνή περιοδικά και πρακτικά διεθνών συνεδρίων, έχει συγγράψει πάνω από 120 reviews άρθρων και βιβλίων για τα περιοδικά Mathematical Reviews, Journal of Symbolic Logic και Metascience και υπήρξε συν-εκδότης πρακτικών συνεδρίων που εκδόθηκαν από τους οίκους Cambridge University Press, Springer και CSLI Publications, καθώς και από το Philosophy Documentation Center. Είναι διευθυντής σύνταξης του περιοδικού Νεύσις και μέλος της συντακτικής επιτροπής του περιοδικού Ελληνική Φιλοσοφική Επιθεώρηση.
Για εκτενές βιογραφικό σημείωμα, πατήστε εδώ.
Για την προσωπική ιστοσελίδα, πατήστε εδώ.