FORA.tv Speaker - Yuan Yu

Biography

Yuan Yu is a senior researcher at Microsoft Research Silicon Valley lab, where he currently works in the area of large-scale parallel and distributed computing. For the six years he has been with Microsoft, he has been the project leader and primary contributor to the TLC model checker, the RaceTrack race detection tool, and the DryadLINQ data-parallel programming environment. Yuan joined Microsoft in 2002.
Previously, he was a senior member of technical staff at the DEC/Compaq Systems Research Center, working on model checking, software configuration management system, and multiprocessor cache
coherence protocols. Yuan has a Ph.D. in Applied Mathematics from University of Texas at Austin and a B.S. in Computer Science from Jilin University of China.