Xin Qin Ph.D. student in Computer Science

Los Angeles EDUCATION 3233970061 [email protected] Aug 2018 - Ph.D. student PROGRAMMING Present University of Southern California, CS SKILL Predictive Monitoring, Verification,

C/C++ Aug 2017 - Visiting Student Python May 2018 UC Berkeley, EECS PyTorch Conduct Research in Berkeley Artificial Intelligence Research (BAIR) Lab, Vision PyTrees Summer School Rust Jul 2015 - Aug 2015 Ruby Java Sep 2014 - Jul Undergraduate Assembly 2018 ShanghaiTech, SIST Matlab Major in Computer Science Bash Major GPA 3.81/4.0 Web development (Nodejs, React, Spring, Flux) PUBLICATIONS

HOBBIES Shape Expressions for Specifying and Extracting Signal Features (Best Paper Award) Taekwondo, Tennis, Table Tennis, Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Basketball Jyotirmoy Deshmukh Travel. Been to 10 countries. International Conference on Runtime Verification (RV) 2019 Reading, Playing Chess, Playing Piano Ambidextrous. Capable writing with Predictive Monitoring for Signal Temporal Logic with both hands Probabilistic Guarantees Video Game Strategy (rank Xin Qin, J. V. Deshmukh Diamond in Overwatch) Poster Abstract on Hybrid Systems: Computation and Control (HSCC) 2019 Specifying and Evaluating Quality Metrics for Vision-Based AWARDS Perception Systems Adel Dokhanchi, Aniruddh Puranic, Xin Qin, Anand 2016-2017 Outstanding Student Scholarship of Balakrishnan, Heni Ben Amor, Georgios Fainekos, Jyotirmoy V. ShanghaiTechUniversity Deshmukh: 2017 Successful Participant 2017 IEEE Proceedings of Design, and Test in Europe (DATE) 2019 Interdisciplinary Contest In Modeling 2016 Third place in Taekwondo on INTERNSHIP AND EXPERIENCE Students Sports Games

2015 Third place in Shanghai College Jun 2019 - Research Internship Students Taekwondo Championship Contest Aug 2019 Toyota Research Institute 2016 Third place in photography On simulation team for driving, doing reinforcement learning and competition held by Chinese automated testing. Academy of Sciences Shanghai Branch Jul 2016 - Jul College Student Innovation Training Program 2016-2017 Merit Student of 2017 Shanghai Advanced Research Institute ShanghaiTech University Lead research on mass interactive data management. 2015-2016 Merit Student of ShanghaiTech University Aug 2016 - Software Engineer 2014-2015 Merit Student of Feb 2017 China UnionPay ShanghaiTech University Develop user account security check under " Web Secure Comprehensive 2013 Own a Utility Model Patent Testing Platform" . The tool extracts user login time, location, password Patent number: ZL 2013 2 0063073.6 changing history and generates a report listing possible account security endangered user. Involve use of Nodejs, React, Spring, Flux. 2012 Outstanding Delegate of International Model Jul 2014 - Sep Teaching Assistant of Dean United Nations (FDUIMUN) 2014 China Europe International Business School (CEIBS) Help prepare/organize teaching materials for Dean's class for MBA EXTRA CURRICULAR students and edit videos content related to Machine Learning and Software ACTIVITIES AND as a service. The materials eventually printed as books hand to students. CONFERENCES Sep 2016 - Jun Teaching Assistant 2017 ShanghaiTech University Initiator of Taekwondo Club of our Teaching assistant of course . Help develop test university 2014 cases for projects and relevant grading shells. All 90+ student rely on the Head organizer of “ College Creative shell for grading their homework. Prepare slides for discussion sessions. Design Competition” for our university 2015 Head organizer of “ Mentor Thanks” PROJECTS activity for our university 2015 Chairman for UMUNC (a Model PictionaryNet United Nations Conference 2015 Use RNN to reconstruct sketchy image Volunteer in help GuiZhou Demo: https://xinqin23.github.io Forerunner College recruit English teacher 2015 Research SIFT as input to Neural Network Volunteer in ShanghaiTech Improved make network converge faster Symposium on Data Science 2015 Designed a convolutional neural network using sift as input for multiple Attend ShanghaiTech Symposium on object recognition in Matlab. Combined genetic algorithm and gradient Information Science and descent. Technology 2016 Attend ShanghaiTech Symposium on Chessboard Detection and Reconstruction Information Science and Technology Implement a tool. Techniques include median filter, corner detection, 2017 intensity difference, Haar feature. Make machine recognize move in a chess game without human input helping. Computer Vision Practice Implement Image Filtering and Hybrid Image Implement SIFT descriptor using Matlab without using built-in library Implement Image Alignment (panorama) Implement K-means Algorithm Implement Mean-shift Algorithm for image segmentation Implement Image Classification on Caltech-256. Using BoW, K-means, SVM. Computer Graphics Practice Implement a basic Ray Tracer. The rendering functionality includes ambient, diffuse lighting; specular, shadow, reflection effects and acceleration through bounding volume hierarchy and parallel approach. The model support obj object and sphere. Use OpenGL implemented an application capable modify and manipulate 3- D models. Features include a virtual trackball, single polygon selection, multiple polygons selection and showing orthographic view of the polygons. Use OpenGL and OpenCV to develop a tool generating rotoscope animations Implement Texture mapping and Environment mapping with render Monkey Implement Simple two user online game with Unity. Practice Implement page rank algorithm of google Implement recommendation using by Netflix Practice Accelerate ray tracing with OpenMPI and CUDA Design a 16-Bit Kogge-Stone Adder with Cadence. Digital Integrated Circuit Course Two-layer metal, good time performance. Become sample project. Computer Architecture Practice Program that translate C code into MIPS code 32-bit two-cycle CPU with logisim Operating System and Programming Practice Implement RW lock in rust Implement a simple shell in rust Implement multithreading feature for rust Implement a python tool capable of parse input and draw image required by the input. Input consists of loop, parentheses, number indicating size, color, and rotation. Implement motor speed control on a chip Involve coding and welding.