Related projects
Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.
High-Performance, High Assurance Software
Optimal Computational Algorithms, Inc. (OCA) provides the highest quality
mathematical software possible. Our goal is to produce scientific software with nearoptimal
performance on increasingly parallel systems, while assuring software
correctness by construction. This research project continues a partnership with
McMaster University, and individual internship projects will focus on extending OCA’s
tools to target new computations involving the design and analysis of Magnetic
Resonance experiments, and to automatically generate proofs of software correctness
that can be checked independently by third-party software.
Faculty Supervisor:
Spencer Smith;Alex D Bain;Wolfram Kahl
Student:
Partner:
Optimal Computational Algorithms Inc
Discipline:
Computer science
Sector:
Professional, scientific and technical services
University:
McMaster University
Program:
Accelerate
Current openings
Find the perfect opportunity to put your academic skills and knowledge into practice!
Find Projects
International
Load More
International
Load More
