我校计算机学院段振华教授，9月25日至10月8日赴西班牙参加2005年国际逻辑程序设计大会（ICLP2005）并在会上发表一篇研究论文“Semantics of Framed Temporal Logic Program”。论文集由著名的出版商Springer-Verlag出版。
　　段振华教授在英国留学、工作十余年，2003年被我校聘为教授、博士生导师，近三年来他为研究生讲授了5门课；发表了5篇高质量的论文；出版了两部专著；获得国家自然科学基金项目2项、其中重点项目1项；教育部博士基金项目1；中国科学院软件研究所开放试验基金项目1项；共获得科研经费已超过200万元人民币。最近段振华教授被学校推荐为在教育事业取得显著成就，为科教进步做出突出贡献的我省优秀留学回国人员，并入选 “三秦归国学人”（第六辑）。（王国钧 供稿）