Classwork at UT

C S 380S: Theory and Practice of Secure Systems

Survey of modern security, designed to introduce the basic techniques used in the design and analysis of secure systems. Covers selected topics in system and network security, focusing in particular on (i) design and analysis of secure software systems, and (ii) privacy and privacy-enhancing technologies.

Prof. Vitaly Shmatikov, Fall 2009.

C S 393R: Autonomous Robots

Covers the steps necessary to create and program fully functional teams of autonomous robots, including locomotion, object manipulation, vision (segmentation and object detection), localization, inter-robot communication, Kalman filters and control theory, individual behavior creation, and multiagent coordination and strategic reasoning.

Prof. Peter Stone, Fall 2009.

C S 380D: Distributed Computing I

Models of distributed systems; language issues, proving properties of distributed systems; time, clocks, partial ordering of events; deadlock and termination detection; diffusing computations; computing in hostile environments; distributed resource management.

Prof. Lorenzo Alvisi, Spring 2009. (Audit)

C S 386L: Programming Languages

Topics include formal syntax representations, program correctness, typing, and data abstraction. Features and problems in languages that allow parallelism. Exploration of different programming styles, such as imperative, functional, logic, data flow, and object-oriented programming.

Prof. William Cook, Spring 2009.

C S 388L: Intro To Mathematical Logic

Introduction to some of the principal topics of mathematical logic: propositional and predicate calculus; Gödel's completeness theorem; first-order theories; formalizing mathematical reasoning; first-order arithmetic; recursive functions; Gödel's incompleteness theorems; axiomatic set theory.

Prof. Vladimir Lifschitz, Spring 2009.

C S 380L: Advanced Operating Systems

Study of the formal structure, design principles, organization, implementation, and performance analysis of multiprogramming and/or multiprocessor computer systems.

• Total Installation Awareness (PDF format, 602 kB)

Prof. Mike Dahlin, Fall 2008.

C S 384G: Computer Graphics

Advanced material in computer graphics, including in-depth treatments of techniques for realistic image synthesis, advanced geometric modeling methods, animation and dynamic simulation, scientific visualization, and high-performance graphics architectures.

Prof. Don Fussell, Fall 2008.

• Non-Photorealistic Rendering (NPR) example image (PNG format, 337 kB)
• Ray-traced example image (PNG format, 76 kB)
• Hierarchically-modeled animation with particle system (MPEG-4 format, 4.3 MB)
• Stochastic Ray Tracing (PDF format, 552 kB)
• Path Tracer project "write-up"

C S 398T: Supervised Teaching in Computer Science

Supervised teaching experience, and seminar focused on curriculum construction and teaching methods. [Actually, this is the department's "immigration" course, so the talks cover much of the research currently underway at the department.]

Prof. J Moore and Prof. William Cook, Fall 2008.