Welcome. I'm a person who likes math, computers, and more. I regularly work on various ideas involving math and code and always try to keep learning more to keep myself busy. My strongest interests are in math proofs, algorithms, and high performance computing.

I am currently in Albuquerque, New Mexico, and working at Stellar Science, a software company. I work on C++ desktop applications for various physics/simulation tasks.

I am always looking for more interesting things to do. If you have interesting ideas for a math or programming project, comments about this website, or professional/work/research opportunities, please see the contact section.

Projects

Academic Pages
sigma symbol
Pages for my own writing about math proofs, algorithms, and more.
Factor Database
database
Website for storing and tracking progress of integer factorization.
Flame Fractal Renderer
fractal
Flame fractal renderer inspired by flam3 with plans to support 3D, color, and more.
Sequent Proof Interface
letter F
Web app for creating logic proofs using the Fitch Sequent System. A project for intermediate logic at RPI.
My Homelab
servers
I like to run my own servers at home for running various services and computing projects.
SVG Plus Python
svg image
Python library for creating 2D drawings with SVG. Intended for creating 2D diagrams for math problems.

Professional Experience

Education

Work

See my Resume/CV page for more details.

Contact

Email: tkoz@tkoz.me

Discord: tkoz (formerly TKoz#9039).

Reddit: u/tkoz0

LinkedIn: in/kozlot

GPG Keys: For secure email, here are my public rsa and curve25519 (preferred) keys.

If you like my work and want to support me, here is my Paypal link.

Page last updated: 2026-10-10