With an enormous white beard and scruffy white hair, and sort eyes behind giant glasses, Lamport looks like he could be one of many friendlier professors on the American Hogwarts. Now at Microsoft Research, he is known as one of the pioneers of the theory of “distributed techniques,” which describes any laptop system made of a number of parts that talk with one another.
In the tiny universe of people who had ever used TLA+, their success was not so uncommon. An intern at Microsoft used TLA+ to catch a bug that would have caused every Xbox on the earth to crash after 4 hours of use.
Software Programmer Career Paths
High-touch, high-tech environment - Students examine and practice with the tools, software and conditions they will encounter within the business world via absolutely equipped learning labs. “We need to think about software in another way,” Valasek informed me. Car … Read More