Carlos Mão de Ferro

Universidade de Lisboa – University of Massachusetts, Boston

February 2019 (6 months) – Computer Science

Carlos wants to design VM frameworks that provide safe and resource-aware properties for Internet of Things (IoT) devices, characterised by having very restricted resources along with bytecode definitions and static analysis tools that allow to rule out invalid execution scenarios based on the hardware description of the available resources.