Experience
Education
Bio
Researcher in theoretical computer science. 擅长领域:* algorithmic analysis of software * formal models of computer programs * concurrency * verification, model checking, and related techniques