Andriana Gkaniatsou wins best paper award at ISC 2017

Paper: Low-level Attacks in Bitcoin Wallet

Vaishak Belle invited talk and tutorial at Hybris-17

The tenth Hybris Workshop took place place on Nov 6th-7th 2017 at RWTH Aachen University, Germany

Two CISA Members announced as Turing Fellows

The Alan Turing Institute has announced a list of Turing Fellows, including Vaishak Belle and Ewan Klein of CISA.

New Member of Staff: Stefano Albrecht

CISA is delighted to welcome Stefano, our new Lecturer in Artificial Intelligence.

Accepted poster at SICSA DemoFest

CISA student Xue Li will be presenting her poster at DemoFest 2017

DARE: Delivering Agile Research Excellence on European e-Infrastructures

The University of Edinburgh was awarded funding for the EU H2020 project DARE, which will deliver new methods and tools for data-powered collaborative research at extreme scales

Alan Bundy wins Thoralf Skolem Award

Alan Bundy’s paper “The Use of Explicit Plans to Guide Inductive Proofs” from CADE-9 won the Skolem award for most influential paper at this year’s CADE-26.

Alan Bundy, invited talks this summer

Alan has been invited speaker at several conferences over the summer.

News archive

An archive of CISA news items.