Shumo Chu

Registered user since Fri 20 Jan 2017

Name:Shumo Chu

Shumo is a 4th year PhD student at Computer Science & Engineering, University of Washington. He interests in applying formal methods to data management and building data systems in a principled way.

Affiliation:University of Washington, USA
Personal website:
Research interests:Data Management, Programming Languages


PLDI 2017 Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee