Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q102216506)
Watch
English
David Alan Basin
Ph.D. Cornell University 1989
In more languages
edit
Statements
instance of
human
0 references
sex or gender
male
0 references
given name
David
series ordinal
1
0 references
Alan
series ordinal
2
0 references
family name
Basin
0 references
date of birth
28 December 1961
1 reference
stated in
Library of Congress Authorities
occupation
computer scientist
0 references
educated at
Cornell University
1 reference
stated in
Mathematics Genealogy Project
doctoral advisor
Robert Lee Constable
1 reference
stated in
Mathematics Genealogy Project
doctoral student
Luca Viganò
1 reference
stated in
Mathematics Genealogy Project
Heiko Mantel
1 reference
stated in
Mathematics Genealogy Project
Mario Frank
1 reference
stated in
Mathematics Genealogy Project
Bruno Conchinha
1 reference
stated in
Mathematics Genealogy Project
Michèle Feltz
1 reference
stated in
Mathematics Genealogy Project
Simon Meier
1 reference
stated in
Mathematics Genealogy Project
Achim D. Brucker
1 reference
stated in
Mathematics Genealogy Project
Boris Alexander Köpf
1 reference
stated in
Mathematics Genealogy Project
Sebastian Mödersheim
1 reference
stated in
Mathematics Genealogy Project
Michael Wahler
1 reference
stated in
Mathematics Genealogy Project
Patrick Schaller
1 reference
stated in
Mathematics Genealogy Project
Arsenii Rudich
1 reference
stated in
Mathematics Genealogy Project
Christian Matt
1 reference
stated in
Mathematics Genealogy Project
member of
Association for Computing Machinery
start time
5 December 2018
subject has role
ACM Fellow
1 reference
reference URL
https://www.acm.org/media-center/2018/december/fellows-2018
retrieved
24 June 2024
award received
ACM Fellow
point in time
2018
announcement date
5 December 2018
award rationale
For contributions to Information Security and Formal Methods
(English)
1 reference
reference URL
https://www.acm.org/media-center/2018/december/fellows-2018
retrieved
24 June 2024
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
VIAF ID
42516100
0 references
ISNI
0000000114427265
0 references
GND ID
1067830561
1 reference
based on heuristic
inferred from linked VIAF cluster
VIAF ID
42516100
reference URL
https://viaf.org/viaf/data/viaf-20230206-links.txt.gz
retrieved
10 February 2023
archive URL
https://web.archive.org/web/20230214210412/https://viaf.org/viaf/data/viaf-20230206-links.txt.gz
archive date
14 February 2023
National Library of Israel J9U ID
987007430256205171
0 references
Library of Congress authority ID
n00092962
0 references
NL CR AUT ID
xx0013453
0 references
IdRef ID
074691929
0 references
WorldCat Entities ID
E39PCjJXYHt9P3g8m4r687xdgq
1 reference
matched by identifier from
Library of Congress Authorities
Library of Congress authority ID
n00092962
retrieved
17 March 2024
ACM Digital Library author ID
81100431853
0 references
Mathematics Genealogy Project ID
50712
0 references
MR Author ID
271248
0 references
Scopus author ID
7003799223
0 references
zbMATH author ID
basin.david-a
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit
