Ongoing Supervisions

MSc Theses

MSc Theses: 3

Rui Caneca
SDN Synthesis
MSc Thesis at Instituto Superior Técnico / University of Lisbon, work in progress [bibTex]
Francisco Machado
Synthesis of Network Switch Programs
MSc Thesis at Instituto Superior Técnico / University of Lisbon, work in progress [bibTex]
Daniel Leitão
Towards Correct Software-Defined Networks
MSc Thesis at Instituto Superior Técnico / University of Lisbon, work in progress [bibTex]

Finished Supervisions

No supervisions found.