That lab had three turing award winners (Leslie Lamport, Chuck Thacker, and Bob Tarjan as visiting researcher). This is how MSFT treats turing award winners now?