Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit