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

• I am interested in the construction of correct and secure software systems based on their process algebraic specifications, and in the development of techniques and tools to make such a task possible. I also have a broad interest in programming languages and formal verification.
• Software libraries Github
  • Translation of AbC specifications to C programs
  • Erlang runtime environment for AbC calculus

Publication

• 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

Contact

I am keen to get in touch by email

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