| Course Number | Course Name | Professor |
|---|---|---|
| CS 388 | Mooney | |
| Machine Learning | Ballard | |
| CS388L | Introduction to Mathematical Logic | Lifschitz |
| CS388S | Formal Verification and Semantics | Emerson |
| CS392F & EE382V | Feature Oriented Software Development (FOSD) | Batory |
| CS 394C | Algorithms for Computational Biology | Warnow |
| CS395T | Model Checking and Automated Formal Methods | Emerson |
| CS 395T | Topics in Multicore Programming | Pingali |
| CS 396M | Advanced Networking Protocols | Lam |
Class Homepages
Spring 2012
- About Us
- Research
- Faculty
- Awards & Honors
- Undergraduate Program
- CS Degrees
- For Non-CS majors
- Courses
- Advising
- Undergraduate Research
- Honors Programs
- Interdisciplinary Study & Certificate Programs
- Study Abroad
- Jobs & Internships
- Scholarships
- Prospective Students
- Why Study CS?
- Where to Study Computing at UT
- K - 12: Get Started Now
- Apply to CS from High School
- Apply to Turing Scholars from High School
- Freshman Research Initiative
- Transfer to UT CS from Another University
- Transfer to CS from Another UT Major
- Apply for Admission to CS from Entry-Level CS
- Schedule a Visit
- Student Life & Organizations
- Demographics
- Alumni
- Forms
- Code of Conduct
- Graduate Program
- Giving & Collaboration
- Careers
- Outreach
- Alumni
- UTCS Direct
