Next semester (Fall 2026), I will be teaching “COSC 120 – Introduction to Computer Science I”, “COSC 230 – Computer Architecture” and “COSC 401 – Software Startup Simulator (Capstone)&rdquo.
My research attempts to apply established theorem proving technology to systems level hardware/software co-design. I have a list of potential Saint Mary's Projects that will allow my students to participate in my research programme.