Tan N. Duong

Research Collaborator
+39 334 1619244
IMT School for Advanced Studies Lucca, Piazza San Francesco, 19, 55100 Lucca (Italy)

About Me

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.

Research Interest


  • 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.

See also my profile on Google Scholar profile and DBLP page


I am keen to get in touch by email

personal_email = 'dn.nhattan' + '@' + 'gmail' + '.com'
work_email = 'tan.duong' + '@' + 'imtlucca' + '.it'