Dimitri Bohlender

Formal Methods | Modelling & Verification

I'm a software engineer with background in formal methods research. I formalise systems, develop decision procedures and care about consistency, precision and well-defined semantics in speech, writing, code & models. I'm currently working at INFORM.

Since I value authenticity this site serves as both a portfolio and a personal website.