Gao Ying

SSG Group | SIAS | Computer Science Department | University of Science And Technology of China

About

I'm a PHD student in the Software security lab. Now I'm looking for a formal method to measure the result of static analysis.
some keywords: Abstract interpretation, denotational semantics,probalitical semantics, structure of domain.
My Advisor Professor: YiYun Chen

My contacts

Education

Now

Research

My Interests:

My publication:

My Experience:

Links


Last modified: July 30, 2007