{"id":4572,"date":"2015-03-05T13:15:22","date_gmt":"2015-03-05T12:15:22","guid":{"rendered":"http:\/\/people.unica.it\/researchersinmotion\/?page_id=4572"},"modified":"2015-04-24T09:42:59","modified_gmt":"2015-04-24T08:42:59","slug":"luis-fernando-pino-duque","status":"publish","type":"page","link":"https:\/\/people.unica.it\/researchersinmotion\/alumni-profiles\/luis-fernando-pino-duque\/","title":{"rendered":"Luis Fernando Pino Duque &#8211; PostDoc Fellow"},"content":{"rendered":"<p><img decoding=\"async\" class=\" size-thumbnail wp-image-4574 alignleft\" src=\"http:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-150x150.png\" alt=\"foto pino duque\" width=\"150\" height=\"150\" srcset=\"https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-150x150.png 150w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-300x300.png 300w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-96x96.png 96w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-24x24.png 24w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-36x36.png 36w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-48x48.png 48w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque-64x64.png 64w, https:\/\/people.unica.it\/researchersinmotion\/files\/2015\/03\/foto-pino-duque.png 600w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><strong><span style=\"color: #333399\"><a style=\"color: #333399\" href=\"http:\/\/dipartimenti.unica.it\/matematicaeinformatica\/\" target=\"_blank\">Department of Mathematics and Information Technology<\/a><\/span><\/strong><\/p>\n<p>&nbsp;<\/p>\n<p><span style=\"color: #3366ff\"><a style=\"color: #3366ff\" href=\"http:\/\/people.unica.it\/researchersinmotion\/alumni-profiles\/luis-fernando-pino-duque\/cv-luis-fernando-pino-duque\/\" target=\"_blank\">Curriculum Vitae<\/a><\/span><\/p>\n<p style=\"text-align: justify\">\n<p style=\"text-align: justify\">\n<p style=\"text-align: justify\">\n<p style=\"text-align: justify\">\n<p style=\"text-align: justify\">\n<p style=\"text-align: justify\">I&#8217;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 \u00c9cole Polytechnique in France under the supervision of Frank D. Valencia and Catuscia Palamidessi from the team COM\u00c8TE. I&#8217;m also a member of the Colombian research group AVISPA.<\/p>\n<p style=\"text-align: left\">For more information please visit my personal homepage at: \u00a0<a href=\"https:\/\/sites.google.com\/site\/lfpinoduque\/\">https:\/\/sites.google.com\/site\/lfpinoduque\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Department of Mathematics and Information Technology &nbsp; Curriculum Vitae I&#8217;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 \u00c9cole Polytechnique in France under the supervision of Frank D. Valencia and Catuscia Palamidessi from the team COM\u00c8TE. I&#8217;m also a member of the Colombian research group AVISPA. For more information please visit my personal homepage at: \u00a0https:\/\/sites.google.com\/site\/lfpinoduque\/<\/p>\n","protected":false},"author":366,"featured_media":0,"parent":557,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-4572","page","type-page","status-publish","hentry","post-seq-1","post-parity-odd","meta-position-corners","fix"],"publishpress_future_action":{"enabled":false,"date":"2026-04-11 03:31:21","action":"change-status","newStatus":"draft","terms":[],"taxonomy":"frm_application","extraData":[]},"publishpress_future_workflow_manual_trigger":{"enabledWorkflows":[]},"_links":{"self":[{"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/pages\/4572","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/users\/366"}],"replies":[{"embeddable":true,"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/comments?post=4572"}],"version-history":[{"count":12,"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/pages\/4572\/revisions"}],"predecessor-version":[{"id":5003,"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/pages\/4572\/revisions\/5003"}],"up":[{"embeddable":true,"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/pages\/557"}],"wp:attachment":[{"href":"https:\/\/people.unica.it\/researchersinmotion\/wp-json\/wp\/v2\/media?parent=4572"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}