#12 Tenure, Sexism and ADHD - Talia Ringer
Type Theory Forall
Talia Ringer is an Assistant Professor at University of Illinois Urbana-Champaign. She did her PhD at University of Washington with her thesis on Proof Repair.
Sheβs very active on twitter @taliaringer. And in this episode we will talk about her transition from PhD to Professor, her work on diversity, her ADHD and how it has affected her career so far, and we also touch on the delicate topic of sexism in academia.
Links
Next Episodes
#11 FP, Monads, GHC, and beyond - Alejandro Serrano @ Type Theory Forall
π 2021-10-04 19:38 / β 01:07:12
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das @ Type Theory Forall
π 2021-07-15 15:50 / β 01:16:30
#9 Logic and Proof Theory - Anupam Das @ Type Theory Forall
π 2021-05-28 11:30 / β 00:57:20
#8 Cedille - Chris Jenkins @ Type Theory Forall
π 2021-05-11 04:30 / β 01:05:42
#7 Hacking Isabelle's Internals - Daniel Matichuk @ Type Theory Forall
π 2021-04-16 04:15 / β 01:20:52