My name is Silvio Mayolo. I am a programmer and mathematician
attending Tennessee Technological University. I am interested in
summer internships and research opportunities. I also am happy
to help or consult concerning programming questions or problems.
I am familiar with most modern programming languages,
and my academic interests lie in the intersection of mathematics
and computer science, specifically in the study of category
theory, formal language theory, and abstract algebra.
Emacs mode I wrote to work specifically with MASM
Presentation I delivered a short while back on type theory
A game project that I designed with a good friend
The major four parts of the pipeline in my Net Game project,
each written in a different language
A WIP abstract algebra proof engine, shown here proving that
the identity is its own inverse
One of my oldest games, a text-based adventure called Demensitis
[back to homepage]
