The University of Texas at Austin- What Starts Here Changes the World
John A. Thywissen
  UT Computer Science -> John A. Thywissen -> Classwork




Professional Activities 




The Plan 



Chow @ Texas 

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.

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.

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.

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.

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.

     UT Directory | UT Maps | UTCS Calendar | UT Calendars | UTCS Search | UTCS Web Privacy
     Updated 2014 Dec 12
     © 2012 John A. Thywissen. All rights reserved. This Web page is not an official publication of The
     University of Texas at Austin and does not represent the views of the university or its officers.
     John A. Thywissen • jthywiss@cs