UAlberta Math Dept Opens AI Foundations Professorship as Szepesvári Teaches Matching Course
CsabaSzepesvari · x · 2026-10-20
The University of Alberta math department opened a tenure-track professorship on "Mathematical Foundations of AI and Formal Reasoning." Researcher Csaba Szepesvári notes he is teaching a nearly identically titled grad course, CMPUT 654, this semester.
More from Companies & People
- Details: Altman discussed IAEA-like body and merging all AI labs as safety paths — pstAsiatech · 2026-10-20
- Altman floated three industry proposals for safely developing AI as US sets up superintelligence oversight — pstAsiatech · 2026-10-20
- Investor Nick Linck urges chemists and biologists to join Isaak Freeman's automated lab startup — nick_linck · 2026-10-20
- Rumor: Anthropic's S-1 filing could drop this week, teeing up a blockbuster IPO — ns123abc · 2026-10-20
- Alexandr Wang's intern cohort produced Hyperliquid, Cognition and Decagon — tens of billions in value — FinanceYF5 · 2026-10-20
- National Australia Bank to cut 2,500 jobs, citing rapid AI adoption — gaganghotra_ · 2026-10-20