Ongoing Supervisions

MSc Theses

MSc Theses: 5

Eliana Almeida
Analyzing Transactional Consistency
MSc Thesis at Instituto Superior Técnico / University of Lisbon, work in progress [bibTex]
João Leitão
Advisors: Luis Pedrosa
Protocol Translation Synthesis
MSc Thesis at Instituto Superior Técnico / University of Lisbon, work in progress [bibTex]
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

MSc Theses

MSc Theses: 1

2021

Francisco Pereira
Advisors: Luis Pedrosa
Parallel NF Synthesis
MSc Thesis at Instituto Superior Técnico / University of Lisbon, Jan. 2021 [bibTex]