Καθηγητής στο Τμήμα Μηχανικών Η/Υ και Πληροφορικής του Πανεπιστημίου Πατρών, έχει αποφοιτήσει από το Τμήμα Μαθηματικών του Πανεπιστημίου Αθηνών το 1973, στο οποίο είχε εισαχθεί, ως πρώτη του προτίμηση, πρώτος στη σειρά επιτυχίας το 1969. σε όλη τη διάρκεια των προπτυχιακών σπουδών του ήταν υπότροφος του ΙΚΥ. Έλαβε το διδακτορικό του 1978 από το Πανεπιστήμιο της Καλιφόρνια, Λος Άντζελες. Έχει συγγράψει πληθώρα άρθρων σε Μαθηματική Λογική, Διακριτά Μαθηματικά, Σχεδιασμό και Ανάλυση Αλγορίθμων, Υπολογιστική Πολυπλοκότητα, Κατανεμημένο Υπολογισμό, Όραση μέσω Υπολογιστή, κ.ά. Τα άρθρα του μνημονεύονται σε μεγάλο αριθμό εργασιών σε περιοδικά Μαθηματικών, Επιστήμης Υπολογιστών, Φυσικής, Ιατρικής Εικονογραφίας, Ψυχολογίας καθώς και Επιστημών Συμπεριφοράς και Εγκεφάλου. Σε συνεργασία με άλλους, έχει επιμεληθεί την έκδοση τριών τόμων με συλλογή εργασιών και έχει συγγράψει τρία διδακτικά βιβλία στα ελληνικά. Έχει επισκεφθεί πολλά διεθνή πανεπιστήμια και ερευνητικά κέντρα (Μαθηματικών, Επιστήμης Υπολογιστών και Φυσικής) όπου έχει διδάξει μαθήματα ή έχει δώσει προσκεκλημένες ομιλίες. Είναι μέλος του Συλλόγου Διδασκόντων του Πανεπιστημίου Πατρών.