This semester (Fall 2018), I am teaching “COSC 120 – Introduction to Computer Science I”, “COSC 120 – Introduction to Computer Science I” and “COSC 230 – Computer Architecture”. Next semester (Spring 2019) I am scheduled to teach “COSC 120 – Introduction to Computer Science I”, “COSC 130 – Introduction to Computer Science II” and “COSC 335 – Operating Systems”.
I no longer maintain a complete archive of syllabi. Syllabi are available on request for articulation purposes. I do maintain a list of representative syllabi for those thinking about taking my classes. Please be aware that I am always in the process of revising my teaching styles including what is taught and how it is presented.
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.