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