Ray Lin

Computer Science : Software Engineering

Talent

Provo, UtahMember since September 11, 2023

Hire this person

Send a job offer directly to this candidate

About

Rui (Ray) Lin

EDUCATION

Brigham Young University

Bachelor of Science, Computer Science (Emphasis: Software Engineering) Minor: Mathematics

● Overall GPA: 3.93 Major GPA: 4.00

Provo, Utah Apr 25, 2025 (Graduation Date)

SCHOLARSHIPS

● Robert L. Robbins Full Tuition Scholarships: Received at BYU for Fall 2022 and Winter 2023

● Brigham Young Half Tuition Scholarships: Received at BYU for Fall 2023 and Winter 2024

WORK EXPERIENCE

● CS 240 Advanced Programming Concepts Teaching Assistant: It is a difficult project-based programming course and as a TA I help students complete their projects and grade their work.

TECHNICAL SKILLS

● Programming Languages: Java, Python, JavaScript, HTML, CSS, C++, C, MYSQL, LaTeX

PERSONAL PROJECTS

● Forkify APP: A banking website built with advanced DOM and events. It contains smooth scrolling,

slider, page navigation, lazy image loading, tabbed components, etc.

● Hotel Reservation Application: The application will allow customers to retrieve a list of free hotel rooms. Customers can also search and book rooms based on availability and price.

● Legacy Web Crawler: Use concurrent programming techniques to enhance a legacy web crawler so that it can take advantage of multi-core architectures. The crawler will read configuration from a JSON file, download and parse multiple HTML documents in parallel, and record popular web terms in an output file.

● Mapty App: A workout map website that uses Geolocation API and Leaflet library to track the location and other data of the workouts

SCHOOL PROJECTS

● Datalog Interpreter: Built all parts of a Datalog Interpreter — Datalog Scanner, Parser, Relational

Database, Datalog interpreter and then optimized the rule evaluation using depth-first search algorithm.

● Family Map Project: The Family Map project is a client-server program that uses an Android front-end and a Java back-end. The client communicates with the server using HTTP. The client lets users view and interact with their family history information through a world map that contains markers for family history events and shows relationships between events with colored lines. The server stores data in a relational SQLite database and makes the data available to the client through a web API.

● Shopping Cart Website: This website uses Mongo as the back-end and React as the front-end.

● Type Checker: The objective is to implement static type checking for a subset of Java and create tests for the type checker. We then write tests that test the tests generated for the type checker to create a regression set of tests, and then run mutation analysis on the regression set adding new tests as needed to kill all mutants.

● Tokeneer: We wrote a simplified version of the Tokeneer project. We used Dafny to write formal specifications strong enough to prove assertions about program behavior.

LANGUAGES

● English: Fluent, Mandarin: Fluent

Experience

CS 240 Advanced Programming Concepts Teaching Assistant: It is a difficult project-based programming course and as a TA I help students complete their projects and grade their work.