Help & Supportcareers@gravityer.com
Senior Developer @ Radley Associates
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
Experienced Java and Python developer with a passion for problem-solving. Contributed to multiple open-source projects and published personal projects. Check out my GitHub profile for detailed project information. Strong team player, leader, and communicator.
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
Cultural Fit Analysis
The candidate's diverse range of personal projects, from web development to advanced AI/ML applications, indicates a strong passion for technology and continuous learning. Their experience in both corporate and personal projects, including open-source contributions (implied by game modifications), suggests adaptability and a collaborative mindset. The variety of roles and projects aligns well with a dynamic and innovative work environment.
Soft Skills & Operational Fit
The candidate's project descriptions and professional experience suggest strong problem-solving abilities, a proactive approach to development (e.g., autonomously developing an AI chatbot), and a focus on improving efficiency and accuracy. Experience as a 'Senior Developer' and 'team leader' indicates leadership potential and operational fit for complex projects.