Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Peiyuan Sun(孙培源), B.Sc
M.Math Student
Phone:
Email: p25sun@ gsd .uwaterloo .ca
Ph.D Student Terminated, Nanyang Technological University, Singapore
BSc., Beijing University of Posts and Telecommunications, China
Phone:
Email: p25sun@ gsd .uwaterloo .ca
Ph.D Student Terminated, Nanyang Technological University, Singapore
BSc., Beijing University of Posts and Telecommunications, China
News
Projects
Current Projects
Past Projects
Tools
Graduate Courses
- Winter 2014: CS 642 Principles of Programming Languages
- Winter 2014: CS 842 Advanced Topics in Language Design and Implementation
- Fall 2014: CS840 Advanced Topics in Data Structures
Activities
Publications
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.