Directory

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

McMaster University · Computing and Software

machine learning · software engineering

• reinforcement learning
• digital twins
• model-driven engineering

University of Saskatchewan · Computer Science

software engineering

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

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)