IMDEA Software

IMDEA initiative

news & events

Nov 30, 2020

This paper presents a novel, algebraic treatment of the assertion language of separation logics

Nov 20, 2020

The work explores the application of Parametric Resource Analysis to the static inference of gas and storage consumption bounds for smart contracts

Oct 21, 2020

The conference featured 8 interesting presentations, two of them on forthcoming papers, and a colloquium

Oct 9, 2020

A new theoretical perspective on a collection of open problems of classical automata constructions and well-established algorithms

highlights

careers