Title: (Univalent) Foundations of Mathematics, AI, and Time Series (in Finance)
Abstract: I will outline some foundational views on deep learning and AI, and then tie this to developments in time series and applications/examples in financial services. I will proceed in a somewhat autobiographical order tying these themes together.
Dimitris has recently founded a company in the financial services space. Before that, he was most recently a Managing Director and head of the Applied AI group at Goldman Sachs. He holds a Phd in mathematical logic from Princeton University where his research focused on the intersection of topology, formal languages, and proof verification.