Trophic App
Working on a social media workout app to help users connect with other lifters, and progressivley overload. ML Alg for individualized hypertrophy regiment.
KeYmaera X
Lead engineer of a Scala program that processes Z3 proofs for the KeYmaera X theorem prover, while developing research repeatability environments and performance benchmarking tools.
ASL Avatar Lab
Led the development of a mobile ASL quiz application by researching and implementing no-code solutions (Flutter Flow and Bubble), migrating from C#/.NET to improve accessibility and learning experience for ASL students.
Chicago Coalition for the Homeless
Utilized data from the Chicago Data Portal to convert CSV dataset into spatial data using ArcGIS and pandas to create informative maps, supporting the Bring Chicago Home Referendum by providing visual representations