People in CAS

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

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

Faculty

0people_pic/anandc.jpg
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
0people_pic/bokhari.jpg
Asghar Bokhari     Assistant Professor
M.S.E.E. (Oklahoma); M.Sc., Ph.D. (McMaster)
ext: 27554    office: ITB 212    email: bokhari
Research:
0people_pic/borzoo.jpg
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
0people_pic/carette.jpg
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
0people_pic/fchiang.jpg
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
0people_pic/deza.jpg
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
0people_pic/downd.jpg
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
0people_pic/wmfarmer.jpg
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
0people_pic/franek.jpg
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
0people_pic/hew11.jpg
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
0people_pic/janicki.jpg
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
0people_pic/kahl.jpg
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
0people_pic/karakos.jpg
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
0people_pic/khedri.jpg
Ridha Khedri     Professor
B.Eng. (Tunis), M.Sc. (Laval), Ph.D. (Laval), P.Eng.
Chair
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.
0people_pic/lawford.jpg
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
0people_pic/leduc.jpg
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
0people_pic/maibaum.jpg
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
0people_pic/nedialk.jpg
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
0people_pic/samavir.jpg
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
0people_pic/emil.jpg
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
0people_pic/smiths.jpg
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
0people_pic/stebilad.jpg
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
0people_pic/mohrens.jpg
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
0people_pic/wassyng.jpg
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
0people_pic/rzheng.jpg
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
0people_pic/zucker.jpg
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