Welcome to Tie CHENG's home page! I am a research engineer in Abstract interpretation and semantics group of computer science department at École Normale Supérieure. My supervisor is Xavier Rival; the research is funded by INRIA. On September 23rd 2015, I defended my PhD which was pursued in the same group, and obtained the PhD degree from École Polytechnique.
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.