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

machine learning · data science · natural language processing · software engineering · security

• application of machine learning and natural language processing (nlp) to critical areas
• user profiling and behavioral analysis
• cybersecurity measures and threat detection
• applying ml to financial management decision-making
• data loss prevention (dlp) strategies

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

Western University · Computer Science

machine learning · data science · software engineering · security

• data analytics
• applied ai/ml
• software engineering
• cps safety & security
• dependable ai
• decision-making

University of Ottawa · Electrical Engineering and Computer Science

machine learning · distributed systems · networks · software engineering

• wireless communication and mobile networking
• sensor networks
• wireless and mobile ad hoc and mesh networks
• wireless multimedia
• qos in heterogeneous wired and wireless networks
• security: ad hoc

University of Saskatchewan · Computer Science

data science · software engineering

• mining software repositories
• software maintenance
• data science
• scientific workflows

University of Ottawa · Electrical Engineering and Computer Science

machine learning · natural language processing · software engineering

• trustworthy artificial intelligence for software engineering
• neuro-symbolic artificial intelligence
• model-driven engineering
• formal methods and verification

Dalhousie University · Computer Science

software engineering

• software performance engineering
• model-based se

University of Saskatchewan · Computer Science

software engineering

• code clone detection
• software maintenance & evolution
• mining software repositories
• refactoring

University of Saskatchewan · Computer Science

software engineering

• programming languages
• aspect-oriented & functional programming

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

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

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

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