his is a combination lab and lecture based course that will introduce early stage students to design of experiments, design and implementation of research projects in Chemical Engineering (both industrial and academic), statistical analysis of data, lab safety, and pitching research ideas and completed projects to communities of professionals.

his is a combination lab and lecture based course that will introduce early stage students to design of experiments, design and implementation of research projects in Chemical Engineering (both industrial and academic), statistical analysis of data, lab safety, and pitching research ideas and completed projects to communities of professionals.

This course will examine the landscape of American theater and its relationship to the politics of diversity in the U.S. We will study the theater work of Latinos/as in the U.S. to broaden our understanding of multicultural theater. In addition to studying the dramatic texts, we will also consider the political implications of the work and its relationship to social activism. We will also look at theater companies whose primary missions are to produce Latino/a theater and the history of the representation of Latinos on stage in this country.

Elements of theatrical design and basic skills in the areas of costume construction, lighting techniques, drafting and stagecraft. Required of majors.

This course introduces graduate and undergraduate students to concepts, practices, and tools for conducting effective research. Students will learn basic methods for activities such as reading technical papers, selecting research topics, devising research questions, planning research, analyzing experimental results, modeling and simulation of computational phenomena, and synthesizing broader theories.

Rigorous introduction to mathematical logic from an algorithmic perspective. Topics include: Propositional logic: Horn clause satisfiability and SAT solvers; First Order Logic: soundness and completeness of resolution, compactness theorem. We will use various state-of-the-art tools for applying logic to automatically verifying correctness properties of programs or finding errors, including model checkers, SAT and SMT solvers and theorem provers.

This course provides an introduction to the principles and practice of computer and network security. A focus on both fundamentals and practical information will be stressed. The three key topics of this course are cryptography, privacy, and network security. Subtopics include ciphers, hashes, key exchange, security services (integrity, availability, confidentiality, etc.), security attacks, vulnerabilities, anonymous communications, and countermeasures.

This course will teach the principles and practice of distributed systems as applied in today's cloud computing environments. The course will cover concepts in distributed computing including distributed clocks, consistency, fault tolerance, and consensus. The course will also cover popular cloud computing service models, MapReduce and related programming models, datacenter architectures, and security and privacy issues in public clouds. The course will expose students to popular cloud platforms such as Amazon EC2, Google AppEngine, and Microsoft Azure.

This course will teach the principles and practice of distributed systems as applied in today's cloud computing environments. The course will cover concepts in distributed computing including distributed clocks, consistency, fault tolerance, and consensus. The course will also cover popular cloud computing service models, MapReduce and related programming models, datacenter architectures, and security and privacy issues in public clouds. The course will expose students to popular cloud platforms such as Amazon EC2, Google AppEngine, and Microsoft Azure.

Introduction to mathematical logic: propositional logic, first-order logic, completeness, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.