People in CAS

To contact by phone: (905) 525-9140 + extension number or for email, please add unless otherwise stated.

The current faculty members are listed below.
See the People submenus for other people in the department.


Christopher Anand     Associate Professor
B.Math. (Waterloo), M.Sc. (McGill), Ph.D. (McGill)
ext: 21397    office: ETB 112    email: anandc
Research: Magnetic Resonance Imaging, Optimal Image and Signal Processing; Parallel, Vector and High-Performance Computation, Coconut Computer Cluster and Compiler
Asghar Bokhari     Assistant Professor
M.S.E.E. (Oklahoma); M.Sc., Ph.D. (McMaster)
ext: 27554    office: ITB 212    email: bokhari
Borzoo Bonakdarpour     Assistant Professor
B.Sc. (Esfahan), M.Sc., Ph.D. (Michigan State)
ext: 23439    office: ITB 219    email: borzoo
Research: Runtime monitoring of distributed cyber-physical systems, Distributed algorithms, Energy-efficient software, Formal methods of program synthesis
Jacques Carette     Associate Professor
B.Math. (Waterloo), M.Sc. (Montreal), Ph.D. (Paris-Sud, France)
Undergraduate Advisor - Software Engineering
ext: 26869    office: ITB 168    email: carette
Research: Mechanized Mathematics, Meta-Programming, Advance SE Techniques for Game Design
Fei Chiang     Assistant Professor
B.Sc. (Toronto), M. Math. (Waterloo), Ph.D. (Toronto)
ext: 20103    office: ITB 122    email: fchiang
Research: data management, database systems, data quality, data analytics, information extraction, and data mining
Antoine Deza     Professor
M.Eng. (Paris), Ph.D. (Tokyo), P.Eng.
ext: 23750    office: ITB 127    email: deza
Research: Combinatorial and Continous Optimization, Discrete and Computational Geometry, Enumeration Algorithms
Douglas Down     Professor
B.A.Sc. (Toronto), M.A.Sc. (Toronto), Ph.D. (Illinois, Urbana-Champaign), P.Eng.
ext: 24054    office: ITB 216    email: downd
Research: Performance Evaluation, Stochastic Models, Networks of Queues
William Farmer     Professor
B.A. (Notre Dame), M.A. (Wisconsin-Madison), M.S. (Wisconsin-Madison), Ph.D. (Wisconsin-Madison), P.Eng.
ext: 27039    office: ITB 163    email: wmfarmer
Research: Applied Logic, Mechanized Mathematics, Symbolic Computation, Theorem Proving Systems, Mathematical Knowledge Management, Formal Methods in Software Development
Franya Franek     Professor
M.Sc. (Charles, Prague), R.N.Dr. (Charles, Prague), Ph.D. (Toronto)
ext: 23233    office: ITB 126    email: franek
Research: Combinatorics and Graph Theory, Compilers, String Algorithms
Wenbo He     Associate Professor
B.S. (Harbin Engineering Univ.), M.S. (Tsinghua), Ph.D. (Univ. of Illinois at Urbana-Champaign)
Graduate Advisor - Computer Science
ext: 27769    office: ITB 214    email: hew11
Research: Big Data Systems, Multimedia Big Data, Cloud computing, Information Security, Mobile & Pervasive Computing, Networked Systems
Ryszard Janicki     Professor
M.Sc. (Warsaw), Ph.D. (Polish Acad. Sci), D.Hab. (Polish Acad. Sci)
ext: 23919    office: ITB 217    email: janicki
Research: Concurrency Theory and Applications, Formal Methods in Software Engineering, Ranking Theory
Wolfram Kahl     Associate Professor
M.Sc. (Oxford), Dr.rer.nat. (UniBw Munchen)
ext: 27042    office: ITB 245    email: kahl
Research: Formal Methods of Software Derivation and Verification, Program Transformation and Code Generation, Functional Programming, Relation-Algebraic Method in Specification and Software Development
George Karakostas     Associate Professor
Dipl.Eng. (Patras), M.A. (Princeton), Ph.D. (Princeton), P.Eng.
Undergraduate Advisor - Computer Science
ext: 26132    office: ITB 218    email: karakos
Research: Approximation Algorithms, Computational Complexity, Application of Theoretical Results to Practice
Ridha Khedri     Professor
B.Eng. (Tunis), M.Sc. (Laval), Ph.D. (Laval), P.Eng.
ext: 23163    office: ITB 131    email: khedri
Research: Formal requirements verification and validation, architectural design, automated software testing, and algebraic techniques for the specification and analysis of security policies.
Mark Lawford     Professor
B.Sc. (Queen's), M.A.Sc. (Toronto), Ph.D. (Toronto), P.Eng.
ext: 24911    office: ITB 160    email: lawford
Research: Software Engineering , Computer Aided Inspection and Verification, Application of Formal Methods to Real-Time Systems
Ryan Leduc     Associate Professor
B.Eng. (Victoria), M.A.Sc. (Toronto), Ph.D. (Toronto), P.Eng.
Graduate Advisor-Software Engineering, Mechatronics, Virtual System Design
ext: 27962    office: ITB 247    email: leduc
Research: Discrete-Event Systems (DES): Supervisory Control of DES, Hierarchical Structure, Concurrency and Implementation Issues, DES as Software and Hardware
Tom Maibaum     Professor
B.Sc. (Toronto), Ph.D. (London), P.Eng.
ext: 26627    office: ITB 159/A    email: maibaum
Research: Software Engineering , Formal Specification, Software Architecture, Architecture Description Languages, Design methods, Software Development Tools and Methods, Formalising Electronic Contracts, Deontic Logic, Epistemology of Software Engineering
Ned Nedialkov     Professor
Ph.D. (Toronto)
ext: 24161    office: ITB 123    email: nedialk
Research: Numerical Methods for Ordinary Differential Equations (ODEs), Differential Algebraic Equations (DAEs), Validated Numerical Methods, Interval Methods for ODEs, Mathematical Software, Hybrid Dynamic Systems, Automatic Differentiation
Reza Samavi     Assistant Professor
B.Sc. (Amirkabir U of Technology), M.Eng., Ph.D. (Toronto), P.Eng.
ext: 24895    office: ITB 213    email: samavir
Research: Data Management, Information Privacy and Security, Health Data Management, Semantic Web and Information Integration, Scientific Data Management, Linked Data, Big Data Analytics
Emil Sekerinski     Associate Professor
Dipl.Inf. (Karlsruhe), Dr.rer.nat. (Karlsruhe)
ext: 27276    office: ITB 215    email: emil
Research: Design of Reliable Programs by Mathematical Specification and Development Techniques, Object Orientation, Concurrent and Reactive Systems, Programming Languages and Programming Tools
Spencer Smith     Associate Professor
B.Eng. (McMaster), M.S.A. (McMaster), M.Eng. (McMaster), Ph.D. (McMaster), P.Eng.
ext: 27929    office: ITB 167    email: smiths
Research: Scientific Computation, Mesh Generation, Finite Element Method, Formal Methods, Requirements Analysis, Software Engineering
Douglas Stebila     Assistant Professor
B.Math. (Waterloo), M.Sc. (Oxford), Ph.D. (Waterloo)
ext: 21186    office: ITB 162    email: stebilad
Research: cryptography, Internet protocols, network security, privacy, quantum computing
Martin v. Mohrenschildt     Associate Professor
Dipl.Math. (ETH-Zürich), Dr.Sc.Math. (ETH-Zürich), P.Eng.
Undergraduate Advisor - Mechatronics Engineering
ext: 23844    office: ITB 164    email: mohrens
Research: Control Theory, Mixed Discrete Continuous Systems, Model Predictive Control, Robotics Mechatronics Systems, Signal Processing, Engineering Mathematics
Alan Wassyng     Associate Professor
B.Sc. (Witwatersrand), M.Sc. (Witwatersrand), Ph.D. (Witwatersrand), P.Eng.
ext: 26072    office: ITB 166    email: wassyng
Research: Safety-critical Software, Real-time/Embedded Systems, Tabular Expressions, Software Tools for Rigorous Software Development, Timing Issues in Requirements and Software Design
Rong Zheng     Associate Professor
B.S. (Tsinghua), M.S. (Tsinghua), Ph.D. (Illinois at Urbana-Champaign)
ext: 22891    office: ITB 121    email: rzheng
Research: Wireless networking and mobile computing, Design and modeling of Cyber Physical Systems, Network monitoring and diagnosis, Sequential learning and decision theory
Jeffery Zucker     Professor
B.Sc. (Witwatersrand), Ph.D. (Stanford)
ext: 23438    office: ITB 124    email: zucker
Research: Theory of Computation especially on topological algebras, Application of Logic to Computer Science
© 2006 McMaster University  |   1280 Main Street West  |   Hamilton, Ontario L8S4L8  |   905-525-9140  |   Contact Us   |   Terms of Use & Privacy Policy