Software quality is a complex challenge that includes security, reliability, correctness, and maintainability. Existing tools fall short in effectively identifying, monitoring, and prioritizing quality issues. This research project aims to bridge these gaps by developing a comprehensive solution. By addressing these limitations, it will enhance productivity, reduce risks, streamline software development, and increase project success. […]

Generative design to support complete community quantitative and qualitative analysis brings together growing computational practices in generative design with the urban design challenge of planning and building transit oriented complete communities using urban data analysis. This grant explores the importance of qualitative factors such as social cohesion in complete community design and the opportunity to […]

L’entreprise D-BOX oeuvre dans le domaine du divertissement et de la réalité augmentée grâce à ses sièges avec rétroaction haptique qui offrent une expérience sensorielle plus riche, que ce soit pour l’industrie du cinéma ou celle des jeux vidéo. Bien qu’il soit possible d’annoter manuellement la trame haptique pour une scène de film, il est […]

The goal is to investigate the realistic appearance models for complex reflectance properties, modeling reflectance, masking and inter-reflection at many scales. In the end, comparison and basis-space representation will be leveraged to develop an interactive rendering application for pre-visualization and in-game portrayal of complex materials.

Given the ever growing neural networks being developed and the abundant empirical evidence that model/data scale play an important role in enabling high-quality models of data, inference cost becomes a bottleneck to the deployment of state-of-the-art automated predictors. To address that, this research project aims to develop algorithms that can predict outcomes by combining predictions […]

This comprehensive study aims to explore the root causes of the ongoing conflict between the Ukrainian and Moscow churches through a multidisciplinary lens. Drawing on literary and religious psychology analysis, the article examines the complex historical, cultural, and psychological factors that have contributed to the conflict, providing a nuanced understanding of the ongoing tensions between […]

Designing built environments is a complex process that involves generating and evaluating alternative solutions using computational tools. In the Architecture, Engineering, and Construction (AEC) industry, designers use generative design methods to explore a larger number of alternatives and ML-driven rapid performance prediction to identify potential issues early on. However, separating these tasks hampers creative flow […]

The main goal of the project is to discover if program analysis approaches can be adapted to the context of Gradle build systems. Thus, during the research it is planned to implement support for Gradle build systems within an existing program analysis toolchain that have been developing at the University of Waterloo. (currently specific to […]

The research project aims to examine the attitudes of Ukrainians towards Russians, particularly about the concept of ‘good Russians’ during the ongoing full-scale war. The study will include the exploration of the socio-historical background of Russian-Ukrainian relations, as well as the analysis of the changes in attitudes before and after the Russian aggression in 2014. […]

The project “Detecting Phishing Websites using Machine Learning Techniques” aims to develop a method that can accurately identify and block malicious websites. Machine Learning algorithms will be used to analyze various website features, such as URL, page content, rank and other indicators to determine if it is a phishing site or not. By identifying and […]

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 […]