Tie Cheng
Researcher
Computer Science Department
Ecole Normale Superieure (ENS)
France
Biography
Previously, I was a research engineer in Abstract interpretation and semantics group of computer science department at École Normale Supérieure. My supervisor was Xavier Rival; the research was 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 professional experience allowed me to see how information technologies are applied in the industry. I am interested in how to generalize, formalize and improve them by theoretical computer science.
Research Interest
My research interests are thus spreadsheets, abstract interpretation, static analysis, program verification, formal methods and functional programming. My PhD thesis was on static analysis of spreadsheet applications; I was the principal developer of AiXL, a Spreadsheet Application Verifier.
