Bruno Manuel Gameiro Simões: New Strategies for Computing Gröbner Bases. University of Trento, Italy 2013