CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
CIVIL-414: Design of precast concrete structuresThe course deals with the design of precast reinforced concrete structures, both for bridges and for buildings.
The course is focused in learning by projects supplemented by some lectures by the teac
ME-104: Introduction to structural mechanicsThe student will acquire the basis for the analysis of static structures and deformation of simple structural elements. The focus is given to problem-solving skills in the context of engineering desig
MSE-440: Composites technologyThe latest developments in processing and the novel generations of organic composites are discussed.
Nanocomposites, adaptive composites and biocomposites are presented. Product development, cost anal
CIVIL-369: Structural stabilityAdvanced topics in structural stability; elastic & inelastic column buckling; lateral-torsional buckling of bridge/plate girders; nonlinear geometric effects; frame stability; computational formulatio
CIVIL-238: Structural mechanics (for GC)The course discusses the basic principles of structural mechanics, analyzing the performance of materials and structures against loading and focuses on the stress strain relationships and the effect