Doğukan E. Türköz
Education
University College London (UCL)
MSc in Computer Science (Sep 2024 – Sep 2025)
University of Warwick
BSc in Mathematics (Sep 2021 – Jun 2024)
Mathematical Writings
Below is a collection of my expository writings and Lean formalisations. Links point directly to the PDF manuscripts or source code repositories.
The Cesàro Method for Spherical Trigonometry My second-year undergraduate essay detailing a method to find the spherical geometry counterparts of Euclidean geometry theorems.
Properties of Circulants and Related Graphs My third-year undergraduate essay exploring the intersection of group theory and graph theory, leaning into algebraic combinatorics.
Complex Bashing An article published in the Warwick student journal on the application of complex numbers to solve geometric problems.
The Properties of The Commuting Conjugacy Class Graph of The Symmetric Group
Lean Formalisations of Elementary Combinatorics Problems A group project from my final year at Warwick formalising several combinatorics problems using Lean. Source code hosted on GitHub.
Other Projects
Strawberry Saga: A 4-level 2D platformer game prototype I built during the Christmas holidays. It was developed using Unreal Engine 5, using Blueprints. You can play the current build (macOS only) on itch.io.