MGT-498: Platforms & digital business modelsThis course is a hands-on introduction to platform strategy and digital business models. Students will apply theoretical insights to practical cases and will work in groups to develop own business ide
CS-628: Interactive Theorem Proving CSA hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
MATH-681: Reading group in applied topology IIIn this reading group, we will work together through recent important papers in applied topology.
Participants will take turns presenting articles, then leading a discussion of the contents.
FIN-604: Financial Econometrics IWe provide a comprehensive overview of the econometric tools that are essential to estimate financial models, both for asset pricing and
for corporate finance.
FIN-410: Real options and financial structuringThe course covers advanced topics in corporate finance such as the design and valuation of corporate securities, the issuing process for theses securities, real options, and their implications for val
CS-410: Technology ventures in ICThis hands-on class gives graduate students in IC interested in startups the opportunity to learn and put in practice the fundamental skills required to assess a technology concept in the context of a
MGT-632: Recursive Methods in MacroeconomicsThis is a PhD course on recursive methods used in modern macroeconomics. Recursive
representations of macroeconomic models are useful because they are parsimonious and allow
the computer to be used to
