The Vienna Center for Logic and Algorithms organized another instalment of the LogicLounge discussion series on Monday, March 7, 2016. The LogicLounge was initiated during the Vienna Summer of Logic 2014 and aims to provide a public forum for the discussion of computer science topics.

We were honored to welcome the eminent computer scientist Cliff B. Jones (Professor of Computing Science, Newcastle University) and science journalist Tanja Traxler (Der Standard), who discussed the topic of formal methods and Jones’ work in the Vienna IBM Lab in the 1960s/70s. We were also very pleased that several of Cliff Jones’ colleagues from the IBM Lab were able to attend.

The LogicLounge took place on March 7, 2016 at 5:30 pm (Böcklsaal, TU Wien, main building, first floor).

Click here for a LogicLounge overview.

Cliff Jones’ biography:

Cliff Jones is Professor of Computing Science at Newcastle University with research interests ranging from theoretical computer science to dependability applications. He has spent over 20 years of his research career in industry. His 15 years in IBM saw the creation of the Vienna Development Method (VDM) which is one of the better known “formal methods“. He completed his doctorate degree at Oxford University with Turing Award winner Tony Hoare as his supervisor. From Oxford, he moved directly to a chair at Manchester University to build a world-class Formal Methods group. In 1996 he moved back into industry with a small software company (Harlequin), directing some 50 developers on Information Management projects and finally became overall Technical Director before leaving to re-join academia in 1999 to take his current chair in Newcastle.

Click here for Cliff Jones’ full biography.

Photo Gallery