PhD comprehensive examination - Jeff Yucong Luo

Friday, November 25, 2016 2:00 pm - 2:00 pm EST (GMT -05:00)

Candidate

Jeff Yucong Luo

Topic

Program Synthesis of Pluggable Type Systems

Supervisors

Werner Dietl and Patrick Mitran

Background subjects

  • Program Synthesis
  • Type Systems
  • Domain Specific Languages