Robert Holzmann

Robert Holzmann is Member of the Austrian Academy of Sciences and holds honorary positions at the University of New South Wales and the University of Malaya.