stensson@pike.ida.
liu
.se
Master of Logics and Engineering.