Nikolaj Bjørner -

Registered user since Thu 15 Nov 2018

Name: Nikolaj Bjørner

Affiliation: Microsoft Research

Contributions

VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-track Author of Solving LIA* Using Approximations within the VMCAI 2020-track
HCVS 2019	Session Chair of IV (part of HCVS) Committee Member in Program Committee within the HCVS-track
ETAPS 2019	Author of Special Relations for Special Relationships within the Mooly Fest-track
CPP 2017	Committee Member in Program Committee within the CPP-track
POPL 2017	ERC member in External Review Committee within the POPL-track
PLDI 2016	Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track
POPL 2016	Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track