Classwork at UT
Philosophy 391: Philosophy of Set Theory
A mixture of the mathematics of set theory with philosophical issues in set theory.
Prof. J. Dever, Fall 2012.
Computer Science 389R: Recursion and Induction I
The development of a formal theory for reasoning about computer programs, with emphasis on recursively defined functions in the LISP style and proof by mathematical induction. Heavy emphasis on student discovery and presentation of proofs.
Prof. J Moore, Fall 2011.
Computer Science 388S: Formal Semantics and Verification
Sequential execution: partial and total correctness; deductive, operational, and denotational semantics; formal derivation of programs; parallel execution: partial correctness, deadlock, and starvation; methodology, parallel versus distributed execution.
Prof. E. Allen Emerson, Spring 2010.
Computer Science 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.
- Secure Information Flow in the Orc Concurrent Programming Language project report (PDF format, 240 kB)
Computer Science 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.
- Probabilistic Robot Action Planning/Control project report (PDF format, 119 kB)
- Probabilistic Robot Action Planning/Control presentation (PDF format, 266 kB)
Computer Science 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)
Computer Science 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.
Computer Science 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.
Computer Science 380L: Advanced Operating Systems
Study of the formal structure, design principles, organization, implementation, and performance analysis of multiprogramming and/or multiprocessor computer systems.
Prof. Mike Dahlin, Fall 2008.
- Total Installation Awareness project report (PDF format, 602 kB)
Computer Science 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 report
Computer Science 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.