Skip to main content
Xinyu Ma
Research Scientist @ Meta
View all authors

CS 219: Network Verification - Course Review

· 15 min read
Xinyu Ma
Research Scientist @ Meta

George is a fantastic teacher with very attractive lectures. I think his secret sauces include the following:

  • Look at everything from different views: Zoe (ζωή, big picture) versus Bios (βίος, details).
  • Selectively focus on the most important techniques and examples, ignoring unnecessary points. Students can feel that they learned a lot without remembering too much boring concepts.
  • Have his own methodologies on creative process. Students can experience those "Aha" times when following his introduction.

The trade-offs may be as follows: (very biased personal view, don't take it serious)

  • (+) Attending lectures is always pleasant.
  • (+) Students can learn things quickly and apply to his own research.
  • (-) His lectures may give the false image that creating things is as easy as the fusion of ideas. This is not true because one must have a broad view to know what to borrow, and there are boring times such as trials and errors, non-trivial adoptation and modification of existing methods. He omitted these in his lecture.

I would strongly recommend everyone interested in networking try his 216 and 219.

In this post I won't put all Bia unless interesting. Using those well-defined mathematical terms, Zoai are quite easy to state and thus very short.

Authentication and Authorization

· 8 min read
Xinyu Ma
Research Scientist @ Meta

Authentication (AuthN, 認証) and authorization (AuthZ, 承認) are important pieces in system security. In one word, AuthN verifies the identity of the requester, and AuthZ decides whether a specific operation is allowed.

MATH 220BC: Mathematical Logic - Course Review

· 53 min read
Xinyu Ma
Research Scientist @ Meta

This is a review and summary for course MATH 220BC, given by Professor Artem Chernikov and Andrew Marks.

In this post, I listed important theorems (in my mind) like a dictionary, so I can recall what I learnt when I read this in future. Only the overview and summary may be useful to other people.