Unique computer programming assignments will be selected from different engineering/science fields (possibilities include: fluid flow, heat transfer, electrostatics, electromagnetism, structural ...

Nearly all laboratory assignments will require some type of programming or execution of software on either a student’s local computer or a CU Boulder supercomputer. Because programming is involved, it ...

Formal methods are a suite of mathematically grounded techniques that underpin the design, specification, and verification of programming languages and software systems.