Madison, Wisconsin, United States
Hi! I'm Alyssa. I'm a software developer with particular experience in back-end development using Rust and Python.
Researched and wrote a philosophy-of-math thesis in which I proposed a new fictionalist account of mathematics' ontology.
Taught students proof techniques and helped them attain conceptual understanding of first-order logic.
Read, graded, and provided feedback on written homework by logic students. Consistently met tight deadlines to ensure homework could be returned promptly.