Awarded the Kennedy College of Sciences Summer Scholars grant! I am excited to learn about dependent type theory!