Muttaqii, Muhammad Al, Indonesian Institute of Sciences, Indonesia