Reading notes, working documents, and lecture material.
Informal writing — reading notes, half-formed ideas, and material from courses I have taught or attended. Published here for my own reference and in case they are useful to others.
Notes on the FABRIC strategy for verifying nonlinear neural feedback systems by combining forward reachability, backward reachability, polyhedral enclosures, MILP encodings, DRiPy refinement, and FITS inner-set construction.
Notes on Vincent & Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.
A showcase note demonstrating image embedding, a borderless striped table, lists, code, and LaTeX rendering in the Academic Work theme.
Notes on Lamport's 1978 paper introducing logical clocks and the happens-before relation, with observations on how the idea maps onto modern distributed databases.
Informal notes clarifying which safety and liveness properties Raft provides under which assumptions, written while preparing a talk on adaptive consensus.
Honest notes on what the first year of doctoral research actually looks like — the good, the disorienting, and the practical.