Software design education at Google. Programming languages PhD. Career goal: to give software developers knowledge and tools to help them reason about their programs […] 🌉 bridged from ⁂ hachyderm.io/@jschuster, follow @ap.brid.gy to interact