The Group

Group Meeting: Monday 3-4 LWSN 1168

current

Portrait

Qianchuan Ye

  • Ph.D., 2017-
  • Projects : Synthesis of Binary Encoders and Decoders
  • Publications : CPP 2019
  • Website
Portrait

Kia Rahmani

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

Rob Dickerson

  • Ph.D., 2018-
  • Projects: Automatic API Migration
  • Website
Portrait

Pedro da Costa Abreu

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

Eric Bond

  • M.S., 2018-
  • Projects: Translating Between Intensional and Extensional Type Theories
Portrait

Ammar Askar

  • B.S., 2018-
  • Projects: Application-Specific Program Optimization
  • Website

alumni

Portrait

Paul Krogmeier

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