Nikolaj Bjørner is affiliated with Microsoft in the United States and has contributed extensively to the field of Computer Science, publishing 39 papers in various subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Information Systems, and Hardware and Architecture.
Their research addresses a broad range of topics, with a focus on Formal Methods in Verification, Logic, Programming, and Type Systems, Software Testing and Debugging Techniques, Software Engineering Research, Model-Driven Software Engineering Techniques, Embedded Systems Design Techniques, and Blockchain Technology Applications and Security.
Frequent co-authors in their publications include Laura Kovács, Clemens Eisenhofer, Lev Nachmanson, Maxwell Levatich, and Shuo Chen.
Typical venues for their publications are diverse and include:
Recent papers authored or co-authored by Nikolaj Bjørner include:
Leonardo De Moura;Nikolaj Bjørner
Leonardo De Moura;Nikolaj Bjørner
Leonardo Moura;Nikolaj Bjørner
Kryštof Hoder;Nikolaj Bjørner
Dan Teodosiu;Nikolaj S. Bjorner;Markus M. Breunig
Nikolaj Bjørner;Arie Gurfinkel;Kenneth L. McMillan;Andrey Rybalchenko
Nikolaj BjØrner;Anh-Dung Phan;Lars Fleckenstein
Leonardo Moura;Nikolaj Bjørner
Zohar Manna;Nikolaj Bjørner;Anca Browne;Edward Y. Chang
Thomas Ball;Nikolaj Bjørner;Aaron Gember;Shachar Itzhaky
Nikolaj Bjørner;Nikolai Tillmann;Andrei Voronkov
Nikolaj Bjørner;Anca Browne;Eddie Chang;Michael Colón
Nikolaj Bjørner;Anca Browne;Zohar Manna
Nuno P. Lopes;Nikolaj Bjørner;Patrice Godefroid;Karthick Jayaraman
Nikolaj Bjørner;Viorica Sofronie-Stokkermans
Margus Veanes;Pieter Hooimeijer;Benjamin Livshits;David Molnar
Leonardo de Moura;Nikolaj Bjorner
Nikolaj Bjørner;Kenneth L. McMillan;Andrey Rybalchenko;Andrey Rybalchenko
Nikolaj S. Bjørner;Anca Browne;Michael A. Colón;Bernd Finkbeiner
Kryštof Hoder;Nikolaj Bjørner;Leonardo De Moura
Dan Teodosiu;Nikolaj S. Bjorner;Markus M. Breunig
If you think any of the details on this page are incorrect, let us know.
Exploring best associate degree in 6 months online programs can be a fast-track way to launch your career in tech or as a stepping stone into a bachelor’s program. These accelerated online degrees are also ideal for career changers seeking foundational skills in a short timeframe.
Many students consider a online degree in business to complement their computer science studies, broadening opportunities in tech entrepreneurship, management, and product development roles.
Accessibility and affordability are key considerations for online education. Finding the cheapest bachelor degree can help reduce debt and make higher education achievable for more students, opening doors to high-demand computer science and IT careers.
For those interested in related fields, earning an online engineering degree combines technical computer science knowledge with hands-on skills in areas like software, electrical, or mechanical engineering, further expanding career prospects in innovative industries.
Waseda University
Solid State Physics Laboratory
University College London
Stanford University
Nagoya University
All India Institute of Medical Sciences
Queensland University of Technology
University of California, Los Angeles
Texas A&M University
Technical University of Berlin
City, University of London
University of Queensland
Polytechnic University of Milan
University of Chicago
University of Pittsburgh
University of Michigan–Ann Arbor
