Debugging & Verifying Programs -- CS 340d -- Homepage

Homepage: http://www.cs.utexas.edu/users/hunt/class/2018-spring/cs340d/cs340d.html



        Unique Number:  51545
           Class Room:  GDC 4.302

           Class Days:  Monday, Wednesday

           Class Time:  9:30 am -- 10:50 am

           Instructor:  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>

   Teaching Assistant:  "Mihir Mehta" <mihir@cs.utexas.edu>

      Office Location:  Hunt:  GDC 7.818

         Office Hours:  Hunt:  Mondays:              11:00 am to  1:00 pm
                        Hunt:  Wednesdays:           11:00 am to 11:45 am
                        Mehta:  Tuesdays, Thursdays:  1:00 pm to  3:00 pm

Office Hours Location:  GDC 3rd floor atrium (but if you don't find us there,
                        try Warren's GDC 7.818 office)

     TA Announcements:  Use piazza.com

Everytime you start to work, check this page! This webpage and the webpages transitively reachable from this webpage are the definitive resource for assignments, laboratories, and other class-related issues. The UT Canvas system will be used to record grades and to provide some information.

Below are links to the course announcement, syllabus, and homework and laboratory assignments. Announcements and additional information will incrementally appear during the semester.