Welcome to Yichen Tao’s homepage!

I am a third-year Ph.D. student in Computer Science and Engineering at the University of Michigan, advised by Prof. Jean-Baptiste Jeannin in Michigan Aerospace and Robotics Verification Laboratory (MARVL) and Prof. Max New. 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 /