4.s43
TBA (Dept. of Civil & Env. Engineering)

Special Subject: Building Technology — Applied Category Theory for Engineering Design

When designing complex, multi-component systems, we need to consider multiple trade-offs at various abstraction levels and scales, and choices of singlecomponents need to be studied jointly. For instance, the design of future mobility solutions (e.g., autonomous vehicles, micromobility) and the design of the mobility systems they enable are closely coupled. Indeed, knowledge about the intended service of novel mobility solutions would impact their design and deployment process, while insights about their technological development could significantly affect transportation management policies. Approaching the co-design of these systems is a complex task for at least two reasons. On one hand, the co-design of interconnected systems (e.g., large networks of cyber-physical systems) involves the simultaneous choice of components arising from heterogeneous natures (e.g., hardware vs. software parts) and fields, while satisfying systemic constraints and accounting for multiple objectives. On the other hand, components are connected via collaborative and conflicting interactions between different stakeholders (e.g., within an intermodal mobility system). In short, we lack tools that can enable the clear formulation and efficient solution of such complex, compositional design problems.

In various engineering and applied science domains, recognizing the significance of abstraction and compositionality can markedly enhance both problem understanding and solution development. Applied Category Theory is a branch of mathematics that offers valuable insights into these very aspects. A problem, however, is that this type of mathematics is not traditionally taught – to date, there exists no easy path for engineers to learn category theory that is approachable and emphasizes engineering applications, such as the ones presented above. This course aims at filling this gap. It is designed not merely to teach category theory, but to foster the compositional engineering way of thinking. Category theory will just be the means towards this end.

The class covers topics from foundational principles to advanced applications, emphasizing the role of compositional thinking in engineering. It showcases successful applications in areas such as dynamical systems and automated system design optimization, with a focus on autonomous robotics and mobility. Additionally, the course offers students the opportunity to work on their own application through a dedicated project in the second half of the semester.

Gioele Zardini
Fall
2025
3-1-8
G
Schedule
TBA
Location
TBA
Prerequisites
Calculus, linear algebra, and dynamical systems at undergraduate level; or permission of instructor.
Can Be Repeated for Credit
Yes
4.489

Preparation for Building Technology PhD Thesis

Selection of thesis topic, definition of method of approach, and preparation of thesis proposal. Independent study supplemented by individual conference with faculty.

Advisor
Fall
2025
3-0-3
G
Schedule
see advisor
Prerequisites
permission of instructor
Required Of
PhD BT
Can Be Repeated for Credit
Yes
4.488

Preparation for BT Thesis

Selection of thesis topic, definition of method of approach, and preparation of thesis proposal. Independent study supplemented by individual conference with faculty.

Advisor
Fall
2025
TBA
G
Schedule
see advisor
Prerequisites
permission of instructor
Required Of
SMBT
Can Be Repeated for Credit
Yes
4.481

Building Technology Seminar

Fundamental research methodologies and ongoing investigations in building tehnology to support the development of student research projects. Topics drawn from low energy building design and thermal comfort, building systems analysis and control, daylighting, structural design and analysis, novel building materials and construction techniques and resource dynamics. Organized as a series of two- and three-week sessions that consider topics through readings, discussions, design and analysis projects, and student presentations.

Fall
2025
2-0-1
G
Schedule
R 3-5
Location
5-415
Prerequisites
permission of instructor
Required Of
SMArchS BT, SMBT, PhD BT
Can Be Repeated for Credit
No
4.463

Building Technology Systems: Structures and Envelopes

Addresses advanced structures, exterior envelopes, and contemporary production technologies. Continues the exploration of structural elements and systems, expanding to include more complex determinate, indeterminate, long-span, and high-rise systems. Topics include reinforced concrete, steel and engineered-wood design, and an introduction to tensile systems. The contemporary exterior envelope is discussed with an emphasis on the classification of systems, performance attributes, and analysis techniques, material specifications and novel construction technologies.

Fall
2025
3-2-4
G
Schedule
Lecture: MW 9:30-11
Lab/Recitation: F 10-12
Location
Lecture: 5-234
Lab/Recitation: 3-133
Prerequisites
4.462 or 4.440 or permission of instructor
Required Of
MArch
Can Be Repeated for Credit
No
4.401
4.464

Environmental Technologies in Buildings

4.401 U (GIR Lab) / 4.464J, 1.564J G

Introduction to the study of the thermal and luminous behavior of buildings. Examines the basic scientific principles underlying these phenomena and introduces students to a range of technologies and analysis techniques for designing comfortable indoor environments. Challenges students to apply these techniques and explore the role energy and light can play in shaping architecture.

Additional work required of students taking the graduate version.

Fall
2025
3-2-7
U
3-2-4
G
Schedule
Lecture for all: MW 11-12:30
4.401 lab: F 11-12
4.464 lab: F 10-11
Location
Lecture: 9-354
4.401 lab: 3-442
4.464 lab: 1-134
Required Of
4:401: BSA; 4.464: MArch
Restricted Elective
Architecture minor
Can Be Repeated for Credit
No
IAP-Non-Credit

Crafting Softness: A hands on splicing workshop with artist Janet Echelman

In this multi-day workshop participants will learn about the basics of rope splicing and the role of this craft method in the work of artist Janet Echelman. The workshop will begin with a talk from artist Janet Echelman followed by a tutorial on rope splicing techniques. The remainder of the workshop will be focused on constructing a full-scale prototype of a fragment of a site-specific sculpture that is scheduled to be installed in the MIT Museum in the fall of 2025. The workshop will end with a test fit of the fragment on site in the MIT Museum.

Adam Burke
Janet Echelman
IAP
2025
N/A
Schedule
January 13-16, 2025: MTWR 10-4
Location
MIT Museum, Sharp Room
Prerequisites
None
Enrollment
Limited to 20
Can Be Repeated for Credit
No
4.489

Preparation for Building Technology PhD Thesis

Selection of thesis topic, definition of method of approach, and preparation of thesis proposal. Independent study supplemented by individual conference with faculty.

Advisor
IAP
2025
3-0-3
G
Schedule
see advisor
Prerequisites
permission of instructor
Required Of
PhD BT
Can Be Repeated for Credit
Yes
4.488

Preparation for BT Thesis

Selection of thesis topic, definition of method of approach, and preparation of thesis proposal. Independent study supplemented by individual conference with faculty.

Advisor
IAP
2025
TBA
G
Schedule
see advisor
Prerequisites
permission of instructor
Required Of
SMBT
Can Be Repeated for Credit
Yes