Introduces students to the principal activities involved in developing high-quality software systems, including recent state-of-the-art advances. Topics include: requirements analysis, formal specification methods, software design, testing, program analysis, and automated software engineering.

This course is designed to teach students about the fundamentals associated with the development of innovative technology applications in the air transportation systems area. Emphasis will be placed on airport, ground operations; the design and deployment of the next generation air traffic management system (NEXTGEN); and the integration of unmanned aircraft systems (UAS) into the national air space (NAS).

Introduces the full range of human cultural and biological diversity. Human evolution, rise and fall of civilizations, non-Western cultures, and the human condition in different societies today. Emphasis on the relationships among biological, environmental, and cultural factors. (Gen.Ed. SB, DG)

Statistical inference in parametric models is generally well-understood, but parametric assumptions are unrealistic in many settings. Semiparametric and nonparametric models provide more flexible alternatives that may better reflect our knowledge of the problem at hand, but statistical inference in these models is often challenging. In this course, we will introduce the statistical theory and methods underlying targeted inference of Euclidean parameters in semiparametric and nonparametric models. We will begin by discussing aspects of semiparametric efficiency theory.

Hitchin once said that there is no real definition of what an infinite dimensional integrable system should be, but if you encounter one, you know it is one.

Not available at this time

Understanding the kinetics associated with any catalytic system is a crucial to the rational design of catalytic materials that can target desired chemical conversions. In this course, students will be exposed to the various analytical and modeling tools available to examine reaction kinetics of a catalyzed reaction, with an emphasis on reactions that take place on solid catalyst surfaces.

Success in industrial and academic careers requires effective projects and project portfolio prioritization and execution. Effective project and portfolio management maximizes overall impact and value, ensures balanced financial delivery over time and maximizes timely execution of project deliverables. This course will employ case studies and discussion groups to introduce students to modern prioritization, portfolio management and project management techniques.

This course is a 2 credit laboratory experience that allows students to apply the biological concepts covered in Biology 151 and 152 Introductory Biology in laboratory and field settings. Students will develop and practice scientific research skills while exploring the areas of genetics, cell and molecular biology, evolution, and ecology. To enroll, students must be co-enrolled in Biology 152 (Introductory Biology II) or have completed the 2 semester Introductory Biology Sequence (Biology 151 and 152).