Assistant Professor, School of Computing Science

Contact:

Tel:  778.782.7111

Email:  yuepeng@sfu.ca

Office:  TASC1 8007

Web:  

Education:

• PhD Computer Science, University of Texas at Austin, 2020
• MS Computer Science, University of Texas at Austin, 2020
• BE Computer Science and Technology, University of Science and Technology of China, 2014

Research interests:

• Program synthesis
• Program verification
• Programming languages
• Formal methods

Teaching interests:

• Programming languages
• Compilers
• Discrete Math