程序正确性测试方法的发明者

尤里·霍勒杰斯

                  ----程序正确性测试方法

    尤里·霍勒杰斯(jiri Horejs)1933年10月18日生于捷克斯洛伐克首都布拉格。1958年在布拉格的查尔斯大学(Charles University)数学与物理系毕业以后，到位于布尔诺的玛莎丽克大学(Masaryk Uni-versity)任教，同时在职攻读博士学位。在数学系系主任、数学家波罗夫卡(Otakar Boruvka)的指导下，1963年他完成博士论文，经答辩后获得博士学位。