SAnToS welcomes Dr. Patrice Chalin as a new faculty member

SAnToS Lab is pleased to welcome Dr. Patrice Chalin, Eng., as a new faculty member. In 1995, Dr. Chalin completed his Ph.D. at Concordia University, Montreal, in the area of specification and programming language design and semantics—earning him the Dean of Engineering Award for most deserving Ph.D. graduate. Following his Ph.D., Dr. Chalin spent over six years at Nortel Networks as a software engineer and quality management specialist, accumulating valued experience and insight into developing large-scale commercial distributed software systems.

In 2002, he accepted a position of Assistant Professor at Concordia where he taught core undergraduate Software Engineering courses until 2011. In addition to being promoted to Associate Professor in 2007, he also became the Software Engineering Program Director and contributed to important revisions and enhancements to Concordia’s undergraduate Software Engineering program.

Dr. Chalin both enjoys and has expertise in both theoretical foundations and practical systems development. For example, he is the project lead of the JMLEclipse extension to the Eclipse JDT compiler. He is also currently teaching CIS 806, Programming Language Semantics, a hands-on course making regular use of the Coq interactive theorem prover to describe and prove properties about program semantics.