PhD Candidate, Princeton University - ‪‪Cited by 95‬‬ - ‪Formal Verification‬ - ‪Hardware‬ - ‪Protocol‬ - ‪Blockchain‬

I am working on formal verification for AI system at AWS. My general research interest is… · Experience: Amazon Web Services (AWS) · Education: Princeton ...

Huaixi Lu, Princeton University: 1 Following, 9 Research papers. Research interests: Cache Memory, General Knowledge, and International Journal of Computer…

Apr 25, 2024 · List of computer science publications by Huaixi Lu.

Huaixi LU | Cited by 77 | of Princeton University, Princeton (PU) | Read 7 publications | Contact Huaixi LU.