"What even is a Principle Scientist?" with Igor Konnov

Igor Konnov is a Principle Scientist at Informal who works on the Apalache model checker. We chat with him about what it's like doing R&D work at Informal, as well as what being a scientist outside of an academic institution is like.