Welcome

Lin Cheng 's research interest is Symbolic Execution, his director is Zijiang Yang.

He is also TA of CS1200 and CS4850, and the supervisor is Bob Hardin.

He was a software engineer focusing on web services in ulucu, 99bill and m91, before that he was a math teacher of Tsinghua attached high school.

He received a master degree(in the year of 2005) and a bachelor degree(in the year of 2002) of Mathematics from Peking University.

He likes programming, He knows quite a few programming languages, among which he likes Erlang/C best. He likes reading, swimming/running/hiking, Chinese chess.