Series of lectures by outstanding authorities on the practice of civil engineering and its relations to economics, sociology, and other fields of human endeavor.

Formal methods for demonstrating correctness and other properties of programs. Invariant assertions; Hoare axiomatics; well-founded orderings for proving termination; structural induction; computational induction; data structures; parallel programs; overview of predicate calculus. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 374 or MATH 414.

Structure of programming languages and their implementation. Basic language design principles; abstract data types; functional languages; type systems; object-oriented languages. Basics of lexing, parsing, syntax-directed translation, semantic analysis, and code generation. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 233 or CS 240; CS 374; one of MATH 225, MATH 415, MATH 416, ASRM 406.

Allows freshmen to explore topics in Civil and Environmental Engineering through a project-based learning format. The course also develops competencies in critical skills such as technical writing in CEE, data management and computation, and design thinking in a collaborative team environment.

This course is designed to provide background knowledge of public finance in theory and briefly introduce the current fiscal institutions of China. It will start with the important topics on public finance, such as public goods and externalities. Then the second part of the course will be on the introduction of taxation (revenue). We will also discuss China’s fiscal reform, and how it has evolved to its present state and the implication.

Transit systems basics, demand issues, design standards, economic and sustainability implications. Transit service planning for shuttle, corridor, and network systems, hybrid hierarchical systems, paratransit and demand-responsive services. Management of transit systems, fleet operations, and crew scheduling. Operational issues, vehicle movement, headway and schedule control.

Python is a language with a simple syntax and a powerful set of libraries. It is an interpreted language, with a rich programming environment, including a robust debugger and profiler. While it is easy for beginners to learn, it is widely used in many scientific areas for data exploration. This course is an introduction to the Python programming language for students without prior programming experience. We cover data types, control flow, object-oriented programming, and graphical user interface-driven applications.

Quantitative Research in Social Science

This course investigates methods implemented in multiple quantitative trading strategies with an emphasis on automated trading and quantitative finance-based approaches to enhance the trade decision-making mechanism. The course provides a comprehensive view of the algorithmic trading paradigm and some of the key quantitative finance foundations of these trading strategies. Topics explore markets, financial modeling and its pitfalls, factor model-based strategies, portfolio optimization strategies, and order execution strategies.

Railroad track engineering concepts including track component and system design, construction, evaluation, maintenance, load distribution, and wheel-rail interaction. Design and analysis tools for railroad track engineering and maintenance. Field trip to observe railroad track system and components. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CEE 310.