Projects

Awesense
The aim of this project is to create an algorithm which identifies the areas of the electrical grid which are most unbalanced (across electrical phases) in order to identify places where load can be easily switched from one electrical phase to another in order to improve and optimize balance.
Awesense
The aim of this project is to create an application for optimizing the distribution of load (consumption) acorss a power grid so that it is balanced instead of overloaded in some areas and underloaded in others.
Hummingbird Bioscience
Automated theorem proving was one of the major motivations for the development of the field of computer science, but it is only recently becoming a reality. The goal of this project is to advance our understanding of Rocq, a powerful and evolving proof assistant. In this project, we will perform an analysis of an important library of “tactics” that Rocq uses to construct formal proofs.
Type One Energy
The purpose of this project is to compute numerical solutions to Beltrami’s equation in three-dimensional toroidal geometries. Magnetic fields in so-called Taylor relaxed states satisfy Beltrami’s equation and can be good models of magnetic fields in confined plasma equilibria.
Clause Technology
The goal of this project is to find a way to automate the process of finding relevant information in the BCBC. Clause Technology is a software automation firm focusing on research and development of software for clients across different industries. One of our focuses is developing software tools to streamline tasks related to architecture and civil engineering. One of our products involves a large language model (LLM) powered chatbot which helps builders to find relevant sections of the BCBC using a series of questions based on information about their construction projects.
IOTO
This project aims to create new tools to extract insights with predictive or decision making value from the output of legislative bodies. It will investigate whether techniques from signal analysis or related mathematical fields can be used to help construct these tools. The goal is to leverage public data from legislative bodies to reveal what in the legislative activity is deserving if attention from a policy point of view, either by connecting with a known policy ontology (such as the comparative agendas codebook), or by surfacing issues that should be connected to a known ontology.
IOTO
This project aims to use feature engineering to help track and evaluate parliamentary and legislative members. We will leverage public data and attempt to engineer new features which may enhance engagement and/or predictive and decision making analytics of legislative bodies.
Complilogic
The goal of the Math to Power Industry Problem is to develop an algorithm that will determine the construction requirements per Sub-section 3.2.2 of the BC Building Code
Finite Carbon
This project aims to improve machine learning models for image classification of areas affected by deforestation. It will involve techniques such as feature engineering, binary classifier design and the use of evaulation metrics to design models which maximize precision while minimizing false positives.
Nautical Crime Investigation Services - Problem 1
This project will use natural language processing to generate search engine prompts for high-quality results for incidents at sea. Quality indicators include relevance, diversity, soundness, and minimizing bias.