Professors

Concordia University · Computer Science and Software Engineering

software engineering

• software design
• aspect-oriented software development

University of Ottawa · Electrical Engineering and Computer Science

machine learning · cloud computing · databases · distributed systems · software engineering

• network computing and control
• design of distributed system software
• real time systems
• formal methods
• network and distributed systems security
• semantic web

University of Ottawa · Electrical Engineering and Computer Science

software engineering

• software engineering
• scenario- and goal-oriented requirements engineering
• user requirements notation (urn)
• business process modelling and mining
• healthcare informatics
• legal and regulatory compliance

Toronto Metropolitan University · Computer Science

software engineering · programming languages · human-computer interaction · web-based systems

• software engineering

University of New Brunswick · Faculty of Computer Science

biomedical engineering · signal processing · software engineering · knowledge engineering

• biomedical engineering
• signal processing
• software engineering

Toronto Metropolitan University · Computer Science

software reliability · software verification and validation · software engineering

• empirical software engineering

Carleton University · School of Computer Science

automated reasoning · formal methods in software engineering · programming languages · software engineering

• automated reasoning
• formal verification
• type theory
• proof assistants

Concordia University · Computer Science and Software Engineering

software engineering

• mining software repositories
• software quality assurance
• software maintenance
• empirical se
• mobile apps

McMaster University · Computing and Software

software engineering · systems

• programming theory & languages
• compiler construction (multi-core/simd)
• concurrent algorithms & data structures

University of Texas at Dallas · Computer Science

software engineering · real-time and embedded systems · software reliability and safety · fault-tolerant distributed systems · formal methods

• software reliability
• real-time systems
• fault tolerance
• automated software synthesis
• high-assurance systems

University of Texas at Dallas · Computer Science

software engineering · software reliability · high-assurance systems

• software reliability
• real-time systems
• dependable computing

Dalhousie University · Computer Science

software engineering · machine learning

• ml for se
• software for ai/ml
• mlops
• software maintenance

University of Calgary · Computer Science

software engineering

• agile software methods
• immersive analytics
• ar/vr for engineering

Toronto Metropolitan University · Computer Science

software engineering · ai-driven development · human-ai interaction · context-aware computing · contextual llms

• autonomous systems
• adaptive ai
• developer tools

University of Texas at Dallas · Computer Science

programming languages · logic programming · software engineering · artificial intelligence · parallel and distributed processing

• logic programming
• constraint programming
• programming languages
• answer set programming
• semantics

University of Ottawa · Electrical Engineering and Computer Science

distributed systems · networks · software engineering · systems

• software engineering
• model-based development
• distributed systems
• peer-to-peer systems
• quality of service and security management for web applications
• rich internet applications

University of Ottawa · Electrical Engineering and Computer Science

distributed systems · software engineering · security

• software verification
• validation and testing
• software security
• formal models
• mobile applications

Western University · Computer Science

cloud computing · distributed systems · software engineering · systems

• software engineering
• distributed systems
• fault tolerance
• self-adaptive/autonomic computing
• clouds

McMaster University · Computing and Software

machine learning · software engineering

• reinforcement learning
• digital twins
• model-driven engineering

New Jersey Institute of Technology · Computer Science

software engineering · program analysis · mobile software

• static program analysis
• android app analysis
• software evolution
• dynamic software updating