Kaldmäe, Arvotarkvarateaduse instituut, teadurAt TalTech: 2010-