Mycket tacksam över att ha fått ett matematikersponsorskap från Harmonic-teamet för att stödja min oberoende formella metod-/ML-forskning!