Isabel Tonin

Possui graduação em Tecnólogo Em Processamento de Dados pela Universidade Federal do Rio Grande do Sul(1986), mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina(1997) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Catarina(2003). Atuando principalmente nos seguintes temas:Inteligência Artificial, Prova automática de Teoremas, Método de Inferência, Inferência lógica, Formas normais canonicas.

Informações coletadas do Lattes em 27/10/2022

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

1997 - 2003

Universidade Federal de Santa Catarina
Título: Formas Normais e Inferencia em Logica de Primeira Ordem
Orientador: Guilherme Bittencourt
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPQ, Brasil. Palavras-chave: Inteligência Artificial; Prova automática de Teoremas; Método de Inferência; Inferência lógica; Formas normais canonicas.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial / Especialidade: Prova Automática de Teoremas. Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: lógica aplicada à computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial. Setores de atividade: Informática; Industria Eletro-Eletrônica.

Mestrado em Engenharia Elétrica

1995 - 1997

Universidade Federal de Santa Catarina
Orientador: Guilherme Bittencourt
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Inteligência Artificial; Prova automática de Teoremas; Inferência lógica; Transformação Dual.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial / Especialidade: Prova Automática de Teoremas. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.

Graduação em Tecnólogo Em Processamento de Dados

1981 - 1986

Universidade Federal do Rio Grande do Sul

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial/Especialidade: Prova Automática de Teoremas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial/Especialidade: Tutores.

Produções bibliográficas

BITTENCOURT, G. ; TONIN, I. . An Algorithm for Dual Transformation in First-Order Logic. Journal of Automated Reasoning , 2001.
TONIN, I. ; BITTENCOURT, G. . A Concurrent Algorithm for Logical Subsumption. In: II Congresso de Logica Aplicada a Tecnologia LAPTEC 2001, 2001, Sao Paulo. Book Series "Frontiers in Artificial Intelligence and its Applications", 2001.
BITTENCOURT, G. ; TONIN, I. . A Proof Strategy Based on a Dual Representation. In: AISC'2000-Fifth International Conference-Artificial Intelidence and Symbolic Computation-Theory, Implementation and Applications, 2000, Madrid. Proceedings of the Fifth International Conference Artificial Intelligence and Symbolic Computation Theory, Implementations and Applications (AISC'2000). Madrid, Espanha: LNAI Springer Verlag, 2000.
TONIN, I. ; BITTENCOURT, G. . Forma Normal Disjuntiva em Lógica de Primeira Ordem. In: I Congresso de Lógica Aplicada à Tecnologia (LAPTEC'2000), 2000, São Paulo. Anais do I Congresso de Lógica Aplicada à Tecnologia (LAPTEC'2000), 2000. p. 417-429.
TONIN, I. ; BITTENCOURT, G. . Uma Implementação Orientada a Objeto para a Transformação Dual. In: XXIV Brazilian Software and Hardware Seminars - SEMISH'97, 1997, Brasília - DF. Anais do XXIV Brazilian Software and Hardware Seminars (SEMISH'97), 1997. p. 411-422.
BITTENCOURT, G. ; TONIN, I. . A Multi-Agent Approach to First-Order Logic. In: 8th Portuguese Conference on Artificial Intelligence - EPIA'97, 1997, Coimbra. Proceedings of the 8th Portuguese Conference on Artificial Intelligence (EPIA'97), Lecture Notes in Artificial Intelligence, 1997. v. 1323. p. 167-178.
TONIN, I. ; BITTENCOURT, G. . LOGIK: Um Ambiente para o Ensino de Lógica. In: V Congresso Iberoamericano de Educación Superior en Computación - EDUC'96, 1996, Cidade do México - México, 1996.

Histórico profissional

Experiência profissional

1991 - 1993

At Consultores Associados Sa

Vínculo: Outro, Enquadramento Funcional: consultora, Carga horária: 40

1985 - 1991

Consultoria e Sistemas de Informação Ltda

Vínculo: Outro, Enquadramento Funcional: sócio fundador, Carga horária: 0

Outras informações:
desenvolvimento de sistemas para indústria - linguagem de programação: MUMPS

1983 - 1985

CONSELHO REGIONAL DE ENGENHARIA ARQUITETURA E AGRONOMIA

Vínculo: Outro, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
Análise e desenvolvimento de sistemas administrativos - linguagem de programação: MUMPS

1983 - 1983

Federação Nacional dos Funcionários da Caixa Econômica Federal

Vínculo: Outro, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
responsável pelo desenvolvimento dos sistemas de computação das empresas do Grupo FENAE

1982 - 1983

Projeto e Processamento de Sistemas Ltda

Vínculo: Outro, Enquadramento Funcional: programador, Carga horária: 40

Outras informações:
desenvolvimento e manutenção de sistemas de controle administrativos para indústria

1982 - 1982

Universidade Federal do Rio Grande do Sul

Vínculo: Outro, Enquadramento Funcional: estagiário, Carga horária: 20

Atividades

01/1982 - 06/1982
Estágios , Centro de Processamento de Dados Antigo, Npd.,Estágio realizado, programação ALGOL.

1982 - 1982

Eletrônica Digital Sa

Vínculo: Outro, Enquadramento Funcional: estagiário, Carga horária: 20

Atividades

07/1982 - 11/1982
Estágios .,Estágio realizado, programação COBOL & treinamento de usuários.