Ivar Rummelhoff has joined the NR as Senior Research Scientist at DART, the department of Applied Research in Information Technology.

Ivar has a PhD in mathematical logic from the University of Oslo, where he did basic research in the area of type theory. Since then he has held various positions in the software industry, most recently for the technology company Cxense, where he worked on recommendation systems.