The Group

Group Lunch: Monday 12-1

current

Portrait

Qianchuan Ye

Portrait

Kia Rahmani

  • Ph.D., 2017-
  • Projects: Sound Static Detection of Bugs in Highly Scalable Distributed Applications for Weakly Consistent Databases
  • Co-supervised with Suresh Jagannathan
  • Publications : OOPSLA 2019
  • Website
Portrait

Rob Dickerson

  • Ph.D., 2018-
  • Projects: Relational Program Reasoning
  • Website
Portrait

Pedro da Costa Abreu

  • Ph.D., 2018-
  • Projects: Deductive Synthesis of Efficent Haskell Programs
  • Website
Portrait

Michael Zhang

  • B.S., 2020-
  • Projects: Relational Program Reasoning
  • GitHub

alumni

Portrait

Eric Bond

  • M.S., 2018-2019
  • Projects: Translating Between Intensional and Extensional Type Theories
  • Current: Engineer at 47 degrees
Portrait

Ammar Askar

  • B.S., 2018-2019
  • Projects: Application-Specific Program Optimization (paper)
  • Website
  • Current: PhD student at Georgia Tech
Portrait

Paul Krogmeier

  • M.S., 2017-2018
  • Thesis : A Core Calculus For Data Refinement
  • Current: PhD Student at UIUC