5年拿到数学专业本科学位。1959年，他在普林斯顿大学完成了他的数学博士研究，以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来，思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后，他被任命为印第安纳大学哲学系名誉教授。