EE 382V: LATTICE THEORY WITH APPLICATIONS
MW 9:30 - 11:00
Room: ENS 126
Unique Number: 15533
Instructor: Prof. Vijay Garg ; Office: ENS 516 ; Phone: 471-9424 ;
Office Hours: TTh 2:30-4:00 (or by appointment);
Prerequisites: Graduate standing
Course Contents: Partial order and lattice theory now play an important role in many disciplines of computer science and engineering. For example, they have applications in distributed computing (vector clocks, global predicate detection), concurrency theory (pomsets, occurrence nets), programming language semantics (fixed-point semantics), and data mining (concept analysis). They are also useful in other disciplines of mathematics such as combinatorics, number theory and group theory. In this course, I will introduce important results in this theory along with their applications in computer engineering. The bias of the course wil be on computational aspects of lattice theory (algorithms) and on applications (esp. distributed systems). There is no final exam but there will be two exams during the course. The following topics will be covered in the course:
Course Evaluation: Standard ; Add/Drop Policy: Standard.
Disabilities statement: "The University of Texas at Austin provides upon request appropriate academic accommodations for qualified students with disabilities. For more information, contact the Office of the Dean of Students at 471-6259, 471-4641 TTY."