Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01227477n
Noun Named Entity
Categories: Nascidos em 1941, Programadores dos Estados Unidos, Naturais de Nova Iorque (cidade), Matemáticos dos Estados Unidos, Cientistas da computação dos Estados Unidos
PT
Leslie Lamport
PT
Leslie B. Lamport é um cientista da computação estadunidense. Wikipedia
Definitions
Relations
Sources
PT
Leslie B. Lamport é um cientista da computação estadunidense. Wikipedia
IS A
humano
ACADEMIC DEGREE
Doutor em filosofia
Master of Science
AWARD RECEIVED
Medalha John von Neumann IEEE
Prêmio Emanuel R. Piore IEEE
Prémio Turing
Prêmio Dijkstra
doutor honoris causa
+1 relations
COUNTRY OF CITIZENSHIP
Estados Unidos
DOCTORAL ADVISOR
Richard Palais
EDUCATED AT
Instituto de Tecnologia de Massachusetts
EN
Bronx High School of Science
Universidade Brandeis
EMPLOYER
Microsoft Research
FAMILY NAME
Lamport
FIELD OF WORK
informática
computação distribuída
GIVEN NAME
Leslie
LANGUAGES SPOKEN, WRITTEN OR SIGNED
inglês
MEMBER OF
Academia Nacional de Ciências dos Estados Unidos
Academia de Artes e Ciências dos Estados Unidos
NATIVE LANGUAGE
inglês
NOTABLE WORK
LaTeX
Lógica temporal de ações
computação distribuída
TLA+
OCCUPATION
engenheiro
autor
programador
cientista da computação
matemático
PLACE OF BIRTH
Nova Iorque
SEX OR GENDER
masculino
Wikipedia
PT
Leslie Lamport
Wikidata
PT
Leslie Lamport
Wikipedia Redirections
PT
Leslie lamport

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License