Nikolaj Bjorner

Principal Researcher, Research, Microsoft

Joined

May 2026

Names

Nikolaj Bjorner (Preferred)

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Principal Researcher

Research, Microsoft (research.microsoft.com)

2006 – 2026

Advisors, Relations & Conflicts

No relations added

Expertise

Automated Reasoning

1994 – 2026

Publications

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian Huang, Ayana Monroe, Peli de Halleux, Sorin Lerner, Nikolaj Bjørner
- OpenReview Archive Direct Upload
- Readers: Everyone

Co-Authors