My current schedule is available online.
This semester I'm teaching "Computers in Society" (COSC 100.01), Programming Languages (COSC 251.01) and CS Team Seminar II (COSC 392.01).
I have a list of SMP ideas, but I'm open to things students want to suggest.
My personal research interests include: the pedagogy (teaching) of Computer Science and formal verification of hardware systems. However, I'm open to other ideas for collaborative work. A list of my publications is in my curriculum vitae.
You can find information about my past teaching and other activities on an archives page.
I'm trying to collect information that would be useful to various groups: fellow faculty, current students, prospective students, faculty from other schools.
For the convenience of non-native English speakers here are a few links to this web page in some other languages (Beware: these are mechanical translations) -- German, French, Spanish, Gizoogle.