- Pedro Nunes advised by Inês Lynce and Miguel Ângelo da Terra Neves, Data Formatting Synthesis by Example, MSc Thesis at Instituto Superior Técnico, Nov. 2022 [bibTex]