I am a third-year Ph.D. student in Computer Science and Engineering at the University of Michigan, advised by Prof. Jean-Baptiste Jeannin. Before that, I was an undergraduate student in Computer Science and Technology at Shanghai Jiao Tong University, working with Prof. Qinxiang Cao and Prof. Biaoshuai Tao.
Research Interests: Programming Languages, Formal Methods.
Contacts:
- Physical space: Room 4956, 2260 Hayward St, Ann Arbor, MI 48109, USA
- Cyber space: ychtao@umich.edu
Links: Google Scholar / GitHub / LinkedIn /