Karina Girardi Roggia

has a PhD in Mathematics (thesis about Logic) by Instituto Superior Técnico in Lisbon, Portugal (2012). She holds a BA and a MS in Computer Science from Federal University of Rio Grande do Sul - UFRGS - (2002 and 2005) with a dissertation in the area of Theoretical Computer Science. She received an academic distinction for her performance during the undergraduate course (getting top marks in 80% of the disciplines). She was member of SQIG, linked to the Institute of Telecommunications in Portugal and researcher at i3G - Institute of Electronic Government, Intelligence and Systems where had a pos-doc scholarship between 2013 and 2014 in a project about multilingual juridical search. Nowadays she is an Associate Professor at State University of Santa Catarina (UDESC) for Theory of Computation and Algorithms. Mainly topics of research: proof assistants, non-classical logics, and category theory.

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: assistentes de provas, lógicas não-clássicas e teoria das categorias.