Xifong Christian

Software engineer focused on backend, tooling, and practical automation

London, England, United Kingdom

getprog+1

Summary

Practical, reliability-focused software engineer who turns formal reasoning into pragmatic automation and tooling that improves maintainability and developer productivity. getprog+1

Strong theoretical and quantitative foundation from a first-class MEng in Mathematical Computation (UCL), applied to backend and tooling problems. theorg+1

Active open-source contributor and hobbyist: publishes personal projects (RL agents, simulations, toy services) and runs a personal site showcasing hands-on projects and tools. github+2

Experienced in teaching and practical research-oriented internships, having tutored programming at UCL and completed internships working on data/versioning and tooling projects. getprog+1

Xifong Christian

Summary

Work

Education

Projects

Hobbies

Plays squash and enjoys sports and strategy games. xifong

Plays chess (has a World Chess / FIDE Online profile). worldchess

Xifong Christian

Summary

Work

Software EngineerPaid2025–Present

Software EngineerThought Machine2022–2025

Programming TutorUniversity College London (UCL)2020–2021

InternCYENS Centre of Excellence2021–2021

Connected Learning Student InternUniversity College London (Connected Learning)2020–2020

Summer InternMicrogaming2019–2019

Education

Master of Engineering (MEng), Mathematical Computation, 1stUniversity College London2018–2022

A levels (Maths, Further Maths, Physics, Chemistry) — A*A*AABallakermeen High School2016–2018

GCSEs (11 A*)Ballakermeen High School2014–2016

Projects

rl_mancala2024–Present

Hogwarts Admissions Technological Service (HATS)

Successions (personal project)

Hobbies

Plays squash and enjoys sports and strategy games. xifong

Plays chess (has a World Chess / FIDE Online profile). worldchess