Mathematics graduate student working in logic, model theory, and formalization.
This page collects software projects, research code, and technical experiments.
Project 1
A Jekyll-based personal homepage for my academic profile, writing, and project archive. It serves as a central place for my CV, blog posts, notes, and software work.
You are looking at the project itself right now.
Project 2
A browser-based tool for sorting student lists with Turkish alphabetical order, distributing students across configured classrooms, and exporting a single Excel workbook with classroom-specific worksheets.
Runs entirely in the browser and exports classroom lists as Excel worksheets. Entirely written by ChatGPT Codex.