Welcome to Tie CHENG's home page! I am pursuing a PhD in Abstract interpretation and semantics group of Computer Science Department at École Normale Supérieure. My supervisor is Xavier Rival. My research is funded by Inria. I officially register at École Polytechnique as a PhD student.
My previous professional experience allowed me to understand how information technologies are applied in the industry. Now I am interested in how to generalize, formalize and improve them by theoretical computer science. My research interests are thus spreadsheets, abstract interpretation, static analysis, program verification, formal methods and functional programming.
I obtained one Master's degree of Research in Computer Science from École Polytechnique, and another Master's degree of Science and Executive Engineering in Management of Information Systems from École des Mines de Paris.