Ongoing Supervisions

MSc Theses

MSc Theses: 3

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

Finished Supervisions

No supervisions found.