Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01227477n
Noun Named Entity
EL
Leslie Lamport
EN
Leslie B. Lamport is an American computer scientist and mathematician. Wikipedia
Relations
Sources
IS A
άνθρωπος
ACADEMIC DEGREE
διδάκτωρ φιλοσοφίας
Μάστερ Επιστημών
AWARD RECEIVED
Μετάλλιο Τζον φον Νόιμαν
EN
IEEE Emanuel R. Piore Award
Βραβείο Τούρινγκ
EN
Dijkstra Prize
επίτιμος διδάκτωρ
+1 relations
COUNTRY OF CITIZENSHIP
Ηνωμένες Πολιτείες της Αμερικής
DOCTORAL ADVISOR
Richard Palais
EDUCATED AT
Τεχνολογικό Ινστιτούτο Μασαχουσέτης
Λύκειο Επιστημών του Μπρονξ
Brandeis University
EMPLOYER
Microsoft Research
FAMILY NAME
EN
Lamport
FIELD OF WORK
πληροφορική
παράλληλα και κατανεμημένα συστήματα
GIVEN NAME
Λέσλι
LANGUAGES SPOKEN, WRITTEN OR SIGNED
αγγλικά
MEMBER OF
Εθνική Ακαδημία Επιστημών
American Academy Of Arts And Sciences
NATIVE LANGUAGE
αγγλικά
NOTABLE WORK
LaTeX
EN
temporal logic of actions
παράλληλα και κατανεμημένα συστήματα
EN
TLA+
OCCUPATION
μηχανικός
συγγραφέας
προγραμματιστής
επιστήμονας υπολογιστών
μαθηματικός
PLACE OF BIRTH
Νέα Υόρκη
SEX OR GENDER
άνδρας
BabelNet
EL
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