portrait

David Porfirio, Ph.D.

Computer Scientist
U.S. Naval Research Laboratory

emailEmail
google scholarGoogle Scholar
githubGithub
linkedinLinkedIn

Download my CV

About Me

I am a researcher in the Navy Center for Applied Research in Artificial Intelligence, Adaptive Systems Section. My research focuses on user interfaces that facilitate human-robot interaction. Recently, my work has investigated human-robot task communication via human interaction with AI planners.

News

12.24
Guest lecture for CMSC 722 at the University of Maryland, College Park.
8.24
Completed my postdoc and began a full position at the U.S. Naval Research Laboratory.
4.24
Invited talk at Johns Hopkins University LCSR seminar.
3.24
Full paper talk at HRI 2024: Goal-Oriented End-User Development of Robots.
8.23

Projects

polaris

POLARIS

HRI 2024 paper


Exploring end-user development of robot programs in terms of goal predicates.
isl

INTERACTION SPECIFICATION LANGUAGE

UR-RAD 2023 symposium website

RO-MAN 2023 paper

AAAI Spring Symposium 2023 paper


Standardizing robot application development via a common, intermediate representation.
tabula

TABULA

HRI 2023 paper, video, code


Facilitating on-the-fly robot application development through a combination of sketching and spoken language.
crowdsourcing interface

CROWDSOURCING TASK TRACES

HRI 2023 LBR paper, video, code+data+study


Collecting examples of step-by-step tasks through an easy-to-use crowdsourcing interface.
figaro

FIGARO

CHI 2021 paper, video, code


Figaro is a tabletop programming-by-demonstration interface for HRI. Play out what you want the robot to do with figurines, and Figaro will assemble an executable program!
repair

TRANSFORMING ROBOT PROGRAMS

CHI 2020 paper, video, code


We developed an approach for modifying robot programs based on user interaction. The robot stores interaction traces for each user and incrementally learns repairs!
synthe

SYNTHÉ

UIST 2019 paper, video, code


Grab a partner and act out a human-robot social interaction while Synthé records you. Synthé will then assemble a fully executable program to run on a robot!
rover

ROVER

🏆 UIST 2018 (Best Paper) paper, video, code


A classic human-robot interaction visual programming environment with a twist—RoVer verifies your program against a set of social norms!