Nikolaj Bjorner (Q102250356): Preview

Nikolaj Bjorner (Q102250356)
computer scientist

Language:

Current Data About Nikolaj Bjorner

(P21)

(Q6581097)

(P31)

(Q5)

(P69)

(Q41506)

(P248)

(P108)

(Q1144725)

(P166)

(Q18748039)

(P585)	+2021-00-00T00:00:00Z
(P6949)	Wednesday, January 19, 2022
(P6208)	"For contributions to SMT solvers and network verification" (language: en)

(P854)	https://www.acm.org/media-center/2022/january/fellows-2021
(P813)	Monday, June 24, 2024

(P184)

(Q92814)

(P248)

(P463)

(Q127992)

(P580)	Wednesday, January 19, 2022
(P2868)

(P854)	https://www.acm.org/media-center/2022/january/fellows-2021
(P813)	Monday, June 24, 2024

(P800)

(Q85816952)

(P856)

https://www.microsoft.com/en-us/research/people/nbjorner/

(P407)

other details

aliases	Nikolaj Skallerud Bjorner
description	computer scientist

External Links