School of Computing Science

Research Students

Mr. Diego Machado Dias
PhD Student

Diego Dias is a PhD student in Formal Methods at Newcastle University, working under supervision of Dr Leo
Freitas. Diego gained his BSc in Computer Science at Federal University of Bahia, Brazil. There he worked in
collaboration with Leo Freitas on a mechanisation of a simple kernel using Z notation. He continued his studies
with a MSc in Computer Science at Federal University of Pernambuco, Brazil. His MSc thesis 'Behavioural
Preservation in Fault Tolerant Patterns' applies HOL4 to formalise a notion of behavioural preservation of
replication patterns used in the industry.

Research Group memberships