Dr. Constantinos Constantinides, P.Eng.
Associate Professor

Biographical note

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

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).

While completing my doctoral studies, I worked as a part-time instructor at Roosevelt University, Illinois Institute of Technology, and Loyola University Chicago.

I hold a Professional Engineer designation from Professional Engineers Ontario (2009), and a Certificate in Teaching and Learning in Higher Education from the Institute of Education, University of London (2003) (currently part of University College London).

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 Postgraduate Certificate in Engineering from City University (1992), (currently: City, University of London), and a Bachelor of Science degree in Electronics from Keele University (1991).

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.

• Ali Jannatpour and Constantinos Constantinides, A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools. In Proceedings of the First International Symposium on Software Fault Prevention, Verification and Validation, 2-3 December 2024, Hiroshima, Japan.

• Zohreh Mehrafrooz, Ali Jannatpour, and Constantinos Constantinides Declarative Representation of UML State Machines for Querying and Simulation.
  In proceedings of the 7th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2023); Extended version in Lecture Notes in Computer Science, vol 14590, pp. 133 - 150, Springer, 2024.

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

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

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

• SOEN 331: "Introduction to Formal Methods for Software Engineering"