School of Engineering Department of Computer Science and Engineering 117 Parameterized Algorithms for Static Program Analysis Supervisor: KAFSHDAR GOHARSHADY Amir / CSE Student: TSAI Yun Chen / MATH-IRE Course: UROP1100, Spring UROP2100, Summer In this semester we focus on problems related to language inclusion and shortest lasso example problem, these problems are closely related to the application in model checking. In particular, most systems in real life are of low treewidth, thus parameterized algorithm over treewidth will be useful in performing practical model model checking. This report summarize two main pieces of literature that we focus on during the semester, major contents are captured and presented. Further we discussed about the possible application and future research direction at the end of the report. Assess User Experience to Design Effective Visual Representation and Interaction in Virtual Reality Supervisor: MA Xiaojuan / CSE Student: DOU Peihao / COSC Course: UROP1100, Summer This summer, I participated Urop1100 project with title ‘Assess user experience to design effective visual representation and interaction in virtual reality’. I have experienced VR before but never really went into it as a developer. It takes some time and efforts to learn the use of the VR headset and to create a VR app by myself. This report mainly focuses on my learning progress, which includes writing small applications using unity and importing it to VR Headset, and user experience to some developing VR apps and also hand interface designs. Assess User Experience to Design Effective Visual Representation and Interaction in Virtual Reality Supervisor: MA Xiaojuan / CSE Student: JIA Feiyu / DSCT Course: UROP1100, Summer Virtual Reality, short for VR, is a developing research direction in the field of digital technology. It has drawn both interest from citizens and entrepreneurs, as a novelty that may change their life. As the number of VR users is growing up, the design of effective visual representation and interaction is more and more important for VR developers. VR is outstanding to join people in the fancy scenery and inaccessible experience without time and space limitations. However, its dizziness and operation difficulty keep a lot of people away from its unique fascination. This project will show the process to learn to program VR in Unity and improve the user experience by designing effective visual representation and interaction.