Professors

McMaster University · Computing and Software

software engineering

• programming languages
• mechanized mathematics
• program generation
• meta-programming for software engineering (agda)

New Jersey Institute of Technology · Computer Science

pervasive computing · software engineering · computer science education

• pervasive computing for smart health
• crowdsensing
• broadening participation in computing
• cs/ai education

Carleton University · School of Computer Science

software engineering · software testing · object-oriented testing · contextualized natural language understanding

• scenario testing
• test data generation
• behavior-driven development
• requirements acceptance testing
• security of critical infrastructures

Concordia University · Computer Science and Software Engineering

software engineering

• automated program repair
• software testing
• text analytics of software artifacts
• mining software repositories

University of Ottawa · Electrical Engineering and Computer Science

machine learning · robotics · software engineering · systems

• computer graphics
• computational photography
• computer vision

Concordia University · Computer Science and Software Engineering

software engineering

• design & implementation of programming languages
• context-driven & demand-driven computing

University of Ottawa · Electrical Engineering and Computer Science

data science · software engineering

• conceptual modeling
• requirements engineering
• software architecture
• knowledge representation

Concordia University · Computer Science and Software Engineering

software engineering

• development processes
• software testing & qa
• software architecture
• requirements engineering

Concordia University · Computer Science and Software Engineering

software engineering

• software evolution
• global software ecosystems
• mining software repositories
• knowledge modeling
• iot
• ml

University of New Brunswick · Faculty of Computer Science

hardware/software co-design · virtual machines · reconfigurable computing · embedded systems · software engineering

• reconfigurable computing
• virtual machines
• embedded systems
• fpga

University of Saskatchewan · Computer Science

software engineering

• software evolution
• model-driven engineering
• software analytics
• mining software repositories

University of Texas at Dallas · Computer Science

software engineering · requirements engineering

• non-functional requirements
• goal-oriented modeling
• software architecture

University of Texas at Dallas · Computer Science

software engineering · requirements engineering · non-functional requirements · software architecture · conceptual modeling

• requirements engineering
• non-functional requirements
• software architecture
• goal modeling

University of Ottawa · Electrical Engineering and Computer Science

machine learning · software engineering

• trustworthy artificial intelligence and software systems
• software verification and validation
• requirements engineering and regulatory compliance
• software engineering

University of New Brunswick · Faculty of Computer Science

software engineering · software agents · software process · new media technology · augmented and virtual reality

• software engineering
• software process
• ar/vr
• new media

University of Ottawa · Electrical Engineering and Computer Science

software engineering · security

• formal methods in security
• privacy and governance
• formal specification
• formal design
• validation
• verification

University of Calgary · Computer Science

software engineering · security

• software ecosystems
• software releases
• build systems
• security vulnerabilities
• mining software repositories

Toronto Metropolitan University · Computer Science

software engineering · software security · model-driven engineering · software testing and verification

• code clone detection
• static analysis
• iot security
• cresset lab

Western University · Computer Science

software engineering · systems

• computer algebra
• nonlinear system solving
• parallel processing
• high-performance computing
• programming languages

New Jersey Institute of Technology · Computer Science

software engineering · software verification · program analysis

• software verification
• static analysis
• program verification
• developer tools