Leslie Lamport: The Ideal RSRG Scientist

Remember that this blog is coming from the Rigorous Systems Research Group (RSRG, aka “resurge”) at Caltech.  The group has a fairly unique perspective on systems research, so you might wonder:

If you were to pick the RSRG “ideal person,” whom would you pick?

My ideal is Leslie Lamport, the Turing Award winner this year. Here’s why.

Leslie is among the most logically-rigorous computer scientists in the history of computer science, and he has done as much for developing the discipline of scientific, theory-based, rigorous computer systems implementation as any person. The combination of logical rigor and practical systems makes Leslie stand head-and-shoulders above everybody as the RSRG ideal.

Everything we do at RSRG deals with concurrency: communication networks, power systems, economics and information technology, cloud computing, distributed systems, control systems, and real-time analytic systems. The theoretical foundations of concurrent systems have two parts: (1) a logic that enables systems to be designed and analyzed rigorously, and (2) a collection of fundamental algorithms that lie at the heart of almost all concurrent systems. Several great computer scientists have built the foundations for the first part, and several have developed the foundations for the second. But only two or three in the history of computer science have done both, and Leslie is one of them.

Continue reading