New perspectives in Computational Group Theory