Write a Blog >>
Nikolaj Bjørner

Registered user since Thu 15 Nov 2018

Name: Nikolaj Bjørner

Affiliation: Microsoft Research

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
Show activities from other conferences

Using general profile