Nikolaj Björner

According to our database¹, Nikolaj Björner authored at least 1 paper in 2026.

Collaborative distances:

Awards

ACM Fellow 2021, "For contributions to SMT solvers and network verification".

Book In proceedings Article PhD thesis Dataset Other

2026

Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves.

[DOI]

CoRR, April, 2026