what's new

20 Jun 2018

An international group of researchers, involving scientists from Universidad Carlos III de Madrid (UC3M)... +

27 Jun 2018

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

18 Jun 2018

The SYMBIOSIS system integrates acoustic and optical technologies without human intervention. The system... +

Theses

The proliferation of handheld devices and... +

careers