Welcome. I'm a person who likes math, computers, and many other things. I am from New Jersey (in the United States).

I went to college for math and computer science at RPI I am interested in exploring a wide range of topics and solving challenging problems. I am most interested in math, algorithms, and high performance computing.

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

Pages for my own writing about math proofs, algorithms, and more. For sharing my mathematical notes/writing style with others.

Sequent Proof Interface Name (SPIN)

Web app for creating logic proofs using the Fitch Sequent System. A project for intermediate logic at RPI.

Flame Fractal Renderer

Flame fractal renderer inspired by flam3 with plans to support 3D, color, and maybe even a fractal editor.

My Homelab

I like to run my own servers at home for running various services and computing projects.

SVG Plus Python

Python library for creating 2D drawings with SVG. Intended for creating 2D diagrams for math problems.

Professional Experience

Education

M.S. in Applied Mathematics from Rensselaer Polytechnic Institute (Aug 2022 – May 2023)
B.S. in Computer Science and Mathematics from Rensselaer Polytechnic Institute (Aug 2017 – May 2022)

Work

Graduate Research Assistant at Rensselaer Polytechnic Institute (May 2022 – May 2023)
- Contributed to Submitty, mainly the back end.
Undergraduate Teaching Assistant at Rensselaer Polytechnic Institute (Aug 2018 – May 2022)
- Graded assignments and tutored during office hours for Discrete Math and Programming Languages classes.
Undergraduate Research Assistant at Rensselaer Polytechnic Institute (Jan 2020 – Aug 2020)
- Explored tools for natural language processing and analyzed datasets from Reddit and Twitter.
- Worked with a professor and Ph.D. students in the LACAI Lab.

FAQ

Have a question? Look at my FAQ page first, otherwise I'm happy to respond on any of the platforms listed below.

Contact

Email: tkoz@tkoz.me
Please try to keep messages clear and concise. I get a lot of email and I would like to be able to respond to everything.

Discord: tkoz (formerly TKoz#9039).
Feel free to send me a message or friend request. This is the platform I will respond the fastest on.

Reddit: u/tkoz0 (open to chats or direct messages)

LinkedIn: in/kozlot (for professional inquiries only please)

GPG Keys: Here are my public rsa and curve25519 keys. Curve25519 is preferred.

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

Page last updated: 2024-05-25