蒋正宇 物理副教授。1939年12月出生，湖南邵阳人。1964年毕业于武汉大学物理系。现任湖南省邵阳高等专科学校教师。是全国自动推理学会会员。