The computer eventually started an automated restore process and is now functional again. I installed Avast! 2014 (version 9), however, unfortunately the education license file I was emailed does not work with version 9.