The Group

Group Lunch: Tuesdays 12-1

current

Portrait

Qianchuan Ye

Portrait

Kia Rahmani

  • Ph.D., 2017-
  • Co-supervised with Suresh Jagannathan
  • Projects:
    • Automatic Detection and Repair of Concurrency Anomalies in Distributed Database Programs
    • Publications: OOPSLA 2019, PLDI 2021
  • Website
Portrait

Rob Dickerson

  • Ph.D., 2018-
  • Projects:
    • Relational Program Verification
    • Publications: draft
    • Data-driven Program Analysis and Testing
    • Publications: OOPSLA 2021, draft
  • Website
Portrait

Pedro da Costa Abreu

  • Ph.D., 2018-
  • Projects: Embedding OCaml GADTs in Coq
  • Website

alumni

Portrait

Michael Zhang

  • B.S., 2019-2020
  • Projects: Relational Program Verification
  • Current: Engineer at Dell
  • GitHub
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
  • Website
  • Current: PhD Student at UIUC