Research Theme: Exploiting Physical Type Safety for Algorithm Synthesis (Newton) Phillip Stanley-Marbell - 04 Aug 2021 Newton - Physical Computation LaboratoryPhysical Computation Laboratory