Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q102250356)
Watch
English
Nikolaj Bjorner
computer scientist
Nikolaj Skallerud Bjorner
In more languages
default for all languages
No label defined
No description defined
edit
Statements
instance of
human
0 references
sex or gender
male
0 references
employer
Microsoft Research
0 references
educated at
Stanford University
1 reference
stated in
Mathematics Genealogy Project
doctoral advisor
Zohar Manna
1 reference
stated in
Mathematics Genealogy Project
notable work
Z3 Theorem Prover
0 references
member of
Association for Computing Machinery
start time
19 January 2022
subject has role
ACM Fellow
1 reference
reference URL
https://www.acm.org/media-center/2022/january/fellows-2021
retrieved
24 June 2024
award received
ACM Fellow
point in time
2021
announcement date
19 January 2022
award rationale
For contributions to SMT solvers and network verification
(English)
1 reference
reference URL
https://www.acm.org/media-center/2022/january/fellows-2021
retrieved
24 June 2024
official website
https://www.microsoft.com/en-us/research/people/nbjorner/
language of work or name
English
0 references
Identifiers
DBLP author ID
51/912
0 references
Google Scholar author ID
kja6dIzH9GwJ
0 references
Mathematics Genealogy Project ID
71234
0 references
MR Author ID
616798
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