Undergraduate Researcher
Send a job offer directly to this candidate
Researching automated pathological failure case detection with formal methods for on-chip memory systems (e.g. the CPU cache hierarchy, cache replacement policies and hardware prefetching). Developed methodology for creating minimum-assumption modelling abstractions for microarchitectural behavior from which formal proofs can be derived.
B.S. - Computer Science, B.S. Mathematics - The University of Texas at Austin (2028-05)
