To main content

Bjørnar Luteberget

Research Scientist

Working on automated reasoning, formal methods, and optimization, with applications in railways, power grid, architecture, and more. With a special interest in SAT-based algorithms and their applications in operations research.

Preprints and code at https://github.com/luteberget

Contact info

Visiting address:
Forskningsveien 1
0373 Oslo