Formal verification and its automation researcher. Assistant Professor at U of Aalborg
Location:Copenhagen