., Saefudin, Lembaga Ilmu Pengetahuan Indonesia, Indonesia