Dr. Paul A. G. Sivilotti
Associate Professor
Computer Science and Engineering
Site Navigation
Current Courses and Graduate Seminars (Autumn 2008)
- CSE 421: Software Development in Java
- CSE 788.P11: Graduate Seminar (Logic and Model Checking)
Future Classes and Graduate Seminars
- [Au 2008] CSE 421: Software Development in Java
- [Au 2008] CSE 788.P11: Graduate Seminar (Logic)
- [ongoing] CSE 888.G11: Graduate Seminar (Components for Distributed Systems)
Past Classes and Graduate Seminars
- CSE 459.23: Programming in Java
- CSE 494M/J: Software Development in Java
- CSE 560: Systems Software Design, Development, and Documentation
- CSE 763: Introduction to Distributed Systems
- CSE 788.Y11: Graduate Seminar (Specification of Distributed Systems)
- CSE 788.Y11: Graduate Seminar (Distributed Systems: Specification, Implementation, and Testing)
- CSE 788.P11: Graduate Seminar (Model Checking)
- CSE/ECE 794R: Applied Enterprise Distributed Computing for Engineers and Scientists
- CSE 888.G11: Graduate Seminar (Components for Distributed Systems)