Portfolio

A curated record of what I build. Each entry lives in its own repository; the rest of my code is on GitHub.

• Symbolic Execution of Digital Hardware Designs: A Systematic Map of Path-Conditioned Design Execution Aug 2026 A systematic map and critical survey of path-conditioned symbolic execution for digital hardware designs, with RTL at the center. Repository · started 2026-08-10.
• Agent-Assisted Evidence Synthesis: A Survey An exploratory systematic map of how AI and LLM agents are being used across the evidence-synthesis pipeline. Repository · started 2026-08-09.
• Exhaustive Enumeration of Selection Observations in Pure Dataflow Graphs: A Survey and Unified Framework A problem-centered survey and unified framework for enumerating every selection observation of a finite pure dataflow graph. Repository · started 2026-08-03.