Puusep, Viljamtarkvarateaduse instituut, lektorAt TalTech: 2012-