mostly on computers and mathematics
After seeing problems with network file systems (NFS, AFS) under high load and possibly flaky network, design one from scratch using formal methods to prove security, correctness, aid debugging and optimization, etc.
Post a Comment
No comments :
Post a Comment