SMT in Verification, Modeling, and Testing at Microsoft
Dr. Nikolaj Bjorner (Microsoft Research)
Nikolaj is a Senior Researcher at Microsoft Research working in the area of Automated Theorem Proving and Software Engineering. Nikolaj's 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, Nikolaj 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. Nikolaj received my Master's and Ph.D. degrees in computer science from Stanford University.
As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).