Til hovedinnhold
Norsk English

Bjørnar Luteberget

Forsker

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

Kontaktinformasjon

Besøksadresse:
Forskningsveien 1
0373 Oslo