Nikolaj Bjorner
Microsoft Research
Nikolaj Bjorner
Senior Researcher at Microsoft Research working in the area of Automated Theorem Proving and Software Engineering. Current main line of work is around the state-of-the art theorem prover Z3, which is used as a foundation of many software engineering tools, including test-case generation, smart fuzzing, static analysis, program verification, software model checking, model-based software design and synthesis. Previously, designed the DFSR, Distributed File System — Replication, shipped with Windows Server since 2005 and before that worked on distributed file sharing systems at XDegrees (a startup acquired by Microsoft), and program synthesis and transformation systems at the research company Kestrel Institute. Received my Master's and Ph.D. degrees in computer science from Stanford University.