Ray Lin

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

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.

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