Luis Fernando Pino Duque – PostDoc Fellow


foto pino duqueDepartment of Mathematics and Information Technology


Curriculum Vitae

I’m a postdoctoral researcher at the University of Cagliari, Italy working in the group of Trustworthy Computational Societies. My research has been focused on the development of formal methods for analyzing and verifying computer programs. I did my PhD in the Computer Science Laboratory (LIX) from École Polytechnique in France under the supervision of Frank D. Valencia and Catuscia Palamidessi from the team COMÈTE. I’m also a member of the Colombian research group AVISPA.

For more information please visit my personal homepage at:

contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy