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