Yvonne Murray completed her BSc in Mechatronics at the University of Agder in 2016. During her last semester of the MSc degree, she was accepted to an integrated MSc/PhD program at UiA. The Master’s thesis with title “Review of Formal Verification of Smart Contracts Running on Blockchain” was delivered in October, and the further research for the PhD will be on formal verification of autonomous systems.