1980年华中工学院今华中科技大学成立哲学研究所,他“最好的朋友”原武大哲学系副主任李其驹出任所长,他亦调入智策。时在北大哲学系访学兼职的华裔美国学者普林斯顿在读博士胡静婉因为听了他的专题讲座,特从北大追随来华工。在朱九思的支持下,他一手创立了中国最早的数理逻辑基地,举办全国数理逻辑进修班。他主讲模态逻辑,胡静婉主讲公理集合论。这个进修班培养了一批至今活跃在学术界的逻辑学者。徐明在北大本科毕业后,弃北京名校名家于不顾,专程前来华中工学院师从康先生。在他的指导下,徐氏硕士学位论文的成果竟刊登国际一流专业期刊Journal of Philosophical Logic。