I am a hobbyist programmer, poet, dancer, game master, and roleplayer who loves learning about life, the universe, and everything. As a student and researcher, I am enthusiastic about formal methods, including automated reasoning, programming languages, and verification.
If you're looking to explore my repos, be warned that I have a lot of old and abandoned projects left behind from many years of tinkering. Here are some of the more recent and more complete projects:
- symbreak is an automated partitioner and solver of statements in extremal set theory.
- cuscus implements a novel weight-aware core transformation for MaxSAT.
- onclo is my (WIP) cross-platform, time-tracking mobile app developed using Flutter.
- vivado-report-parser is my first published Python package, designed to make it easier to read out data from Xilinx Vivado's report files.
- ...more to come?