Ter uma doutora em lógica na equipe já é um privilégio, mas fazendo pós-doutorado não tem preço. É assim que nossa equipe de pesquisadores está se sentindo.
Karina Girardi Roggia possui Doutorado em Matemática (ênfase em Lógica) pelo Instituto Superior Técnico em Lisboa, Portugal (2012). É Bacharel e Mestre em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2002 e 2005) com dissertação na área de Fundamentos da Computação. Recebeu Láurea Acadêmica pelo desempenho na graduação (obtendo nota máxima em 80% dos créditos). Foi membro do Security Quantum Iinformation Group, vinculado ao Instituto de Telecomunicações em Portugal e atualmente é pesquisadora no i3G com bolsa de pós doutorado júnior do CNPq. Já desenvolveu pesquisas dentro da área de lógica modal, combinações de lógicas, teoria das categorias e autômatos. Foi professora substituta no Departamento de Informática Teórica da UFRGS durante o ano de 2004 ensinando as disciplinas Linguagens Formais e Autômatos, Teoria dos Grafos e Análise Combinatória e Categorias Computacionais. A pesquisa a ser desenvolvida visa a melhoria do algoritmo de busca com ontologias desenvolvido dentro do projeto Ontojuris, desta vez aplicando a busca para a análise de contratos e termos de serviços online e aplicativos móveis. Será feito uso da Universal Network Language para o tratamento de textos em diferentes idiomas (inicialmente o português, o inglês e o espanhol) fazendo com que a pesquisa retorne resultados independente da linguagem do utilizador. A tecnologia a ser desenvolvida poderá ser utilizada também para a revisão e validação de contratos em diferentes idiomas, uma vez que os aplicativos e serviços na web estão cada vez mais globalizados. O projeto será desenvolvido junto com a Universidade de Fasta na Argentina e com a Universidade Politécnica de Madrid.
Karina, seja bem-vinda!
