Dr. Paul A. G. Sivilotti
Associate Professor
Computer Science and Engineering
Site Navigation
Current Courses and Graduate Seminars (Autumn 2009)
- CSE 560: System Software Design, Development, and Documentation
- CSE 888.P11: Graduate Seminar (Components for Distributed Systems)
Future Courses and Graduate Seminars
- [Wi 2010] CSE 421: Software Development in Java
- [Sp 2010] CSE 560: Systems Software Design, Development, and Documentation
- [ongoing] CSE 888.P11: Graduate Seminar (Components for Distributed Systems)
Past Courses and Graduate Seminars
- CSE 459.23: Programming in Java
- CSE 421: Software Development in Java (piloted as 494M/J)
- 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 788.P11: Graduate Seminar (Logic and Model Checking for Software Systems)
- CSE/ECE 794R: Applied Enterprise Distributed Computing for Engineers and Scientists
- CSE 888.G11: Graduate Seminar (Components for Distributed Systems)