| Guodong Li
Member of Research Staff
Software System Innovation Group
Fujitsu Labs of America
1240 E. Arques Ave.
Sunnyvale, CA 94085
I defended my Ph.D dissertation in June 2010 and then joined Fujitsu Labs of America.
My research interests are in improving the correctness, reliability and security of programs and systems.
I have been working on projects about compiler validation, concurrent program checking, automatic software testing, and so on.
Overall I aim at building automatic and practical tools.