Halim, Abdul Hakim, Institut Teknologi Bandung, Indonesia