Sumedh Rao
Undergraduate Researcher
Talent
AustinMember since September 19, 2026
·
Hire this person
Send a job offer directly to this candidate
About
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.
Education
B.S. - Computer Science, B.S. Mathematics - The University of Texas at Austin (2028-05)
