Karina Girardi Roggia

  • Endereço para acessar este CV: http://lattes.cnpq.br/7786281602726587
  • Última atualização do currículo em 30/10/2018


possui Doutorado em Matemática (tese 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 SQIG, vinculado ao Instituto de Telecomunicações em Portugal e do Instituto i3G - Instituto de Governo Eletrônico, Inteligências e Sistemas onde realizou estágio pós-doutoral entre 2013 e 2014 em projeto de buscas jurídicas multilíngues. Atualmente é professora adjunta na Universidade do Estado de Santa Catarina na área de Fundamentos da Computação, ministrando as disciplinas como Teoria da Computação e Matemática Discreta. Principais tópicos de interesse em pesquisa: combinações de lógicas, lógicas modais não-normais e teoria das categorias. (Texto informado pelo autor)


Identificação


Nome
Karina Girardi Roggia
Nome em citações bibliográficas
ROGGIA, Karina Girardi;Roggia, K.;Roggia, Karina G.;Roggia, Karina Girardi

Endereço


Endereço Profissional
Universidade do Estado de Santa Catarina, Centro de Ciências Tecnológicas, Departamento de Ciências da Computação.
Rua Paulo Malschitzki
Zona Industrial Norte
89219710 - Joinville, SC - Brasil
Telefone: (47) 40097900
URL da Homepage: http://www.cct.udesc.br/


Formação acadêmica/titulação


2006 - 2012
Doutorado em Matemática.
Instituto Superior Técnico, IST, Portugal.
Título: Fusion of General Modal Logics Labelled with Truth Values, Ano de obtenção: 2012.
Orientador: Maria Cristina de Sales Viana Serôdio Sernadas.
Bolsista do(a): Fundação para a Ciência e a Tecnologia, FCT, Portugal.
Palavras-chave: (normal and non-normal) modal logic; fusion of modal logics; general semantics; truth values; labelled sequents; labelled deduction.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Teoria das Categorias.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: LÓGICA.
2002 - 2005
Mestrado em Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações,Ano de Obtenção: 2005.
Orientador: Paulo Fernando Blauth Menezes.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Teoria das Categorias; Morfismos Parciais; Grafos Parciais; Autômatos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
1998 - 2002
Graduação em Ciência da Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Morfismos Parciais e Ciência da Computação: um estudo.
Orientador: Paulo Fernando Blauth Menezes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


2013 - 2014
Pós-Doutorado.
Instituto de Governo Eletrônico, Inteligências e Sistemas, IJURIS, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Sociais Aplicadas / Área: Direito / Subárea: Direito Público.


Formação Complementar


2014 - 2014
Gerência de Requisitos no MPS.BR. (Carga horária: 8h).
Incremental Tecnologia em Informática, INCREMENTAL, Brasil.
2014 - 2014
Visão Geral do MPS.BR. (Carga horária: 8h).
Incremental Tecnologia em Informática, INCREMENTAL, Brasil.
2014 - 2014
Gerência de Projetos no MPS.BR. (Carga horária: 8h).
Incremental Tecnologia em Informática, INCREMENTAL, Brasil.
2001 - 2001
Extensão universitária em Inglês Nível 7.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
2000 - 2000
Extensão universitária em Inglês Intermediário 1.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.


Atuação Profissional



Universidade do Estado de Santa Catarina, UDESC, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Professora Adjunta, Carga horária: 40

Atividades

09/2016 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas, .

Cargo ou função
Integrante da Comissão de Seleção de Coleções da Biblioteca CCT.
08/2016 - Atual
Extensão universitária , Centro de Ciências Tecnológicas, Departamento de Ciências da Computação.

Atividade de extensão realizada
Coordenadora Projeto de Extensão "Colóquios de Ciência da Computação".
06/2016 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Tecnológicas, .

Cargo ou função
Representante DCC na Comissão de Extensão.
02/2016 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Matemática Discreta
08/2015 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
08/2015 - 06/2016
Ensino, Sistema de Informação, Nível: Graduação

Disciplinas ministradas
Algoritmos
08/2015 - 12/2015
Ensino, Engenharia Mecânica, Nível: Graduação

Disciplinas ministradas
Programação para Engenharia II

Instituto de Governo Eletrônico, Inteligências e Sistemas, IJURIS, Brasil.
Vínculo institucional

2015 - 2015
Vínculo: Pesquisadora Voluntária, Enquadramento Funcional: Pesquisadora Voluntária, Carga horária: 15

Vínculo institucional

2014 - 2015
Vínculo: Voluntário, Enquadramento Funcional: Diretora Científica, Carga horária: 4

Vínculo institucional

2013 - 2014
Vínculo: Bolsista, Enquadramento Funcional: Pesquisadora, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Bolsa de Pós-doutorado Júnior do CNPq.

Atividades

01/2014 - 07/2015
Direção e administração, Pesquisa e Desenvolvimento, .

Cargo ou função
Diretora Científica.
07/2013 - 07/2015
Pesquisa e desenvolvimento , Pesquisa e Desenvolvimento, .


Instituto Superior Técnico, IST, Portugal.
Vínculo institucional

2006 - 2012
Vínculo: Student Member, Enquadramento Funcional: Estudante, Regime: Dedicação exclusiva.
Outras informações
Membro estudante do Centro de Lógica e Computação e do SQIG - Security Quantum Information Group

Atividades

03/2006 - 04/2012
Pesquisa e desenvolvimento , Centro de Lógica e Computação, .


Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

2004 - 2005
Vínculo: Professora Substituta, Enquadramento Funcional: Professora Auxiliar, Carga horária: 20

Vínculo institucional

2002 - 2004
Vínculo: Bolsista de Mestrado, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.
Outras informações
Bolsista de Mestrado CAPES Pesquisa em Teoria das Categorias

Vínculo institucional

1999 - 2002
Vínculo: Bolsista de Iniciação Científi, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações
Bolsa PIBIC/CNPq, Projeto HoVer-CAM Atividades Realizadas: * Atividade Didática: Monitora nas disciplinas: "Categorias Computacionais" e "Linguagens Formais e Autômatos" do curso de Bacharelado em Ciência da Computação - UFRGS * Auxílio na produção, revisão e edição do livro "Teoria das Categorias e Ciência da Computação", de autoria do professor orientador. * Estudo de Teoria das Categorias, Teoria do Caos e Autômatos Não-Seqüenciais.

Atividades

03/2004 - 4/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Categorias Computacionais N
Linguagens Formais e Autômatos
Teoria dos Grafos e Análise Combinatória
9/1999 - 1/2005
Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.



Linhas de pesquisa


1.
Teoria das Categorias
2.
Sistemas Evolutivos
3.
Morfismos Parciais
4.
Linguagens Formais e Autômatos
5.
Lógica
6.
Combinações de Lógicas
7.
Lógicas Modais
8.
Universal Network Language
9.
Ontologias de Contexto
10.
Legislação Indígena
11.
Inteligência Artificial


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria das Categorias.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2002
Láurea Acadêmica no Curso de Bacharelado em Ciência da Computação (80% dos créditos com nota máxima), Instituto de Informática - UFRGS.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
SILVA, R. C. G.2018SILVA, R. C. G. ; ROGGIA, Karina Girardi ; Vasconcellos, Cristiano D. . Haskell Type System Analysis. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA, v. 25, p. 75-88, 2018.

2.
1Rasga, J.2010 Rasga, J. ; ROGGIA, Karina Girardi ; Sernadas, C. . Fusion of sequent modal logic systems labelled with truth values. Logic Journal of the IGPL (Print), v. 18, p. 893-920, 2010.

3.
3ROGGIA, Karina Girardi;Roggia, K.;Roggia, Karina G.;Roggia, Karina Girardi2005ROGGIA, Karina Girardi; MENEZES, Paulo Blauth ; HOFF, Marnes Augusto . Bicompleteness in the Category of Partial Graphs with Total Homomorhisms. Electronic Journal on Mathematics of Computation, Recife - PE - Brasil, v. 2, n.1, p. 1-12, 2005.

4.
2HOFF, Marnes Augusto2004 HOFF, Marnes Augusto ; ROGGIA, Karina Girardi ; MENEZES, P. F. B. . Composition of Transformations: a Framework of Systems with Dynamic Topology. CASYS: International Journal of Computing Anticipatory Systems, Liège, v. 14, p. 259-270, 2004.

Capítulos de livros publicados
1.
Roggia, Karina Girardi; HOFF, Marnes Augusto ; MENEZES, Paulo Blauth . Computation of Partial Automata Through Span Composition. In: Roberto Moreno Díaz; Franz Pichler; Alexis Quesada Arencibia. (Org.). Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2005, v. 3642, p. 15-20.

Resumos expandidos publicados em anais de congressos
1.
Roggia, K.; Bueno, Tania C. D. . Access to Legislation for Ethnic Minorities: Multilingualism serving citizenship through technology. In: III Congresso Internacional de e-Justiça da UFPR e IV Congresso Iberoamericano de Investigadores e Docentes em Direito e Informática, 2014, Curitiba. III Congresso Internacional de e-Justiça da UFPRe IV Congresso Iberoamericano de Investigadores e Docentes de Direito e Informática ?Rede CIIDDI: Experiências Americanas e Européias em e-Justiça: avaliação, comparação e perspectivas. Curitiba: Programa de Pós-Graduação em Direito da UFPR, 2014. p. 17-18.

2.
Roggia, K.. Combination of deontic logic systems: adding more elements on the reasoning. In: III Congresso Internacional de e-Justiça da UFPR e IV Congresso Iberoamericano de Investigadores e Docentes de Direito e Informática, 2014, Curitiba. III Congresso Internacional de e-Justiça da UFPR e IV Congresso Iberoamericano de Investigadores e Docentes de Direito e Informática ? Rede CIIDDI: Experiências Americanas e Européias em e-Justiça: avaliação, comparação e perspectivas. Curitiba: Programa de Pós-Graduação em Direito da UFPR, 2014. p. 24-24.

3.
Bueno, Tania C. D. ; ROGGIA, Karina Girardi ; Hoeschl, Hugo C. . Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion. In: JURIX 2014: The Twenty-Seventh Annual Conference, 2014, Kràkow. Legal Knowledge and Information Systems. Amsterdam: IOS Press, 2014. v. 271. p. 201-202.

4.
ROGGIA, Karina Girardi; HOFF, Marnes Augusto ; MENEZES, Paulo Blauth . Computation of Partial Automata through Span Composition. In: EUROCAST'2005 - 10th International Workshop on Computer Aided Systems Theory, 2005, Las Palmas de Gran Canaria. Cast and Tools for Robotics, Vehicular and Communication Systems, 2005. p. 5-6.

Resumos publicados em anais de congressos
1.
HOFF, Marnes Augusto ; ROGGIA, Karina Girardi ; MENEZES, P. F. B. . Composition of Transformations: a Framework for Systems with Dynamic Topology. In: CASYS'2003: 6th International Conference on Computing Anticipatory Systems, 2003, Liège. Computing Anticipatory Systems: abstract book. Liège: CHAOS asbl, 2003. v. 1. p. 10-10.

2.
MENEZES, P. F. B. ; ROGGIA, Karina Girardi ; MACHADO, J. H. A. P. . Hierarquia de Modelos para Concorrência. In: WMF'2002: V Workshop de Métodos Formais, 2002, Gramado. Proceedings of the 5th Workshop on Formal Methods. Porto Alegre: Instituto de Informática da UFRGS, 2002. v. 1. p. 3-3.

3.
ROGGIA, Karina Girardi; MENEZES, P. F. B. . Herança de Limites na Categoria das Setas Parciais. In: XIII Salão de Iniciação Científica da UFRGS, 2001, Porto Alegre. XIII Salão de Iniciação Científica da UFRGS - Livro de Resumos. Porto Alegre: Gráfica UFRGS, 2002.

4.
ROGGIA, Karina Girardi; D'ANDREA, F. P. ; MENEZES, P. F. B. . Definição Formal de Caos?. In: XII Salão de Iniciação Científica da UFRGS, 2000, Porto Alegre. XII Salão de Iniciação Científica da UFRGS - Livro de Resumos. Porto Alegre: Gráfica UFRGS, 2000.

Apresentações de Trabalho
1.
Bueno, Tania C. D. ; Roggia, K. . Técnicas de Gameficação para o Desenvolvimento de Ontologias. 2014. (Apresentação de Trabalho/Congresso).

2.
Roggia, Karina G.. Buscas jurídicas utilizando ontologias e multilinguismo. 2014. (Apresentação de Trabalho/Conferência ou palestra).

3.
Roggia, K.. Projeto TECLIN e Cátedra da UNESCO. 2014. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
Roggia, K.. Fusion of General Modal Logics Labelled with Truth Values. Lisboa: UTL - Instituto Superior Técnico, 2012 (Tese de Doutorado).

2.
ROGGIA, Karina Girardi. Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações. Porto Alegre: Programa de Pós-Graduação em Computação - UFRGS, 2005 (Dissertação de Mestrado).

3.
ROGGIA, Karina Girardi. Morfismos Parciais e Ciência da Computação: Um Estudo. Porto Alegre 2002 (Trabalho de Diplomação).

4.
ROGGIA, Karina Girardi. Hierarquia de Modelos para Concorrência.. Porto Alegre: Programa de Pós-Graduação em Computação - UFRGS, 2002 (Trabalho Individual).


Demais tipos de produção técnica
1.
Bueno, Tania C. D. ; Roggia, K. . Preservação e difusão dos Direitos Indígenas através de Tecnologias de Informação e Comunicação. 2015. (Curso de curta duração ministrado/Outra).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Vasconcellos, Cristiano D.; Figueiredo, L.; Roggia, Karina G.. Participação em banca de Adelaine Franciele Guelain. Inferência de Tipos na Presença de GADT usando anti-unificação. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina.

Trabalhos de conclusão de curso de graduação
1.
Roggia, Karina G.; Silveira, R. A.; COSTA, R. J. C.. Participação em banca de Tiago Royer.Máquinas de Turing Não-Determinísticas como Computadores de Funções. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
III Congresso Internacional de Direito e Contemporaneidade. Mediação das palestras dos professores Fernando Gallindo e Manuel Masseno. 2015. (Congresso).

2.
3º CIIDDI - Congresso Ibero-americano de Investigadores e Docentes em Direito e Informática. Cátedra UNESCO - Projeto TECLIN. 2014. (Congresso).

3.
III Congresso Internacional de e-Justiça da UFPR e IV Congresso Iberoamericano de Investigadores e Docentes de Direito e Informática. Acesso à Legislação para Minorias Étnicas: o multilinguismo a serviço da cidadania através da tecnologia. 2014. (Congresso).

4.
JURIX 2014: The Twenty-Seventh Annual Conference. Using Crowdsourcing Games Techniques and Similarity Metrics to Improve Legal Ontologies Expansion. 2014. (Congresso).

5.
World Congress and School on Universal Logic III. 2010. (Congresso).

6.
EUROCAST'2005. Computation of Partial Automata Through Span Composition. 2005. (Congresso).

7.
International Winter School on Semantics and Applications. 2003. (Outra).

8.
Workshop de Métodos Formais. Hierarquia de Modelos para Concorrência. 2002. (Congresso).

9.
XIII Salão de Iniciação Científica UFRGS.XIII Salão de Iniciação Científica UFRGS. 2001. (Encontro).

10.
XII Salão de Iniciação Científica UFRGS.XII Salão de Iniciação Científica UFRGS. 2000. (Encontro).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Rafael Castro Gonçalves Silva. Visão Categórica do Sistema de Tipos de Haskell. Início: 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado de Santa Catarina. (Orientador).




Página gerada pelo Sistema Currículo Lattes em 09/12/2018 às 17:15:26