Directory

Concordia University · Computer Science and Software Engineering

software engineering

• software engineering
• programming languages
• formal methods
• applied machine learning

University of Ottawa · Electrical Engineering and Computer Science

software engineering · security · systems

• formal methods
• particularly interactive theorem proving and automated deduction
• logical frameworks and their application in domains such as programming languages
• systems biology
• privacy and security
• and proof theory

Simon Fraser University · Computing Science

software engineering

• program synthesis
• programming languages
• formal methods

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

McMaster University · Computing and Software

cloud computing · software engineering · security

• software engineering
• model-driven engineering
• safety & security
• formal methods
• cloud computing
• search-based se (automotive/aerospace)

McMaster University · Computing and Software

data science · software engineering · security

• information & network security
• software engineering
• data analytics
• architecture design
• formal methods
• ontology-based analytics

Simon Fraser University · Computing Science

data science · security · systems

• formal methods
• systems modeling
• cybersecurity
• data analytics

Simon Fraser University · Computing Science

software engineering

• program synthesis
• program verification
• formal methods