{"id":424,"date":"2019-02-24T09:06:50","date_gmt":"2019-02-24T12:06:50","guid":{"rendered":"https:\/\/wp.ufpel.edu.br\/computacao\/?page_id=424"},"modified":"2023-12-07T17:05:40","modified_gmt":"2023-12-07T20:05:40","slug":"fundamentos-da-computacao","status":"publish","type":"page","link":"https:\/\/wp.ufpel.edu.br\/computacao\/ppgc\/fundamentos-da-computacao\/","title":{"rendered":"Fundamentos da Computa\u00e7\u00e3o"},"content":{"rendered":"\n<p>A Linha de Pesquisa Fundamentos da Computa\u00e7\u00e3o procura pesquisar fundamentos te\u00f3ricos e modelos abstratos que servem de base para sistemas, bem como desenvolver t\u00e9cnicas para garantir corre\u00e7\u00e3o no desenvolvimento de software.<\/p>\n\n\n\n<p>Temas de interesse da linha incluem especifica\u00e7\u00e3o, constru\u00e7\u00e3o por refinamento e verifica\u00e7\u00e3o de sistemas de software e hardware, com o objetivo de atingir n\u00edveis de qualidade mais elevados e aumentar a confian\u00e7a na corre\u00e7\u00e3o do software atrav\u00e9s de provas formais e refinamentos; aplica\u00e7\u00e3o da teoria da informa\u00e7\u00e3o no campo da computa\u00e7\u00e3o; desenvolvimento e an\u00e1lise da complexidade de modelos matem\u00e1ticos computacionais aplicados ao estudo e \u00e0 an\u00e1lise da din\u00e2mica de popula\u00e7\u00f5es e de fen\u00f4menos ambientais.<\/p>\n\n\n\n<p>Orientadores na \u00e1rea:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"http:\/\/lattes.cnpq.br\/1097468139544018\">Luciana Foss<\/a><\/li>\n\n\n\n<li><a href=\"http:\/\/marilton.info\/\">Marilton Sanchotene de Aguiar<\/a><\/li>\n\n\n\n<li><a href=\"http:\/\/lattes.cnpq.br\/3283691152621834\">Renata Hax Sander Reiser<\/a><\/li>\n\n\n\n<li><a href=\"http:\/\/lattes.cnpq.br\/2502796658601825\">Simone Andr\u00e9 da Costa Cavalheiro<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>A Linha de Pesquisa Fundamentos da Computa\u00e7\u00e3o procura pesquisar fundamentos te\u00f3ricos e modelos abstratos que servem de base para sistemas, bem como desenvolver t\u00e9cnicas para garantir corre\u00e7\u00e3o no desenvolvimento de software. Temas de interesse&#46;&#46;&#46;<\/p>\n","protected":false},"author":881,"featured_media":0,"parent":118,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-424","page","type-page","status-publish","hentry"],"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/PaGhNl-6Q","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/pages\/424","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=424"}],"version-history":[{"count":4,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/pages\/424\/revisions"}],"predecessor-version":[{"id":7720,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/pages\/424\/revisions\/7720"}],"up":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/pages\/118"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=424"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}