This semester (Fall 2020), I am teaching “COSC 230 – Computer Architecture”, “COSC 420 – Distributed/ParallelComputing” and “COSC 435 – Acceleration”. Next semester (Spring 2021) I am scheduled to teach “COSC 130 – Introduction to Computer Science II”, “COSC 251 – Programming Languages” 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.
This schedule does not show in person office hours. Due to coronavirus restrictions, for in person office hours you will need to book an appointment with me during office hours. You don't need to book far ahead, it's just to make sure I don't have a queue forming outside my door. See here to make a booking.
For Zoom office hours, send an email and I will reply with a Meeting ID and Password.