People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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.
