Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
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.