Presenter

Dolores Miao is a Computer Science PhD student at UC Davis, working on research projects led by Prof. Cindy Rubio-González. Her research areas are correctness on numerical programs involving floating-point arithmetics, and performance optimization of parallel programs. Prior to that, she was awarded a BEng degree in Communication Science and Engineering at Fudan University in 2007.