I am a research collaborator at IMT Lucca in the SySMA research unit, mainly working on topics related to process caluli and their use in modelling and programming communication centric systems. I got a PhD in Computer Science from Gran Sasso Science Institute, L’Aquila in 2019. Before that, I received my BSc and MSc degree in Information Technology from Hanoi University of Technology in 2010 and 2012, respectively.
R. De Nicola, T. Duong, and M. Loreti. Provably correct implementation of the AbC calculus, SCP’21.
R. De Nicola, T. Duong, and O. Inverso. Verification of AbC specifications via emulation, ISOLA’20.
R. De Nicola, T. Duong, and M. Loreti. ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORD’19.
I am keen to get in touch by email
personal_email = 'dn.nhattan' + '@' + 'gmail' + '.com' work_email = 'tan.duong' + '@' + 'imtlucca' + '.it'