Presenter

A first year Ph.D student in Verified Software Laboratory, Department of Computer and Information Sciences, University of Delaware.
The major direction of research is formal software verification.