Arman Hakim Nasution, Institut Teknologi Sepuluh Nopember, Indonesia