Nikolaj Bjørner -

Registered user since Thu 15 Nov 2018

Name: Nikolaj Bjørner

Affiliation: Microsoft Research

Contributions

CPP 2021	Steering Committee Member in Steering Committee within the CPP 2021-track
PADL 2020	Invited Speaker of Invited Talk: Logical Engines for Cloud Configurations within the PADL 2020-track Author of Panel: Programming with logic for the masses within the PADL 2020-track
VMCAI 2020	Session Chair of Papers 5 (part of 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