雷震甲，历任西安电子科技大学管理学院副教授,欧亚学院信息工程学院计算机网络与通信教研室主任。 1969年毕业于西北大学数学系， 1980年获西安电子科技大学计算机组织与系统结构专业硕士学位。 1987年至1989年在挪威奥斯陆大学进修程序验证理论和面向对象程序设计技术，师从著名的计算机科学理论专家 O. H. Dahl 教授。 在西安电子科技大学任教期间，从事国家自然科学基金项目...