 He has also been a visiting professor at the University of York.Hall was the founding chair of ForTIA, the Formal Techniques Industry Association.Otto Leodolter

Otto Leodolter (born 18 March 1936 in Mariazell) was an Austrian ski jumper who competed between 1955 and 1964.