website for David

View on GitHub

Webpage for David E. Flores

David is a second year Ph.D student majoring in Computer Science at University of Colorado Boulder, advised by Bor-Yuh Evan Chang. Before coming to CU Boulder, David graduated from Harvey Mudd College in 2021 with a BS in Computer Science and Mathematics.

Currently, David is investigating how to define and check differential assertions: Assertions that allow for comparisons between two different versions of a program.

Work in Progress