Projects
I work with students on projects that connect computer science, cybersecurity, and formal reasoning.
Some of these projects are theoretical, some are applied, and many sit somewhere in between. What matters most to me is that students get to practice careful technical thinking, clear communication, and sustained collaboration around questions that are worth real attention.
CS
CY
FR
ST
How I think about project work
The best student projects create room for rigor, iteration, and ownership.
I want project work to feel more serious than a one-off class deliverable, but still structured enough that students know how to make progress. That usually means breaking a broad topic into a tractable question, agreeing on what counts as evidence or progress, and revising the work as the question becomes clearer.
In practice, these projects can take the form of reading courses, independent studies, research collaborations, small team builds, or sustained extensions of course ideas. Some produce proofs, some produce prototypes, and some produce clearer ways of asking the next question.
What students practice
- Reading technical material closely and asking better questions.
- Writing arguments, proofs, and explanations with more precision.
- Designing prototypes, analyses, or experiments that can be revised.
- Presenting findings clearly to peers, faculty, or broader audiences.
- Working collaboratively without losing intellectual ownership.
GitHub profile
When code, course scaffolds, or project materials make sense in a public repository, GitHub is the cleanest place to point students and collaborators.
Selected projects and research threads
A few representative projects that shape the broader project culture around my work.
Graph Curvature and Local Discrepancy
A project focused on combinatorial implications of Bakry-Émery curvature on graphs and the relationship between curvature and local edge distribution.
Strongly Regular Graph Curvatures
Work on discrete curvature bounds for large families of strongly regular graphs, continuing a broader interest in graph structure and combinatorial behavior.
Separability, Boxicity, and Partial Orders
A project connecting partial orders, convex sets, and higher-dimensional geometry through separability and boxicity questions.
Optimal Placement of Base Stations in Border
An algorithmic covering problem on polygons that studies where a set of fixed-radius balls should be placed, staying within one of optimal.
Orthogonal Polygon Visibility Coverings
Research on variants of the Art Gallery problem in orthogonal polygons, combining geometric constraints with discrete and computational reasoning.
Uncovering Game Theory through Data Mining
A project involving scraping, cleaning, and analyzing data, then comparing the findings to game-theoretic mixed strategies and presenting the results publicly.
Collaboration models
Projects can take several forms, depending on the question and the students involved.
Independent studies and reading courses
These projects are useful when students want to go deeper into a topic like graph theory, formal reasoning, or theoretical computer science than a standard course allows.
Research-oriented collaborations
Some projects move toward conjectures, proofs, literature synthesis, or talk-ready explanations. These are often best when students can iterate with close feedback.
Applied computing and security investigations
Other projects are more applied: analyzing systems, building prototypes, documenting technical choices, and connecting abstract ideas to secure design and critique.
Presentation and publication pathways
Good projects should culminate in something shareable: a talk, a write-up, a poster, a demo, a proof sketch, or the clearer statement of a question worth pursuing next.
What this page can hold over time
As the site grows, the projects page can function as both a list and a map.
| Project lane | Typical outputs | Skills emphasized | Collaboration mode |
|---|---|---|---|
| Formal reasoning | Proof writeups, reading notes, expository summaries | Abstraction, rigor, mathematical communication | Independent study or small group |
| Cybersecurity investigations | Threat models, critiques, lab reports, prototypes | Adversarial reasoning, systems thinking, technical writing | Paired or team-based |
| Discrete math and theory | Conjectures, theorem work, literature reviews, talks | Proof strategy, close reading, presentation | Mentored research |
| Computing projects | Programs, scripts, demos, documentation | Iteration, testing, communication, implementation discipline | Small team collaboration |
Continue exploring