CS 378 TA Homepage

Welcome to my brief homepage for CS 378. Announcements, homework hints, etc. may appear here.

Orientating Info

Office Hours

My office hours are TTH 11:00-12:00 on the 20th floor of the official UT "tower." Feel free to contact me and setup an additional meeting time if your schedule requires it or you need some random help. I am more pleased to help you when you have started ahead of time, but if it's last minute, I'm around to help, so ask anyway (I make no guarantees about replying except that I have a goal to respond within 24 hours).

Appointments with Dr. Browne can be setup by emailing him. He is often in his office (Taylor 5.126) in the early morning.

Dr. Hunt's office hours are W 2:00-3:45 on the 20th floor of the official UT "tower." You can also email him to setup an appointment at another time.

Class website

The class website is: http://www.cs.utexas.edu/users/browne/uvvf2008/

Discussion Forum

Per the classroom survey on August 28th, I have setup a Google group for this class. While students dream about TAs and Professors as knowing everything, this is far from the truth (although Dr. Browne and Dr. Hunt know a tremendous amount about the subject of this class). You will find your peers to be a valuable resource in this class, and a discussion forum is one more way for you all to communicate with one another. Also, I prefer to answer general questions in a forum that all students can see. This allows the sharing of my information with more than just one student, including the students who would rather not send emails to the TA.

To sign up for the discussion forum, visit http://groups.google.com/group/utexas-cs378-fall2008/

It's unclear to me whether the group is reasonably usable with only a UTCS account. If you go this avenue, let me know what you think please. If you use the gmail interface to read the group, you probably want to setup a label and filter for the group alias utexas-cs378-fall2008@googlegroups.com.

Explanation of the class tools

I'm in the process of putting together a brief introduction to the class tools

Assignment Info

Revised Undergraduate Work Plan


Graduate Topic Proposals


Graduate Deadlines


Revised Class Schedule


Presentation Schedule


Material Info

Dr. Hunt's Model Checking Example (9/30)

Model checking example

Random Tips for Understanding the Material



In an effort to get up to speed on the class's subject matter, I've put together a reading list for myself. You're welcome to peruse it if you're interested, but I make no guarantees as to the articles' usefulness. Reading List