We will investigate a decision procedure for the monitorability of timed-properties of software controlled systems. A property defines a behaviour that a system is expected to exhibit, or in some cases, to not exhibit. In Runtime Verification, a property is monitorable if it is possible to construct a monitor that can detect the system’s conformance […]

Blockchain technology consists of a distributed ledger that operates through a decentralized network of data blocks, sequentially connected and regulated by consensus mechanisms. Initially developed to underpin cryptocurrencies like Bitcoin, broader business and technological sectors now recognize blockchains’ potential applicability across various fields, including healthcare, communication, and smart grids. Blockchains currently rely on established cryptographic […]

Humans and animals have emotions linked to an individual’s personality traits, which becomes obvious when looking into the pet and pet-owner interactions. With the advancement of Generative AI, research suggests that it is possible to replicate individuals’ behaviors digitally so that avatars can engage in game-plays and platforms like digital twins and metaverse, for entertainments […]

In the current digital world, users are constantly sending companies signals of their experiences and preferences in various shapes and forms, including likes/dislikes of a particular offer/product, reviews on platforms and social media, and contacting customer service. However, despite the abundance of signals, E-commerce companies are unable to rapidly gain meaningful and actionable insights from […]

The project comprises internships in a variety of technical and business roles within our organization. Within the organization, roles include associate machine learning developer, product management associates, associate business solutions consultants, communications associates, and finance associates. Within GovLab specifically, roles include associate machine learning developer, associate business solutions consultant, and project delivery associate. The difference […]

Every year, ~15,000 newborns in Canada who are critically ill are admitted to 31 Level 3 neonatal intensive care units (NICU). These newborns are at a high risk of death and illness. Over 65% of these newborns are not followed before birth in a hospital with a Level 3 NICU and need to be transferred […]

Pain is an unpleasant feeling and a significant health issue. A 2021 report by the Canadian Pain Task Force indicates that one in five people in Canada live with chronic pain, many of whom report it adversely affecting some or most daily activities. Chronic pain also has a tremendous impact on the Canadian economy. Additionally, […]

This project will build on the results achieved in MITACS Accelerate Project IT36824 on enhancing the security of the decentralized finance (DeFi) ecosystem through smart contracts analysis. In particular, we plan to work on refining and extending the algorithm we developed to find and repair oracle related vulnerabilities in smart contracts with new techniques to […]

This project will build on the results achieved in MITACS Accelerate Project IT36824 on enhancing the security of the decentralized finance (DeFi) ecosystem through smart contracts analysis. In particular, we plan to work on refining and extending the algorithm we developed to find and repair oracle related vulnerabilities in smart contracts with new techniques to […]

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

This project proposal aims to tackle a significant challenge in fintech: extracting human-readable descriptions from tabular financial data. Interpreting vast amounts of structured data in the dynamic financial technology landscape is crucial for informed decision-making and compliance reporting. The project seeks to develop a robust system by leveraging open-source Large Language Models (LLMs) tailored to […]

Dry Storage Containers are used by Ontario Power Generation (OPG) to store spent nuclear fuel that occurs due to power generation. These containers require inspection to ensure the welded seam sealing the lid to the container base contains no defects. Currently, this time-consuming process limits the production of these containers at a time when energy […]