IMDEA Software

IMDEA initiative

news & events

Sep 10, 2020

The work was presented at the Haskell Implementors’ Workshop (HIW 2020) in ICFP 2020

Aug 31, 2020

They present a new residualization operation and a generalized Brzozowski's method for building the minimal residual automaton for a given language.

Aug 28, 2020

They construct non-malleable secret sharing schemes secure against attackers

Jul 30, 2020

He uses quasiorders on words to offer a new perspective on two well-studied problems from Formal Language Theory

highlights

careers