Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01227477n
Noun Named Entity
Categories: Turing Award laureates, 20th-century American mathematicians, American people of Belarusian descent, American people of Austrian-Jewish descent, Dijkstra Prize laureates
EN
Leslie Lamport  Leslie B. Lamport
EN
Leslie B. Lamport is an American computer scientist and mathematician. Wikipedia
Definitions
Relations
Sources
EN
Leslie B. Lamport is an American computer scientist and mathematician. Wikipedia
American computer scientist Wikidata
IS A
homo
ACADEMIC DEGREE
Doctor of Philosophy
Master of Science
AWARD RECEIVED
IEEE John von Neumann Medal
IEEE Emanuel R. Piore Award
Turing Award
Dijkstra Prize
honorary doctorate
+1 relations
COUNTRY OF CITIZENSHIP
United States
DOCTORAL ADVISOR
Richard Palais
EDUCATED AT
Massachusetts Institute of Technology
Bronx High School of Science
Brandeis University
EMPLOYER
Microsoft Research
FAMILY NAME
Lamport
FIELD OF WORK
computer science
distributed computing
GIVEN NAME
Leslie
LANGUAGES SPOKEN, WRITTEN OR SIGNED
English
MEMBER OF
National Academy of Sciences
American Academy of Arts and Sciences
NATIVE LANGUAGE
English
NOTABLE WORK
LaTeX
temporal logic of actions
distributed computing
TLA+
OCCUPATION
engineer
writer
programmer
computer scientist
mathematician
PLACE OF BIRTH
New York
SEX OR GENDER
male
Wikipedia
EN
Leslie Lamport
Wikidata
EN
Leslie Lamport
Wikipedia Redirections
EN
Leslie B. Lamport
Wikidata Alias
EN
Leslie B. 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