A complete list of MOOCs and free online courses.

This course will discuss different ways of formally modeling requirements of interest for autonomous systems. Examples of such requirements include stability, invariance, reachability, regular languages, omega-regular languages, and linear temporal logic properties. In addition, it will introduce non-deterministic finite and büchi automata for recognizing, respectively, regular languages and [...]

“Why do some companies outperform others?” That question is particularly important to ask in industries which are fiercely competitive like the tech sector. Companies competing in these industries find it difficult to achieve competitive advantage and sustain it over the longer run. In this course, you will learn about [...]

Thriving organizations strive for equity at all levels. Dynamic global DEI initiatives strengthen connectivity within individual teams and foster cross-cultural collaboration and mutual understanding while encouraging the inclusion of employees from all regions. Broader global relations aside, there also exist country-specific ethnic dynamics that make DEI a critical conversation. [...]

Being a successful leader in complex technical organization requires being ultimately accountable for your team’s performance and meeting commitments to all your stakeholders. This second Leading Technical Organizations course, "Accountability and Employee Engagement", explores how organizational leaders use different decision-making processes for different situations and that they are ultimately [...]