Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.