Turing Award - Leslie Lamport
A. M. Turing Award - LESLIE LAMPORT
United States – 2013
CITATION
For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
O mais importante prêmio em computação para Leslie Lamport, que além de todas estas contribuições também criou o LaTeX, que é a linguagem de comunicação científica padrão.
United States – 2013
CITATION
For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
O mais importante prêmio em computação para Leslie Lamport, que além de todas estas contribuições também criou o LaTeX, que é a linguagem de comunicação científica padrão.
posted by Márcio Laurini at 10:22 AM
0 Comments:
Postar um comentário
<< Home