Adjiantoro, Bintang, Indonesian Institute of Sciences, Indonesia