Zhaoyu Zhang

The University of Manchester

Master of Engineering - MEng, Computer Science

September 1, 2018 – July 1, 2022

International Division of Hubei Wuchang Experimental High School

A LEVELs

September 1, 2015 – June 1, 2018

Radley Associates

Senior Developer

November 1, 2024 – Present

Hybrid

Radley Associates

Software Developer

March 1, 2023 – November 1, 2024

Hybrid

iFLYTEK Co., Ltd.

Software Engineer Internship

July 1, 2021 – September 1, 2021

Wuhan, Hubei, China

Ministry of Foreign Affairs Office of China

Technical Assistant

June 1, 2019 – September 1, 2019

Wuhan, Hubei, China

Shihuo Market

February 1, 2023 – Present

Java, Spring Boot, Angular, HTML, CSS, AWS • Building a second-hand trading website for Chinese students in UK. • Responsible for backend and frontend. • Implementing Features: (1) Item trading post. (2) Real-time chat between buyer and seller. (3) Integration with other second-hand websites like ebay. (4) Mobile App version. (5) Other trading information posting, like renting.

Personal Website

October 1, 2022 – Present

HTML, CSS, Typescript, AWS Oct. 2022 - Ongoing • Implementing Features: (1) Sample showcase of selected projects. (2) Image-to-text conversion page.(3) Professional Developer Blog. (4) Resume. (5) My HTML-version papers and reports. (6) Social media contact links. • Automated integration using Github Actions and AWS S3.

Optimizing Minimal Counterexamples

March 1, 2022 – May 1, 2022

• Help users better understand bugs (Identify and locate errors) in java programs by reducing the numerical size of counterexamples generated by java BMC (Bounded Model Checker) • The feasibility of reducing the counterexample value was verified by using two java BMCs, JPF (Java PathFinder) and JBMC (Java Bounded Model Checker) • Configure and test various error types such as deadlock, race conditions, overflow, underflow in the gradle environment • All benchmarks in SV‑COMP were checked by employing JBMC

Question Classifier

February 1, 2022 – March 1, 2022

• A question classifier written in Python, which accepts a question and output one of N predefined classes • Used Bag of Words (Bow) model, Bidirectional LSTM and its ensemble networks to implement • Test under random and pre‑trained embeddings • Reached at accuracy 0.852 and F1‑score 0.697

Leader Follower

March 1, 2021 – May 1, 2021

• A program which plays repeated 2‑person Stackelberg pricing games as the leader under imperfect information • The leader chooses his strategy to play based on the provided set of historical data (a list of prices given by leaders and followers in the past) and update his knowledge by analysing the follower’s pricing response • Used all historical data approach, Modified Moving Window approach and Weighed Least Square with Forgetting Factor approach • Largest profit reached 19.488 (3 d.p.) per trade against 3 different followers

AI plays Mancala

October 1, 2020 – December 1, 2020

• Mancala (also known as Kalah) is a 2‑person board game which is already proved to be a solved game with a first‑player win if both players play perfect games • Using Monte Carlo tree search and alpha‑beta pruning to create an AI to play the perfect game under the pie rule • The AI player successfully beat other 37 agents in a tournament of 51 teams

Road Tracking in Aerial Images

September 1, 2020 – April 1, 2021

• Without the use of GPS, by analyzing the satellite images returned by the drone, extracting location information surround it (match similar objects on the map to locate the camera) to establish the scope of the drone’s activities • Using Jupyter Notebook to implement OpenCV, Keras model and U‑Net machine learning algorithm under Python to locate the drone • Accuracy is around 100 meters for well‑trained models

EventLite Website

February 1, 2020 – May 1, 2020

• Eventlite is a website for Event Management Application, designed and built by a team of 6 • Developed in Java, REST APIs and the Spring Framework • Allow users to manage and edit upcoming events in terms of adding/removing attendees, changing location/time of the event, sending auto‑ matic emails to attendees when anything updates • Connect with Google Map API to visulise the location of the event • Code versioned and preserved via GitLab

Stendhal Local Enhancement

November 1, 2019 – May 1, 2020

• Added new cheating commands in the Stendhal game: teleportation, resurrection, invincibility, auto‑following, auto‑pathfinding • Expanded maps on the basis of the original game: added two new accessible scenes • Modified attributes of the original items: life recovery of food, attack power of weapons, defense power of clothing, etc. • REST API/TDD and Web/SPRING frameworks in Java are used

BitTime Website

January 1, 2019 – April 1, 2019

• BitTime is a website for reminding people that their deadlines are approaching • Simple sign up and log in functionality, allows users to add and set their works’ titles and deadlines • A google chrome add‑on to push notifications if deadlines are about to reach • Pure html, css, php, mysql and javascript are used