Ibrahim, Khalil, Institut Teknologi Bandung, Indonesia