SelfReflectiveRatings
Full-stack web app for personality self-assessments and multiplayer peer rating games. Built with React, Supabase, PostgreSQL, and deployed on AWS Amplify.
Tech: React, Supabase, Vite, PostgreSQL, AWS Amplify
Posts by Collection
portfolio
Pointer Analysis Framework Optimization
Optimized pointer analysis for OOP languages with reinforcement learning integration, improving precision beyond 2-object sensitivity.
Tech: Souffle/Datalog, Java, Groovy, Python
Burning Graph Simulator
Graph burning algorithm simulator for studying the Burning Number Conjecture, processing graphs with 500+ vertices.
Tech: Python
Formalizing Graph Burning for Path Graphs in Isabelle/HOL
Machine-checked proof of the Burning Number Conjecture for all path graphs, formalized in Isabelle/HOL. Establishes b(P_n) ≤ ⌈√n⌉ for every path graph P_n.
Tech: Isabelle/HOL, Archive of Formal Proofs
In The Blue
3D multiplayer RPG built for That Game Jam #1 in Unity. Available on Windows and macOS.
Tech: Unity, C#
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.