Dr. Constantinos Constantinides, P.Eng.
Associate Professor

Department of Computer Science and Software Engineering
Concordia University
1455 De Maisonneuve Blvd West, Montreal, QC H3G 1M8
Email: constantinos[dot]constantinides[at]concordia[dot]ca
Tel: 514 - 848 2424 Ext. 5374
Fax: 514 - 848 2830

Biographical note

I am an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University.

I received my Ph.D. in Computer Science from Illinois Institute of Technology (2000), under the supervision of Dr. Tzilla Elrad.

I hold a Master of Science degree in Computer Science from New York Institute of Technology (1995), a Certificate in Teaching and Learning in Higher Education from the Institute of Education of the University of London (2003), currently part of University College London, and a Bachelor of Science degree in Electronics from Keele University (1991). I hold a P. Eng. license from Professional Engineers Ontario (2009).

I received tenure at Concordia in 2009, after I joined the University in 2004 as a tenure-track Assistant Professor. Prior to coming to Concordia I was a Lecturer in the School of Computer Science and Information Systems at Birkbeck, University of London (2001 - 2004), and a Visiting Assistant Professor in the Department of Mathematical and Computer Sciences (currently, the Department of Computer Science) at Loyola University Chicago (2000 - 2001).


In Fall 2020 I teach

  • COMP 354-E: Software Engineering, and

  • SOEN 6461-SS: Software Design Methodologies


I am interested in the intersection of formal methods, programming languages and software engineering with the objective of building reliable software systems. Some of my publications can be found at DBLP here and here. Some more are available at the ACM Digital Library here.

My academic genealogy:

me → Tzilla Elrad → Nissim Francez → Amir Pnueli → Chaim Leib Pekeris → Carl-Gustaf Arvid Rossby.

The complete path can be viewed from the Mathematics Genealogy Project.

Erdös number: 4. (Paul Erdos ← Shmuel Zaks ← Nissim Francez ← Tzilla Elrad ← me)

"The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don't master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus."

Edsger W. Dijkstra (2000), Answers to questions from students of Software Engineering.