current Leveraging Human Feedback and Formal Methods for Robots formal methods, human-robot interaction, failure correction past Human-Agent Negotation human-agent interaction, negotiation, virtual reality Robot Guide Navigation guide robots, behavior, cultural differences Brain-Computer Interfaces Brain-Computer Interfaces, game, SSVEP Human-Robot Proxemics Human-Robot Interaction, Proxemics, Virtual Reality Implicit Motor Learning Cryptography, Cognitive Psychology, sequence learning
