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
CANADA
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 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).
Research:
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.
Recent publications
- 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. (paper | presentation)
- 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), 18 - 19 September, 2023,
Istanbul, Turkey. (presentation)
Extended version in Lecture Notes in Computer Science, vol 14590,
pp. 133 - 150, Springer, 2024. (paper)
My academic genealogy:
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)
Teaching during Winter 2025:
- SOEN 331: "Introduction to Formal Methods for Software Engineering"
"If 10 years from now, when you are doing something quick and dirty, you suddenly visualize that I am
looking over your shoulders and say to yourself: 'Dijkstra would not have liked this', well that would be enough immortality for me."
Edsger W. Dijkstra
|