The intern will be working on a research project aimed improving scalability and applicability of automated reasoning tool called SPACER by improving the way it deals with special data types. Overall, the goal of this project is to make SPACER a more effective and reliable tool for verifying program correctness.

Open-ended problem solving plays an important role in industrial innovation, product development, strategy formulation, and many other applications. The study will use experimental methods to investigate the behaviour of individuals while solving open-ended problems, and will entail the gathering and analysis of both qualitative and quantitative data. Individual problem-solving tasks will be given to participants […]

The project is dedicated to the explore how the effective interface for a small modular nuclear reactor should look considering human factors and current digital technology design trends. The research will review the significance and application of modern human-computer interaction techniques to ensure a better user experience and to achieve substantial safety and operational benefits […]

Modern society heavily relies upon synthetic polymers, mainly based on carbon-based backbones and thus linked to a fossil-based industry. Polymers with non-carbon elements in there main chain are rather uncommon. Only polysiloxanes, known as silicones and polyphosphazenes have industrial and societal relevance. This project aims to investigate whether novel one-dimensional P,N-based polymers can be accessed […]

This research project, a collaboration between ServiceNow and ÉTS Montréal, aims to improve generative AI (e.g. artificial intelligence models that learn to generate data), which can impact various creative and knowledge-based industries like graphic design, content creation, and research. The project aims to create advanced generative models that can generate a variety of data types, […]

Sugarcane is native to the warm temperate, tropical regions of the world and is highly weather dependent. Recent climate change has hampered its growth, resulting in reduced yields, forcing farmer to adapt different practices in Costa Rica. There are four main phenological and development stages in Sugarcane. This project is focused on the maturation process […]

The proposed research project focuses on improving winter wheat production in Northwestern Ontario, a region with a short growing season and unpredictable climate. Farmers must select optimal planting dates for winter wheat for maximum production and it is challenging due to the number of growing days and planting depth before winter. Hence, the project aims […]

In order to navigate the world, an autonomous agent must build a causal model to understand the effects of its actions. In many tasks (automated car driving, automated medicine), collecting causal data, by performing arbitrary actions for the sake of measuring their effect (interventions), can be impractical, expensive and even unethical. On the other hand, […]

This proposed research project will be performed to understand the influence of female apparel on running biomechanics, soft tissue vibrations, and responses to neuromuscular fatigue in prolonged running. There is an emerging and growing need in sporting goods research and development departments to study female-specific running patterns in order to create products that ensure comfort, […]

This project is a collaboration between Korea’s Soongsil University NDT Lab and Canada’s Waterloo University Computer Vision for Smart Structure Lab (CViSS), aiming to promote new research at each institute and build smart construction and infrastructure monitoring. NDT Lab focuses on developing non-destructive engineering technologies for concrete internal crack width, reinforcing bar diameter and internal […]

The objective of the research project is to develop a comprehensive framework for avatar-mediated communication in AR/VR environments, with a focus on avatar facial expressions. The framework is intended to enhance the efficiency of communication in Mixed Reality (MR) remote collaboration situations, which can be variously applied to education, industry, and medicine, by providing a […]

Le projet de recherche entrepris par l’étudiant durant son déplacement au Canada visera à produire des nanocomposites cellulosiques pour le champ d’application diélectrique par impression 3D sur une durée prévue de 4 mois. Ce projet vise à répondre à trois questions scientifiques : 1-Évaluer l’imprimabilité 3D de nanocomposites à base de nanocellulose dans une matrice […]