Giovanni Battimelli Computer Meets Theoretical Physics