Registered user since Sun 9 Jul 2017

Name: Zilin Chen

Affiliation: UNSW, Australia

All Activities

• Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track in ICFP 2016
• Author of Cogent⇑: giving systems engineers a stepping stone within the TyDe 2017-track in TyDe 2017