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.

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

With the recent emergence of the Metaverse, we observe an exponential omnipresence of 3D content in all technological fields, generating ever-large data sets on multiple different devices and a multiplication of user needs. Providing remote computing power, especially 3D rendering, represents a major technological challenge for many fields. However, real-time experiences and collaboration – which […]

Hate speech and toxicity pose a serious threat in online spaces, particularly for marginalized communities. Detecting and preventing harmful speech in online games is challenging, and current methods lack transparency and reliability. To address this issue, this project aims to develop a robust and trustworthy toxicity detection model for in-game chat. On the robustness side, […]

SunCo Sunspaces was founded in 1999 by three individuals familiar with the sunroom industry in Manitoba who wanted to bring back traditional values. We currently have our main sales dealership entitled Backyard Paradise by SunCo and 3 other dealerships across Manitoba and western Ontario. SunCo currently employs 19 employees and subtrades on a regular basis. […]

Acuicy Inc. is a growth-stage startup based in Halifax. The organization is an innovative business intelligence platform that provides tailored, data-driven insights, helping managers identify and deploy their company’s most capital-efficient clean technology solutions. Acuicy leverages the power of business intelligence, climate science, and economics to provide effective decarbonization strategies and delivers custom business cases […]

Plastic has become ubiquitous in our daily lives, finding its way into a wide variety of products and applications. However, the extensive use of plastic, coupled with improper disposal and inadequate recycling practices, has significant economic and environmental consequences, posing a severe threat to our planet. In Canada alone, a staggering 3 million tons of […]

An important component of modern video games is the non-player character (NPC), moving entities in-game that are not controlled by a human, which may cooperate with, oppose, or otherwise interact with the player. For an NPC to interact with the game word it must often perform complex tasks that are difficult to program explicitly. Research […]

The rapid evolution of video resolution has significantly increased the video bitrate requirement, making data transfer a challenging task for data-intensive applications like video conferencing, cloud gaming and game streaming. With the rise of machine learning, studies have shown the potential of embedding conventional video compression algorithms with AI-based methods to enhance their performance. This […]

THIS IS A GENERIC TEXT PUT IN PLACE AS THERE WAS NO PROJECT OVERVIEW

Modern compilers have increasingly large number of complex optimizations to meet the prevalent demand of using Machine Learning (ML) and Artificial Intelligence (AI) in gaming and other applications. Optimization passes are program and architecture depend. Therefore, selecting the best optimizations in the most optimal ordering is a difficult task. While leveraging ML methods in compiler […]

AR/VR may be the next frontier for online human communications and interactions. The ability to produce photorealistic avatars dramatically improves the feeling of immersion and connection in applications utilizing AR/VR. However, current methods of face capture are time-consuming and involve expensive cameras and sensors. In this project, we explore deep learning methods for generating face […]