David Porfirio

Email: dporfirio@wisc.edu

About Me

I’m a PhD candidate at the University of Wisconsin–Madison, and my goal is to investigate and build new technologies that can help people program social robots. To do that, I create software and hardware interfaces that capture the intent of interaction designers and developers and convert their intent into programs by means of program verification and synthesis.

You can learn more about me on my website: https://dporfirio.github.io/

Publications