I am a second-year Ph.D. student in software engineering. Currently, I'm continuing my work on combinatorial software verification with Dr. Myra Cohen.
Brady J. Garvin
104D Avery Hall
Department of Computer Science and Engineering
University of Nebraska–Lincoln
Lincoln, NE 68588
bgarvin@cse.unl.edu
104D Avery Hall
Department of Computer Science and Engineering
University of Nebraska–Lincoln
Lincoln, NE 68588
bgarvin@cse.unl.edu
