Luis Fernando Pino Duque – PostDoc Fellow
Department of Mathematics and Information Technology
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: https://sites.google.com/site/lfpinoduque/