actualidad

20 Jun 2018

Un grupo internacional de investigadores, en el que participan científicos de la Universidad Carlos III de... +

27 Jun 2018

We present Vera, a tool that exhaustively verifies P4 programs using symbolic execution. Vera automatically uncovers... +

18 Jun 2018

El sistema SYMBIOSIS integra tecnologías acústicas y ópticas sin intervención humana. Es el producto de... +

Tesis

The proliferation of handheld devices and... +

careers