Department of Computer and Information Science
University of Pennsylvania
关注
立即认领
分享
关注
立即认领
分享
基本信息
浏览量:2
职业迁徙
个人简介
research I am broadly interested in machine learning and programming languages research. Currently, my group is working on developing novel techniques for building systems that incorporate machine learning components, focusing on their correctness, programmability, and efficiency. We draw on techniques spanning learning theory, programming languages, formal methods, and control theory, and are interested in applications including robotics, healthcare, and software systems.