Profile cover photo
Profile photo
Guanfeng Liang
114 followers -
I'm currently a Research Engineer in DOCOMO Innovations, Inc.
I'm currently a Research Engineer in DOCOMO Innovations, Inc.

114 followers
About
Guanfeng's posts

Post has shared content
Leslie Lamport wins Turing Award aka "Nobel prize in computing". for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. $250K funded by Google/Intel. see also http://en.wikipedia.org/wiki/Turing_Award

Post has attachment
PhotoPhotoPhoto
2/28/14
3 Photos - View album

Post has attachment

Post has attachment

Post has attachment

Post has attachment
"How to Write a 21st Century Proof" by Leslie Lamport. While looking for his Byzantine Paxos paper, I found sitting at the bottom of Lamport's webpage this very interesting paper trying to teach mathematicians how to write proofs formally, and ended up reading it instead of the Paxos paper. One interesting fact, the "formal proof writing style" is very similar to the one I was taught during elementary school back in China in the 1990's! :D

Post has attachment

Post has shared content
Seems there is a huge lack of respect from the ECE dept. to the CISE! What a shame to Dean Abernathy and Chairman Harris!!!
So this happened.

See also:

• A posted timeline of events leading up to the March 2012 proposal to create a College of Computing — HC SVNT DRACONES (ET CETE PETVNIASQUE) — https://docs.google.com/file/d/0B_BLIH0W6HbJUTlWYlhPNzB3TWc/edit?pli=1

• Wednesday's announcement by the UF president that the CISE and ECE departments "have come forward together with a framework of a new proposal that would help meet the college’s budget target", presumably to form a joint department or school. (A similar proposal was previously rejected, almost unanimously, by the CISE faculty.) The statement also says that Dean Abernathy "has agreed to set aside the previously announced proposal". — http://news.ufl.edu/2012/04/25/machen-budget-statement/

#savecise

Post has attachment

Post has attachment
Wait while more posts are being loaded