Luis Fernando Pino Duque – PostDoc Fellow

Department 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:  https://sites.google.com/site/lfpinoduque/