Cruiser
Existing verification approaches either require vast amounts of manual effort or are too abstract to be practical by verifying high-level protocols or greatly inefficient implementations. Cruiser is an approach that produces high-performance, fully verified distributed system implementations, while relying on very little manual effort.
Luoxi Meng 孟罗希
Master’s Student
I am broadly interested in Computer Systems and Networking, with a focus on Systems for Machine Learning and Distributed Systems.