Jerusa Marchi

possui graduação em Ciência da Computação pela Universidade Estadual do Oeste do Paraná (1998), mestrado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2001) e doutorado em Engenharia Elétrica pela Universidade Federal de Santa Catarina (2006) e em Informática pela Université Toulouse I - Toulouse - França (2006), realizado em co-tutela. Atualmente é Professora Associada no Departamento de Informática e Estatística da Universidade Federal de Santa Catarina. Tem experiência na área de Ciência da Computação, com ênfase em Matemática da Computação, atuando principalmente nos seguintes temas: inteligência artificial (lógica e representação do conhecimento, processos de mudança de crenças, sistemas cognitivos), teoria da computação (reduções e satisfação booleana) e computação quântica.

Informações coletadas do Lattes em 09/08/2025

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2001 - 2006

Universidade Federal de Santa Catarina
Título: Operadores Sintáticos para Mudança de Crenças Baseados na Representação em Formas Normais Primárias
Orientador: em Université Toulouse 1 Capitole ( Christophe Sibertin-Blanc)
com , Ano de obtenção: 2006. Guilherme Bittencourt. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Inteligência Artificial; Belief Revision; Belief Update; Knowledge Representation.Grande área: Ciências Exatas e da Terra

Mestrado em Engenharia Elétrica

1999 - 2001

Universidade Federal de Santa Catarina
Título: Navegação de Robôs Móveis Autônomos: Estudo e Implementação de Abordagens
, Ano de Obtenção: 2001.Edson Roberto De Pieri.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Robôs Móveis Autônomos; Inteligência Artificial; Redes Neurais Artificiais.Grande área: Engenharias

Graduação em Ciência da Computação

1995 - 1998

Universidade Estadual do Oeste do Paraná
Título: SNNAP: Sistema Neural para Navegação em Ambientes Pré-Mapeados
Orientador: João Alberto Fabro

Pós-doutorado

2008 - 2009

Pós-Doutorado. , Universidade Federal de Santa Catarina, UFSC, Brasil. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Engenharias

Formação complementar

2004 - 2004

Planning and Scheduling:Bridging Theory to Pratice. (Carga horária: 4h). , European Coordinating Committee for Artificial Intelligence, ECCAI, França.

2001 - 2001

Robôs Móveis Inteligentes: Princípios e Técnicas. (Carga horária: 6h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

1998 - 1998

Engenharia da Informação. (Carga horária: 32h). , Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil.

1998 - 1998

Sistemas de Informação. (Carga horária: 16h). , Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil.

1998 - 1998

Seminarios em Engenharia de Software. (Carga horária: 16h). , Universidade Estadual do Oeste do Paraná, UNIOESTE, Brasil.

1997 - 1997

Treinamento Interno (Cursos e Palestras). (Carga horária: 29h). , Itaipu Binacional, IB, Brasil.

Idiomas

Inglês

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

Espanhol

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

Francês

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

Áreas de atuação

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

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Automação e Sistemas.

Organização de eventos

HILLESHEIM, J. ; JESUS, E. ; Marchi, J. ; SEQUEIRA, A. M. ; FREIRE, E. B. B. ; MOLARDI, G. R. ; MACANEIRO, L. P. ; LINS, M. A. T. ; CAVAGNOLI, F. F. ; CRUZ, F. R. M. ; REPETTI, G. J. ; MONTEIRO, J. O. S. ; SILVA, P. B. S. ; LIMA, R. C. C. ; GUERRA, Y. A. D. . I SEMINÁRIO IBERO-AMERICANO ?TIC E POLÍTICAS SOCIAIS?. 2025. (Outro).

DUZZIONI, E. I. ; SILVA, A. J. ; ALBUQUERQUE, C. D. ; GONCALVES, D. N. ; GONCALVES, D. S. ; MARQUEZINO, F. L. ; TEMPORAO, G. P. ; Marchi, J. ; DIAS, J. T. ; LIMA, L. B. ; ROSA, E. C. R. . VIII VIII Workshop-Escola de Computação e Informação Quântica & VIII Workshop de Computação Quântica - UFSC. 2025. (Outro).

DUZZIONI, E. I. ; ROSA, E. C. R. ; Marchi, J. ; MAFRA, P. M. ; CASTELLUCCI, P. B. ; PALMEIRA, E. ; ENGSTER, J. P. ; PIRES, O. M. ; LUSSI, E. W. ; CARNEIRO, G. M. L. ; BERTUZZI, L. ; BERNARDES, C. A. F. ; LOPES, R. L. M. ; OLIVEIRA, V. L. . 7o. Workshop de Computação Quântica. 2024. (Outro).

DUZZIONI, E. I. ; Marchi, J. ; ROSA, E. C. R. ; MAFRA, P. M. ; CASTELLUCCI, P. B. ; ENGSTER, J. P. ; PIRES, O. M. ; LUSSI, E. W. ; BERTUZZI, L. ; BERNARDES, C. A. F. ; CARNEIRO, G. M. L. ; TURATTI, G. . 6o. Workshop de Computação Quântica. 2023. (Outro).

DUZZIONI, E. I. ; Marchi, J. ; ROSA, E. C. R. ; CARNEIRO, G. M. L. . Dia Mundial Quântico: Lançamento QuBox UFSC. 2022. (Exposição).

Marchi, J. ; DUZZIONI, E. I. ; MAFRA, P. M. ; ROSA, E. C. R. ; LUSSI, E. W. ; PIRES, O. M. ; CARNEIRO, G. M. L. ; MAGRO, G. T. ; BERTUZZI, L. ; BERNARDES, C. A. F. ; JESUS, T. A. ; CRUZ, T. S. . 5o Workshop de Computação Quântica. 2022. (Outro).

Marchi, J. ; DUZZIONI, E. I. ; MAFRA, P. M. ; FREITAS, G. B. ; SANTIAGO, R. ; ROSA, E. C. R. ; PIRES, O. M. ; LUSSI, E. W. ; MAGRO, G. T. ; GALLARZA, T. H. ; CARNEIRO, G. M. L. ; CAFACE FILHO, C. A. ; GOES, C. B. D. ; BOSO, D. ; CRUZ, T. S. . 4o Workshop de Computação Quântica. 2021. (Outro).

DUZZIONI, E. I. ; Marchi, Jerusa ; MAFRA, P. M. ; CAFACE FILHO, C. A. ; FREITAS, G. B. ; ROSA, E. C. R. ; PIRES, O. M. ; GOES, C. B. D. . 3o Workshop de Computação Quântica. 2020. (Outro).

Marchi, J. ; Silveira, R.A. ; Hubner, J.F. ; Zambiasi, S. P. ; LUGO, G. A. G. ; ZATELLI, M. ; VAZ, G. . 13o. Wessac - Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações. 2019. (Congresso).

DUZZIONI, E. I. ; Marchi, J. ; MAFRA, P. M. ; ROSA, E. C. R. ; CRISPIM, A. L. ; GOES, C. B. D. ; GOETTEMS, E. I. ; POLLACHINI, G. G. ; PIRES, O. M. ; SOUZA, R. A. D. G. ; SOUSA, L. C. . 2o Workshop sobre Computação Quântica. 2019. (Outro).

CORTES, M. I. ; Marchi, J. ; VASCONCELOS, E. . 12th Workshop Escola de Agentes, Ambientes e Aplicações. 2018. (Congresso).

DUZZIONI, E. I. ; TAKETANI, B. G. ; BALDISSERA , F. ; MAFRA, P. M. ; Marchi, J. ; CRISPIM, A. L. ; GOES, C. B. D. ; GOETTEMS, E. I. ; ROSA, E. C. R. ; POLLACHINI, G. G. ; PEREIRA, H. A. ; SOUSA, L. C. ; PIRES, O. M. ; SOUZA, R. A. D. G. ; CALEGARI, S. . 1o. Workshop sobre Computação Quântica. 2018. (Outro).

Hubner, J.F. ; Brandão, A.A.F. ; Silveira, R.A. ; Marchi, Jerusa . Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações. 2012. (Outro).

Marchi, J. . Semana Acadêmica dos Cursos de Sistemas de Informação e Desenvolvimento para Web. 2007. (Outro).

Marchi, J. . 12th Workshop on Logic, Language, Information and Computation. 2005. (Congresso).

Marchi, J. . SECOMFI - Semana de Computação de Foz do Iguaçu. 1998. (Outro).

Participação em eventos

15ᵗʰ Workshop-School on Agents, Environments, and Applications. Melhorias na Sintaxe da Linguagem Jason. 2021. (Congresso).

1er Foro Internacional de Vocaciones Científicas.Computer Science Career: connecting you to the future. 2021. (Encontro).

WESAAC'2020 - 14o. Workshop Escola de Sistemas de Agentes, seus Ambientes e apliCações. 2019. (Encontro).

XII WESAAC - Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações. Modelo de Fusão de Dados com Incerteza para Consciência Situacional. 2018. (Congresso).

AAMAS 2017 - 16th International Conference on Antonomous Agents and Multiagent Systems. 2017. (Congresso).

Wesaac'2017 - 11th Workshop-School on Agents, Environments, and Applications.Composição de Agentes EBDI: Integração WASABI-Jason. 2017. (Encontro).

XX Semana Acadêmica da Computação - SECCOM.Algumas palavras sobre Computação: Passado, Presente e Futuro. 2017. (Outra).

XXXVI Congresso da Sociedade Brasileira de Computação. Blum axioms and nondeterministic computation of functions. 2016. (Congresso).

Wesaac - VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações.TrustE - An Emotional Trust Model for Agents. 2013. (Outra).

4a Semana Acadêmica da UFLA.Robótica Móvel. 2010. (Outra).

Simpósio Brasileiro de Automação Inteligente (SBAI'09).Workshop Guilherme Bittencourt. 2009. (Simpósio).

XXIX Congresso da Sociedade Brasileira de Computacão. Formas Normais Primárias Aplicadas à Fusão de Crenças. 2009. (Congresso).

12th Workshop on Logic, Language, Information and Computation. 12th Workshop on Logic, Language, Information and Computation. 2005. (Congresso).

Mexican International Conference on Artificial Intelligence. A Syntactical Approach to Belief Update. 2005. (Congresso).

World Conference and School on Universal Logic. Prime Forms and Belief Revision. 2005. (Congresso).

Brazilian Symposium on Artificial Intelligence. Propositional Reasoning for an Embodied Cognitive Model. 2004. (Congresso).

European Conference on Artificial Intelligence. A Syntactical Approach to Revision. 2004. (Congresso).

Journées Nationales sur les Modèles de Raisonnement.What´s in a name?. 2003. (Encontro).

XXI Congresso da Sociedade Brasileira de Computação. Abordagens à Navegação de Veículos Móveis Autônomos: Construção de Sistemas Utilizando Técnicas de Inteligência Artificial. 2001. (Congresso).

XIII Congresso Brasileiro de Automática. XIII Congresso Brasileiro de Automática. 2000. (Congresso).

Congresso Brasileiro de Redes Neurais. SNNAP - Sistema Neural para Navegação em Ambientes Pré-Mapeados. 1999. (Congresso).

III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE.SNNAP - Sistema Neural para Navegação em Ambientes Pré-Mapeados. 1998. (Encontro).

I Semana de Computação de Foz do Iguacu.SNNAP - Sistema Neural para Navegação em Ambientes Pré-Mapeados. 1998. (Encontro).

IV Seminário de Informática. 1997. (Seminário).

III Seminário de Informática. 1996. (Seminário).

Participação em bancas

Aluno: Henrique Monteiro Rogich Jasinski

TACLA, C. A.; ESPINOZA, M. M. M. M.; SANCHEZ, J. C. N.;Marchi, J.. Generating Constrastive Explanations for BDI-Based Goal Selection. 2022. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Munyque Mittelmann

COMUNELLO, E.; BRIGNOLI, J.; SANTIAGO, R.;Silveira, R.A.Marchi, J.. Método de Inferência em Redes Fuzzy-Bayesianas Dinâmicas para Tratamento de Incertezas. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Miguel Júlio Zinelli da Costa Júnior

ADAMATTI, D. F.; BARBOSA, R. M.; BILLA, C. Z.; SOUZA, R. R. G. E.;Marchi, J.. Usabilidade e emoções: um estudo de caso em jogos digitais. 2018. Dissertação (Mestrado em Engenharia de Computação) - Universidade Federal do Rio Grande.

Aluno: Taciane Martimiano

BELLA, G.; MARTINA, J. E.;Marchi, J.WESTPHALL, C. M.. A MECHANISATION FOR FORMAL ANALYSIS OF SECURITY CEREMONIES. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Frederico Amorim Dacoregio

MARCHIORI, F. F.; PALIARI, J. C.; GOMES, W. J. S.;Marchi, J.. Estimativa Preliminar de Custos de Obras utilizando Redes Neurais Artificiais. 2017. Dissertação (Mestrado em Engenharia Civil) - Universidade Federal de Santa Catarina.

Aluno: Lucas Pandolfo Perin

ARANHA, D.; Roisenberg, M.;Marchi, J.. Formulas for p-th Root Computations in Finite Fields of Characteristic p Using Polynomial Basis. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Emmanuel Katende Dinanga

Hubner, J.F.Marchi, J.; MORENO, U. F.; KRAUS JUNIOR, W.. Multiagent Systems Approach for Emergency Response Process Management. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Márcio Valério Weck Pereira

Roisenberg, M.;BAZZAN, A.Santos, E. R.Marchi, J.. Otimização Multimodal para Domínio Contínuo com Heurística de Agrupamento Adaptativo. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Thais Bardini Idalino

CUSTODIO, R. F.; MOURA, L.; HERNANDEZ, J. C. L.;DORNELES, C. F.Marchi, J.. Using combinatorial group testing to solve integrity issues. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Diogo de Campos

Silveira, R.A.; Roisenberg, M.;Marchi, J.; ADAMATTI, D. F.. Representação de dados semânticos em agentes BDI. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: José Rodrigo Ferreira Neri

Hubner, J.F.; LUGO, G. A. G.;Marchi, J.; STEMMER, M.; Rabelo, R.. Aplicação de Workflow na Organização de Sistemas Multiagentes. 2013. Dissertação (Mestrado em Pós-Graduação em Eng. de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Maicon Rafael Zatelli

Hubner, J.F.; Rabelo, R.; FRAGA, J. S.; BORDINI, R. H.;Marchi, J.. Integração de Agentes, organização e ambiente na integração de sistemas multiagentes. 2013. Dissertação (Mestrado em Pós-Graduação em Eng. de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Tiago Luiz Schmitz

Hubner, J.F.Marchi, J.; Sichman, J.S.; Rabelo, R.. Crenças de Grupo como Instrumento de Formação da Reputação. 2011. Dissertação (Mestrado em Pós-Graduação em Eng. de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Alexandre Erwin Ittner

Marchi, J.. Implementação e Avaliação de Abordagens Heurísticas para o Problema do Roteamento de Cabos em Painéis Elétricos. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

Aluno: João Bosco A

Marchi, J.. Pereira Filho. Um Algoritmo de Filtragem Colaborativa Baseado em SVD. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Tiago de Souza Farias

MAZIERO, J.; RIBEIRO, A. D.; DUZZIONI, E. I.;Marchi, J.; MOMBACH, J. C. M.. REDES NEURAIS REVERSÍVEIS E CARACTERIZAÇÃO DE PROBLEMAS FÍSICOS ATRAVÉS DE PROGRAMAÇÃO DIFERENCIÁVEL. 2023. Tese (Doutorado em Física) - Universidade Federal de Santa Maria.

Aluno: HENRIQUE VIANA OLIVEIRA

MARTINS, A. T. C.; OLIVEIRA, P. T. G.;Marchi, J.; ALCANTARA, J. F. L.; WASSERMANN, R.. Propositional Belief Merging and Distributive Justice. 2018. Tese (Doutorado em ROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal do Ceará.

Aluno: Maicon Rafael Zatelli

Hubner, J.F.; BORDINI, R. H.; NUNES, I.; MONTEZ, C. B.; OLIVEIRA, R. S.;Marchi, J.. Exploiting Parallelism in the Agent Paradigm. 2017. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Oscar Alberto Chávez Bosquez

PARRA, M. P. P.;Marchi, J.; RODRIGUEZ, F. J. A.; OVANDO, M. A. W.; TELLO, A. A.. Modelando la Generación de Menús Nutritivos Empleando Técnicas de Inteligencia Artificial. 2016. Tese (Doutorado em División Académica de Informática y Sistemas) - Universidad Juárez Autónoma de Tabasco.

Aluno: Maiquel de Brito

Hubner, J.F.; COSTA, A. C. R.; LUGO, G. A. G.;Marchi, J.; Cury, J. E. R.; Stemmer, M. R.. A Model of Institutional Reality Supporting the Regulation in Artificial Institutions. 2016. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Tiago Luiz Schmitz

Hubner, J.F.; BORDINI, R. H.; COSTA, A. C. R.;Marchi, J.; CAMPONOGARA, E.; Stemmer, M. R.. Modelo Anímico para Raciocínio Normativo Organizacional de um Agente BDI. 2015. Tese (Doutorado em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Marcio Kléos Freire Pereira

MORTARI, C. A.Marchi, J.. Extensões de primeira ordem para a Lógica do Anúncio Público. 2015. Tese (Doutorado em Programa de Pós-Graduação em Filosofia) - Universidade Federal de Santa Catarina.

Aluno: Maiquel de Brito

Hubner, J.F.Marchi, J.; Stemmer, M. R.; Cury, J. E. R.. Um Modelo de Instituição Artificial Situada. 2014. Exame de qualificação (Doutorando em Pós-Graduação em Eng. de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Marcio Kléos Freire Pereira

MORTARI, C. A.; ARENHART, J. R. B.; KRAUSE, D.;Marchi, J.. Extensões de primeira ordem para a Lógica do Anúncio Público. 2014. Exame de qualificação (Doutorando em Filosofia) - Universidade Federal de Santa Catarina.

Aluno: Maicon Rafael Zatelli

Hubner, J.F.; BORDINI, R. H.;Marchi, J.. Exploiting Parallelism in the Agent Paradigm. 2014. Exame de qualificação (Doutorando em Pós-Graduação em Eng. de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Tiago Luiz Schmitz

Hubner, J.F.; COSTA, A. C. R.;Marchi, J.; STEMMER, M.. Modelo Anímico para Raciocínio Normativo Organizacional de um Agente BDI. 2013. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

Aluno: Munyque Mittelmann

WANGENHEIM, A. V.Marchi, J.Silveira, R.A.; NASSAR, S. M.. Modelo de Fusão de Dados com Incerteza para Consciência Situacional. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Miguel Júlio Zinelli da Costa Júnior

BILLA, C. Z.; ADAMATTI, D. F.;Marchi, J.. Usabilidade e Emoções: um Estudo de Caso em Jogos Digitais. 2017. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande.

Aluno: Frederico Amorim Dacoregio

GOMES, W. J. S.; MARCHIORI, F.;Marchi, J.. ESTIMATIVA PRELIMINAR DE CUSTOS DE OBRAS UTILIZANDO REDES NEURAIS ARTIFICIAIS. 2017. Exame de qualificação (Mestrando em Mestrado em Engenharia Civil - ECV/UFSC) - Universidade Federal de Santa Catarina.

Aluno: Felipe Demarchi

Silveira, R.A.; WILLRICH, R.;Marchi, J.. Integração de Agentes com Bases Ontológicas Heterogêneas Aplicadas a Web Semântica. 2016. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Felipe Born de Jesus

Marchi, J.DORNELES, C. F.; WILLRICH, R.. An Extensible Multi-Criteria Framework for Ranking Personalization. 2015. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Boppré Niehues

CUSTODIO, R. F.;Marchi, J.; MARTINA, J. E.. Fast Reduction in GF(2^m) Using Trinomials. 2015. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Pandolfo Perin

CUSTODIO, R. F.;Marchi, J.; MARTINA, J. E.. Formulas for P-th Root in Finite Fields of Characteristic P. 2015. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Edwaldo Ramos de Brito Monteiro

PLENTZ, P. D. M.; SIQUEIRA, F. A.;Marchi, J.. Mecanismo de previsão de perda de deadline para Navegação de Robôs Móveis Autônomos. 2013. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Jhonata Geraldo Botelho

KOLIVER, C.;Marchi, J.; LUCCA, J. E.. ChatGPT e Educação: Testes em Provas Padronizadas e Investigação de Limitações. 2024. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Isabella Viviani de Aquino

TYSKA, J.;DORNELES, C. F.; FILETO, R.;Marchi, J.. Extracting Information from Brazilian Legal Documents with Retrieval-Augmented Generation. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Naiara Sachetti

TYSKA, J.; MEINHARD, C.;Marchi, J.Santos, E. R.. Curriculum Learning aplicado a um fluxo de otimização lógica de circuitos digitais baseado em Programação Genética Cartesiana. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Leonardo Vieira Nunes

TYSKA, J.; CASTRO, M. B.;Marchi, J.. Detecção de conluio em licitações utilizando algoritmos de machine learning. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Bernardo Ferrari Mendonça

FONSECA, A. M. C. A.; SANTIAGO, R.;Marchi, J.. UNIVERSIDADE FEDERAL DE SANTA CATARINA CENTRO TECNOLÓGICO DEPARTAMENTO DE INFORMÁTICA E ESTATÍSTICA CIÊNCIA DA COMPUTAÇÃO Bernardo Ferrari Mendonça A programming language with re昀椀nement types and its LLVM-IR front end implementation. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Gabriel Medeiros Lopes Carneiro

CASTELLUCCI, P. B.; SANTIAGO, R.;Marchi, J.. Problema de empacotamento de retângulos: avaliação de métodos de solução baseados em bottom-left. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Eduardo Henke

FRANCO, A. J. P.; XIA, L.; ZATELLI, M.;Marchi, Jerusa. Implementação de uma linguagem com sistema de tipos dependentes. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Daniel Boso

DUZZIONI, E. I.;Marchi, J.; MAFRA, P. M.; CUSTODIO, R. F.. Estudo de algoritmos criptográficos pós-quânticos e seus custos. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Thiago Sant? Helena da Silva

DORNELES, C. F.; MELLO, R. S.;Marchi, J.. SWITCH: EXECUTANDO SPARQL SOBRE NEO4J. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Robson Zagre Júnior

ZATELLI, M.; Roisenberg, M.;Marchi, J.. KITSUNE AI: UMA ARQUITETURA UTILIZANDO AGENTE BDI E APRENDIZAGEM POR REFORÇO PARA JOGAR JOGOS DE NES. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Rodolfo Dartora da Silva

TYSKA, J.; SANTIAGO, R.;Marchi, Jerusa. APRENDIZADO BASEADO EM CURRÍCULO APLICADO À ROBÓTICA ADAPTATIVA. 2022. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Gabriel Baiocchi de Sant Anna

Marchi, Jerusa; JAHIER, E.; COHEN, A.; RAYMOND, P.. Make UNCOL cool again. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Jan Pierry Coelho dos Santos

Hubner, J.F.Silveira, R.A.Marchi, J.. Refatoração da linguagem Jason. 2021. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Matheus Henrique Schaly

Roisenberg, M.;Santos, E. R.Marchi, J.. Aplicação de Aprendizado de Máquina na Classificação de Litofácies. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: João Vitor Cardoso

WESTPHALL, C. B.; SOUZA, C. A.;WESTPHALL, C. M.Marchi, J.. Abordagem de Detecção de Intrusão baseada em Redes Neurais no contexto de Internet das Coisas. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Finger Roman

ZATELLI, M.;Marchi, J.FRANCO, A. J. P.. Geometricks: Um framework de estruturas de dados geométricas em C++. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Christian Zirke Osta

MARIANI, A. C.;Santos, E. R.Marchi, J.. Análise Comparativa de Algoritmos de Caminho de Custo Mínimo Aplicado em Redes de Fibra Óptica. 2019. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: [Nome removido após solicitação do usuário]

MORTARI, C. A.Santos, E. R.Marchi, J.. MÁQUINAS DE TURING NÃO-DETERMINÍSTICAS COM COMBINADORA PARA A COMPUTAÇÃO DE FUNÇÕES. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Caique Rodrigues Marques

ZATELLI, M.;SILVEIRA, R. A.Marchi, J.. Apresentação da Demonstração da Equivalência entre Computabilidade e Lambda Definibilidade: um estudo do trabalho de Alan TuringModelos equivalentes a Máquinas de Turing. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Felipe Falconi Senna e Virgínia Angélica Reck

NASSAR, S. M.; MITTELMANN, M.; BRIGNOLI, J.;Marchi, J.. Framework para Modelagem de Sistemas Fuzzy-Bayesianos com Variáveis Não-Dicotômicas. 2019. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Rafael Judar Vicchini

Roisenberg, M.;Santos, E. R.Marchi, J.. Inteligência Artificial Aplicada sobre o Problema de Otimização do Planejamento da Operação Hidroelétrica de Médio Prazo no Brasil. 2019. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Henry Rodrigues da Silva

Santos, E. R.; ZATELLI, M.;Marchi, J.. Linguagem de Programação VES. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Bruno Manica

EYNG, J.;Santos, E. R.Marchi, J.. Mini Carro Autônomo com Deep Learning. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Fabrizio Menezes Krukoski

ZATELLI, M.;SILVEIRA, R. A.Marchi, J.. Implementação e análise de resultados de diferentes algoritmos no ambiente 2D simulado da RoboCup. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Arthur Bridi Guazzelli

Roisenberg, M.; SANTIAGO, R.;Marchi, J.. Classificação de Fácies Sísmicas por Redes Neurais Convolucionais. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Evandro Sperfeld Coan

SANTIAGO, R.;FRANCO, A. J. P.Marchi, J.. Uma Ferramenta de Formatação Programável por Gramáticas. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Evandro Chagas Ribeiro da Rosa

TAKETANI, B. G.; DUZZIONI, E. I.;Marchi, J.. QSystem: simulador quântico para Python. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Otto Menegasso Pires

DUZZIONI, E. I.;TAKETANI, B. G.Marchi, J.. Síntese de Circuitos Quânticos usando Projective Simulation. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Cavalcante de Sousa

DUZZIONI, E. I.; MAFRA, P. M.; POLLACHINI, G. G.;Marchi, J.. Modelos Computacionais Quânticos. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Nathan Frois Pereira Paiva

Roisenberg, M.; MAZZUTTI, T.;Marchi, J.Santos, E. R.. Pesquisa em simulação de evacuação de multidões utilizando Incremental Neuro-Fuzzy Gaussian Mixture Network. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Thiago Diniz da Silveira

Santos, E. R.; Gelaim, T. A.;Marchi, J.. Reconhecimento de Movimentação Corporal Utilizando Redes Neurais. 2018. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Giovani Goraiebe Pollachini

UCHOA FILHO, B. F.;Marchi, J.; DUZZIONI, E. I.. Computação Quântica: Uma abordagem para estudantes de graduação em Ciências Exatas. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica) - Universidade Federal de Santa Catarina.

Aluno: Daniela de Oliveira Preto

Roisenberg, M.;Santos, E. R.Marchi, J.. RECONHECIMENTO DE PLACAS DE TRÂNSITO POR MEIO DE DEEP LEARNING. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Valdir Luiz Hofer Arnhold

Marchi, J.; Gelaim, T. A.;SILVEIRA, R. A.; ZATELLI, M.. Implementação de um framework para o desenvolvimento de agentes como sistemas multi-contexto. 2018. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Décio Moritz Júnior

Marchi, J.; Roisenberg, M.;Santos, E. R.. Classificação de Editais Licitatórios em Áreas de Atuação Baseado em Aprendizado Supervisionado. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Ana Cristina Medaglia Dyonisio

Marchi, J.Santos, E. R.SILVEIRA, R. A.. Demonstração da Adequação do Operador BPM aos Postulados de Fusão de Crenças. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Klaus Victor Kuhr

Marchi, J.Silveira, R.A.Santos, E. R.. O uso da IA para Criação Procedural de Conteúdo Espacial em Jogos. 2018. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Daniela de Oliveira Preto

Roisenberg, M.;Santos, E. R.Marchi, J.. Reconhecimento de Imagens de Placas de Trânsito usando Deep Learning. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Caio Cargnin Cardoso

Santos, E. R.Marchi, J.; Gelaim, T. A.. Redes Neurais Para Detecção de Pessoas em Dispositivos Raspberry PI. 2018. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Jair da Rosa Junior

Santos, E. R.Marchi, J.; Roisenberg, M.. Desenvolvimento de um sistema de reconhecimento automático de emoções através da voz. 2017. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Augusto Vieira Ávila

KOMOSINSKI, L. J.; SIQUEIRA, F. A.;Marchi, J.. PROGRAMAÇÃO FUNCIONAL E REATIVA APLICADA AO DESENVOLVIMENTO DE INTERFACES COM O USUÁRIO EM APLICAÇÕES PARA WEB. 2017. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Ghabriel Calsa Nunes

FURTADO, O. J. V.;Marchi, J.Santos, E. R.. Simulador de Autômatos e Máquinas de Turing. 2017. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Quenio Cesar Machado dos Santos

WAZLAWICK, R. S.;Silveira, R.A.Marchi, J.. Reusando Modelos Conceituais: Uma Linguagem e Compilador Extensível. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Marina da Silva Coelho

CUSTODIO, R. F.; MOURA, L.;Marchi, J.; PEREIRA, A. S. S.. Quebra-Cabeças Criptográficos. 2017. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: José Victor Feijo de Araujo

Santos, E. R.Marchi, J.SILVA, A. G.. Análise e Classificação de imagens para aplicação de OCR em cupons fiscais. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Quenio Cesar Machado dos Santos

WAZLAWICK, R. S.;Silveira, R.A.Marchi, J.. CML - Conceptual Modeling Language. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Ricardo Boschini Albuquerque Passarella

Santos, E. R.SILVEIRA, R. A.Marchi, J.. Desenvolvimento de uma abordagem de cooperação em sistemas multiagentes. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Rodrigo Rodrigues Pires de Mello

SILVEIRA, R. A.Santos, E. R.Marchi, J.. Proposta de um protocolo de negociação em sistemas multiagente para agendamento automático de reuniões. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Vitor Arins Pinto

Rech, L. O.SILVEIRA, R. A.Marchi, J.. Redes Neurais Convolucionais de Profundidade para Reconhecimento de Textos em Imagens de CAPTCHA. 2016. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Mateus Dubiela Oliveira

CAMPONOGARA, E.; FROHLICH, A. A.;Marchi, J.. Escalonamento de Bombas Pumpoff. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Boppré Niehues

FURTADO, O. J. V.; LUCCA, J. E.;Marchi, J.. Estudo e criação de um editor de código estruturado. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Felipe dos Santos Silveira

Silveira, R.A.; FURTADO, O. J. V.;Marchi, J.. Alocação de Registradores Utilizando Inteligência Artificial. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Thiago Ângelo Gelaim

Silveira, R.A.Santos, E. R.Marchi, J.; FILETO, R.. Similaridade em Lógica Descritiva. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Matheus Bassi Blank Gonçalves

Silveira, R.A.Marchi, J.Santos, E. R.. Implementação de um interpretador Prolog com extensão para lógica modal a o. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Paulo Rogério de Pinho Filho

Rech, L. O.Marchi, J.; Lung, L. C.. Determinação de itinerário de agentes móveis com algoritmos genéticos. 2012. Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina.

Aluno: Rodrigo Tridapalli Fóes Linhares

Silveira, R.A.Marchi, J.Santos, E. R.. Uma Linguagem Imperativa para Descrição de Sistemas Multi-agente BDI. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Henrique Grolli Bassotto

FURTADO, O. J. V.; LUCCA, J. E.;Marchi, J.. Extensão da Linguagem e Implementação de Interpretador para Orderly. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Lucas Martins Silva

FURTADO, O. J. V.; LUCCA, J. E.;Marchi, J.. Uma Máquina Virtual para uso didático. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Jéssica Pauli de Castro Bonson

Santos, E. R.Silveira, R.A.Marchi, J.. Aplicação de Agentes & Artefatos para o desenvolvimento de uma ferramenta de autoria de objetos de aprendizagem. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Diogo de Campos e Maurício Oliveira Haensch

Silveira, R.A.Marchi, J.Hubner, J.F.. Uma plataforma para desenvolvimento de Sistemas Multiagente BDI na Web. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Márcio Valério Weck Pereira

Roisenberg, M.; CONTI, C. R.; Dovicchi, J.C.;Marchi, J.. Caracterização de Reservatórios utilizando Inversão Sísmica através de Redes Neurais Artificiais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Sergio Surkamp

Marchi, J.; Oliveira Jr., V. M.; Zambiasi, S. P.. Inteligência Artificial Distribuída Aplicada a Jogos: Um modelo de Simulador de Combates. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas da Informacão) - Faculdades Barddal.

Aluno: Caio Giannini de Cunto

Marchi, J.; Wangham, M.S.; Velloso, B.P.. Análise e Prototipação de Sistema de Geo-Processamento para Auxílio em Processos Logísticos. 2007. Trabalho de Conclusão de Curso (Graduação em Sistemas da Informacão) - Faculdades Barddal.

Aluno: Andre Motta

Marchi, J.Peres, A.L.F.; Guimarães, D.R.. Uma proposta de Integracao para a CEASA/SC. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas da Informacão) - Faculdades Barddal.

Aluno: Juliano Bartelli

Marchi, J.Peres, A.L.F.; Zambiasi, S. P.. Reconhecimento de Estradas em Imagens de Mapas Através do uso de Redes Neurais Artificiais. 2005. Trabalho de Conclusão de Curso (Graduação em Sistemas da Informacão) - Faculdades Barddal.

Aluno: Daniele Erica Damke

Marchi, J.; Hashissuca, A.M.;Fabro, J.A.. Solucão de Problemas de Controle de Robôs Móveis Autônomos Reais. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Oeste do Paraná.

Aluno: Adriana Becker

Marchi, J.; Pereira, E.N.;Fabro, J.A.. Técnicas para Controlar um Robô Móvel Tridimensional Bípede Simulado em um Concurso de Judô Robótico. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Oeste do Paraná.

Aluno: Gláucia Cristina de Souza Sonda

Marchi, J.; Mauricio, C.R.M.; Araujo, A.P. de;Fabro, J.A.. Robótica Móvel Inteligente Baseada em Técnicas da Inteligência Computacional. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Oeste do Paraná.

FURTADO, O. J. V.; URRUTIA, S. A.;Marchi, J.. Concurso Público, Edital no. 033/DDP/2016. 2016. Universidade Federal de Santa Catarina.

Gonçalves, A.L.;Marchi, J.; Lages, W.F.; Rautengerg, S.; Kniess, J.. Concurso Público, Edital no. 130/DDPP/2011. 2012.

Peres, A.L.F.Marchi, J.; Lages, W.F.; Baldo, F.; Tramontin Jr., R.J.. Concurso Público, Edital no. 120/DDPP/2011. 2011.

Orientou

Mariana Mazzo Heitor

Agente inteligente para verificação de indício de fraude em edital de licitação; Início: 2025; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Felipe Del Corona Losso

SISTEMA DE APOIO A DECISÃO CLÍNICA PARA O DIAGNÓSTICO DE ÚLCERAS VASCULARES; Início: 2025; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Victor Hugo Bonacina Pergher

Otimização de Medidas Quânticas: Implementação e Integração no Runtime LibKet; Início: 2025; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Felipe Del Corona Losso

SISTEMA DE APOIO A DECISÃO CLÍNICA PARA O DIAGNÓSTICO DE ÚLCERAS VASCULARES; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Alexis Mendes Sequeira

Consequências da Automatização do Atendimento Online da Previdência Social; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Gabriel Turatti

Implementação de um simulador de circuitos Clifford no Ket; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Marcelo José Dias

Implementação de Rede Bayesianas Fuzzy Dinâmicas; Início: 2020; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

Gabriel Reimann Cervi

Simulador quântico portátil para a linguagem de programação Ket com fins educacionais e de pesquisa - parte III; Início: 2025; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; (Orientador);

Arthur da Fonseca Erpen

Céos: Inteligência de Dados para a Sociedade - auxílio à tomada de decisão inteligente em domínios complexos do setor público; Início: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Ruan Luiz Molgero Lopes

Desenvolvimento da plataforma de Computação Quântica Ket; Início: 2024; Iniciação científica (Graduando em Sistema de Informação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Otto Menegasso Pires

A quantum heuristic for the School Timetabling Problem; 2021; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jerusa Marchi;

Munyque Mittelmann

Método de Inferência em Redes Fuzzy-Bayesianas Dinâmicas para Tratamento de Incertezas; 2019; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jerusa Marchi;

Eduardo Burgel

Accelerated incremental listwise learning to rank for collaborative filtering; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, ; Orientador: Jerusa Marchi;

Darlan Anschau

Arquitetura de ambiente inteligente de aprendizagem utilizando lógica temporal; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jerusa Marchi;

André Brasil Vieira Wyzykowski

APERFEIÇOAMENTO DO ALGORITMO ORB PARA O CASAMENTO COMPLETO E INVARIANTE ÀS TRANSFORMAÇÕES AFINS; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jerusa Marchi;

Jhonatan Alves

Uma abordagem baseada em planejamento não-determinístico e SAT para a composição resiliente e automática de web services; 2016; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jerusa Marchi;

Thiago Ângelo Gelaim

Modelo de Agentes E-BDI Integrando Confiança Baseado em Sistemas Multi-Contexto; 2016; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jerusa Marchi;

Guilherme Klein Bitencourt

Um Modelo de Confiança Baseado em Emoções para Agentes; 2014; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina, ; Coorientador: Jerusa Marchi;

Jhonatan Alves

Síntese automática de normas eficientes para sistemas multiagente; 2024; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Jerusa Marchi;

Daniel Felipe Schröder

Sistema de Gestão de Compras para a Empresa Xibuco; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Vitor Della Torre dos Santos

Rosetta: um Webservice Didático para Auxiliar no Aprendizado da Conversão de Expressões Regulares em Autômatos Finitos Determinísticos; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

João Jandre Paraquetti

Predição de Ocupação de Leitos Hospitalares de Terapia Intensiva no Curto Prazo Utilizando Redes Neurais Artificiais; 2023; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Enzo Coelho Albornoz

Avaliação automática de questões sobre Autômatos e Linguagens Formais na plataforma Moodle; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Gabriel Campos Albino

Aplicação de algoritmos genéticos ao problema de agendamento de horários em instituições de ensino; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Gilson Trombetta Magro

Complexity of Integer Factorization analisys via Adiabatic Quantum Computing; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Teo Haeser Gallarza

Análise do Crossover Point do Problema da Satisfação Booleana Utilizando o Algoritmo Quântico de Grover; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Eduardo Willwock Lussi

Análise comparativa de técnicas de mitigação de erros de decoerência em processos de computação quântica; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Jan Pierry Coelho dos Santos

Refatoração da linguagem Jason; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Gustavo Tarciso da Silva

Verificação de Isomorfismo de Grafos via Formas Normais Primárias; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Maurício Machado Barbosa

Classes de Complexidade Quânticas; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Caique Rodrigues Marques

Apresentação da Demonstração da Equivalência entre Computabilidade e Lambda Definibilidade: um estudo do trabalho de Alan TuringModelos equivalentes a Máquinas de Turing; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

[Nome removido após solicitação do usuário]

MÁQUINAS DE TURING NÃO-DETERMINÍSTICAS COM COMBINADORA PARA A COMPUTAÇÃO DE FUNÇÔES; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Christian Zirke Osta

Análise Comparativa de Algoritmos de Caminho de Custo Mínimo Aplicados à Redes de Fibra Óptica; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Rafael Judar Vicchin

Inteligência Artificial Aplicada sobre o Problema de Otimização do Planejamento da Operação Hidroelétrica de Médio Prazo no Brasil; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Henry Rodrigues da Silva

Linguagem de Programação VES; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Virgínia Angélica Reck e Felipe Falconi Senna

Framework para Modelagem de Sistemas Fuzzy-Bayesianos com Variáveis Não-Dicotômicas; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Ana Cristina Medaglia Dyonisio

DEMONSTRAÇÃO DA ADEQUAÇÃO DO OPERADOR BPM AOS POSTULADOS DE FUSÃO DE CRENÇAS; 2018; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Valdir Luiz Hofer Arnhold

IMPLEMENTAÇÃO DE UM FRAMEWORK PARA O DESENVOLVIMENTO DE AGENTES BDI COMO SISTEMA MULTI-CONTEXTO; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Décio Moritz Júnior

CLASSIFICAÇÃO DE EDITAIS LICITATÓRIOS EM ÁREAS DE ATUAÇÃO BASEADO EM APRENDIZADO SUPERVISIONADO; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Klaus Victor Kuhr

O USO DE IA PARA CRIAÇÃO PROCEDURAL DE CONTEÚDO ESPACIAL EM JOGOS; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Léo Vieira Peres

Complexidade de Circuitos Booleanos; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Augusto Fredigo Hack

Planejador automático no espaço de planos de ordem parcial; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

João Rogério Vieira Neto

Composição de Técnicas de Inteligência Artificial em uma Arquitetura Multinível em Agentes Cooperativos; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Thiago Berti Thomaz

Extração e Emulação de Personalidade em Jogos Eletrônicos; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Diego Gomes Couto

Compondo agentes EBDI via integração WASABI-Jason: Um estudo sobre a influência da personalidade no comportamento do agente; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Mariana Tuma de Athayde

Estudo e Implementação de um General Game Player; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

João Guilherme Zeni

Paralelização de um Algoritmo SAT Solver; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Wij Seemann

Proposta de um Algoritmo Estocástico para o Problema de Satisfazibilidade Booleana; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

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 Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Jhonatan Alves

Uma abordagem baseada em planejamento não-determinístico e SAT para a composição resiliente e automática de web services; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Murillo Lagranha Flores

Melhoramentos para o Algoritmo de Transformação Dual; 2012; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Paulo Eduardo Rauber

Análise da Solução do Problema do Caminho Hamiltoniano Através de Redução para o Problema da Satisfazibilidade Booleana; 2011; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Santa Catarina; Orientador: Jerusa Marchi;

Andre Motta

Uma proposta de Integracao para a CEASA/SC; 2005; Trabalho de Conclusão de Curso; (Graduação em Sistemas da Informacão) - Faculdades Barddal; Orientador: Jerusa Marchi;

Antônio Escobar Torres

Céos: Inteligência de Dados para a Sociedade - auxílio à tomada de decisão inteligente em domínios complexos do setor público; 2024; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jerusa Marchi;

Eduardo Willwock Lussi

Controle Quântico na Mitigação de Erros de Autômatos Finitos Quânticos; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jerusa Marchi;

Teo Haeser Gallarza

Desenvolvimento de oráculos para o algoritmo de Grover; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jerusa Marchi;

Tiago Royer

Algoritmos rápidos para a resolução do problema da satisfazibilidade booleana; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jerusa Marchi;

Joice Vetter

Ferramenta para Help Desk usando Raciocínio Baseado em Casos; 2007; Iniciação Científica; (Graduando em Sistemas da Informacão) - Centro Universitário Leonardo da Vinci, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Orientador: Jerusa Marchi;

Produções bibliográficas

HILLESHEIM, JAIME ; JESUS, E. ; Marchi, Jerusa . Tecnologia, política social e a estratégia nacional de governança digital no contexto brasileiro. REVISTA CUHSO , v. 34, p. 139-168, 2024.
Alves, J. ; Hubner, J.F. ; Marchi, J. . Exploring the Generality of Norms in Multi-Agent Systems. INTELIGENCIA ARTIFICIAL , v. 26, p. 60-80, 2023.
COLOMBO, JOÃO GUILHERME FRITSCHE ; Marchi, Jerusa . A nondeterministic Turing machine variant to compute functions. THEORETICAL COMPUTER SCIENCE , v. 902, p. 54-63, 2022.
MENEGASSO PIRES, OTTO ; INACIO DUZZIONI, EDUARDO ; Marchi, Jerusa ; DE SANTIAGO, RAFAEL . Quantum Circuit Synthesis Using Projective Simulation. INTELIGENCIA ARTIFICIAL , v. 24, p. 90-101, 2021.
ALARCON-NARVAEZ, D. ; HERNANDEZ-TORRUCO, J. ; HERNANDEZ-OCANA, B. ; CHAVEZ-BOSQUEZ, O. ; Marchi, J. ; MENDEZ-CASTILLO, J. J. . Toward a machine learning model for a primary diagnosis of Guillain-Barré syndrome subtypes. Health Informatics Journal , v. 27, p. 146045822110214, 2021.
ALARCON-NARVAEZ, D. ; Marchi, J. ; HERNANDEZ-TORRUCO, J. ; CHAVEZ-BOSQUEZ, O. ; HERNANDEZ-OCANA, B. . Clasificadores basados en reglas y selección de atributos para el diagnóstico clínico de subtipos del Síndrome de Guillain-Barré.. Research in Computer Science , v. 149, p. 41-53, 2020.
GELAIM, THIAGO ÂNGELO ; HOFER, VALDIR LUIZ ; Marchi, Jerusa ; SILVEIRA, RICARDO AZAMBUJA . Sigon: A multi-context system framework for intelligent agents. EXPERT SYSTEMS WITH APPLICATIONS , v. 119, p. 51-60, 2019.
VIEIRA NETO, J. R. ; Marchi, J. . Emergência de Comportamentos em Agentes Cooperativos através de Composição de Técnicas de Inteligência Artificial. REVISTA JUNIOR DE INICIAÇÃO CIENTÍFICA EM CIÊNCIAS EXATAS E ENGENHARIA , v. 19, p. 43-50, 2019.
Mittelmann, Munyque ; Marchi, Jerusa ; von Wangenheim, Aldo . Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 26, p. 69-80, 2019.
COUTO, D. ; Marchi, J. ; Gelaim, T. A. . Composição de Agentes EBDI: Integração WASABI-Jason. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 24, p. 112-129, 2017.
Silveira, R.A. ; BITENCOURT, G. K. ; GELAIM, THIAGO ANGELO ; Marchi, Jerusa ; PRIETA, F. L. . Towards a Model of Open and Reliable Cognitive Multiagent Systems: Dealing with Trust and Emotions. Advances in Distributed Computing and Artificial Intelligence Journal , v. 4, p. 57-86, 2015.
CHAVEZ-BOSQUEZ, O. ; PARRA, P. P. ; Marchi, J. . Nutritional Menu Planning: A Hybrid Approach and Preliminary Tests. Research on Computer Science , v. 82, p. 93-104, 2014.
Marchi, Jerusa ; Bittencourt, G. ; Perrussel, L. . Prime forms and minimal change in propositional belief bases. Annals of Mathematics and Artificial Intelligence , p. 1-45, 2010.
Mittelmann, Munyque ; Marchi, Jerusa ; von Wangenheim, Aldo . A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2019, v. , p. 314-323.
Marchi, J. ; Bittencourt, G. ; Perrussel, L. . Prime Forms and Belief Revision. In: Jean-Yves Beziau and Alexandre Costa-Leite. (Org.). Perspectives on Universal Logic. 1ed.: Polimetrica, 2007, v. , p. 365-377.
Marchi, J. ; Bittencourt, G. . An Embodied Logical Model for Cognition. In: Angelo Loula; Ricardo Gudwin; João Queiroz. (Org.). Artificial Cognition Systems. : IDEA Group Inc, 2006, v. , p. 27-64.
PIEROTTI, FELIPE M. ; E. M. JOCHEM, JOSÉ ; A. STEFFEN, MARIANA ; SOARES, DIOGO N. ; BENVENUTI, MARINA ; S. PEREIRA, BRENO ; G. BORNIA, LUÍS ; M. DOS SANTOS, MATHEUS ; A. GERONIMO, GUILHERME ; ZIBETTI, ANDRE W. ; DORNELES, CARINA F. ; T. CARVALHO, JÔNATA ; Marchi, Jerusa ; CASTRO, MÁRCIO ; FILETO, RENATO ; WERNER, SIMONE S. ; MELLO, RONALDO S. . Desenvolvimento de um Painel Integrado Inteligente para Auxílio na Identificação de Fraudes em Processos de Compras Públicas. In: Anais Estendidos do Simpósio Brasileiro de Banco de Dados, 2024, Brasil. Anais Estendidos do XXXIX Simpósio Brasileiro de Banco de Dados (SBBD Estendido 2024), 2024. p. 295.
PIRES, OTTO MENEGASSO ; DE SANTIAGO, RAFAEL ; Marchi, Jerusa . Two Stage Quantum Optimization for the School Timetabling Problem. In: 2021 IEEE Congress on Evolutionary Computation (CEC), 2021, Kraków. 2021 IEEE Congress on Evolutionary Computation (CEC), 2021. p. 2347-2353.
SANTOS, JAN PIERRY COELHO DOS ; HÜBNER, JOMI FRED ; Marchi, Jerusa . Melhorias na Sintaxe da Linguagem Jason. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2021, Brasil. Anais do XV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2021). p. 95-106.
ALVES, JHONATAN ; HÜBNER, JOMI FRED ; Marchi, Jerusa . The Impact of Norms Generality on MAS Goal. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2021, Brasil. Anais do XV Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2021). p. 83-94.
VIEIRA NETO, JOÃO ROGÉRIO ; Marchi, Jerusa . Composição de Técnicas de Inteligência Artificial em uma Arquitetura Multinível para Emergência de Comportamentos em Agentes Cooperativos. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2018, Brasil. Anais do XII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2018). v. 1. p. 61-72.
Mittelmann, Munyque ; Marchi, Jerusa ; WANGENHEIM, ALDO VON . Modelo de Fusão de Dados com Incerteza para Consciência Situacional. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2018, Brasil. Anais do XII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2018). v. 1. p. 109-120.
ANSCHAU, D. ; Marchi, J. ; Santos, E. R. . Sequencing Learning Objects with Temporal Logic Plans. In: 32nd International Conference on Computers and Their Applications (CATA 2017), 2017, Honolulu, Hawaii. Proceedings of the 32nd International Conference on Computers and Their Applications, 2017. p. 113-118.
BURGEL, E. ; Marchi, J. ; SPINOSA, E. J. . Fast Online Listwise Learning to Rank for Collaborative Filtering. In: 32nd International Conference on Computers and Their Applications (CATA 2017), 2017, Honolulu, Hawaii. Proceedings of the 32nd International Conference on Computers and Their Applications (CATA 2017), 2017. p. 107-112.
BRASIL, A. W. ; Marchi, J. ; MAFRA, P. M. . RHO-AFFINE-ORB: An Improved ORB Algorithm for Fully Affine Invariant Matching. In: 32nd International Conference on Computers and Their Applications (CATA 2017), 2017, Honolulu, Hawaii. Proceedings of the 32nd International Conference on Computers and Their Applications (CATA 2017), 2017. p. 179-184.
COUTO, DIEGO ; Marchi, Jerusa ; GELAIM, THIAGO Â. . Composição de Agentes EBDI: Integração WASABI-Jason. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2017, Brasil. Anais do XI Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2017). p. 23-34.
ANSCHAU, DARLAN ; Marchi, Jerusa ; RIZZON, ELDER . SMART ITS: um Sistema Tutor Inteligente para Flexibilização e Adaptação de Currículos. In: XXVIII Simpósio Brasileiro de Informática na Educação SBIE (Brazilian Symposium on Computers in Education), 2017, Recife, 2017. p. 1347-1356.
ALVES, JHONATAN ; Marchi, Jerusa . Web Service Composition: An Agent-Based Approach. In: 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, Uberlândia. 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017. p. 121-126.
ALVES, JHONATAN ; Marchi, Jerusa ; FILETO, RENATO ; DANTAS, MARIO A. R. . Resilient composition of Web services through nondeterministic planning. In: 2016 IEEE Symposium on Computers and Communication (ISCC), 2016, Messina. 2016 IEEE Symposium on Computers and Communication (ISCC). p. 895.
Royer, T. ; Marchi, J. . Blum axioms and nondeterministic computation of functions. In: XXXVI Congresso da Sociedade Brasileira de Computação - XXXV CTIC - Concurso de Trabalhos de Iniciação Científica, 2016, Porto Alegre-RS. Anais do XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 451-460.
GELAIM, THIAGO ANGELO ; SILVEIRA, RICARDO AZAMBUJA ; Marchi, Jerusa . Towards a Model of Cognitive Agents: Integrating Emotion on Trust. In: 2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI), 2015, Cuernavaca. 2015 Fourteenth Mexican International Conference on Artificial Intelligence (MICAI). p. 80-86.
BITENCOURT, GUILHERME K. ; SILVEIRA, RICARDO A. ; Marchi, Jerusa . TrustE - An Emotional Trust Model for Agents. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2013, Brasil. Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2013). p. 85-90.
BITENCOURT, G. K. ; Marchi, J. ; Silveira, R.A. . TrustE - An Emotional Trust Model for Agents. In: 11th European Workshop on Multi-Agent Systems, 2013, Toulouse. 11th European Workshop on Multi-Agent Systems, 2013.
Perrussel, L. ; Marchi, J. ; Thevenin, J-M. ; Zhang, D. . Relevant Minimal Change in Belief Update. In: 13th European Conference on Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA), 2012, Toulouse. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA), 2012. v. 7519. p. 333-345.
Perrussel, L. ; Marchi, J. ; Thevenin, J-M. ; Zhang, D. . Relevant Minimal Change in Belief Update. In: BNC 2012 - International Workshop on Belief change, Nonmonotonic reasoning, and Conflict resolution, 2012, Montpellier. BNC@ECAI 2012 - Belief change, Non-monotonic reasoning and Conflict resolution, 2012.
Marchi, J. ; Perrussel, L. . Prime Normal Forms in Belief Merging. In: FLAIRS-24 The 24th International FLAIRS Conference, 2011, Palm Beach. Proceedings of 24th International FLAIRS Conference, 2011. p. 1-6.
Perrussel, L. ; Marchi, J. ; Zhang, D. . Characterizing Relevant Belief Revision Operator. In: 23rd Australasian Joint Conference on Artificial Intelligence, 2010, Adelaide, SA. AI 2010: Advances in Artificial Intelligence, 2010. v. 6464. p. 42-51.
Marchi, J. ; Perrussel, L. ; Bittencourt, G. . Formas Normais Primárias Aplicadas à Fusão de Crenças. In: VII ENIA - Encontro Nacional de Inteligência Artificial, 2009, Bento Gonçalves - RG. Anais do XXIX Congresso da Sociedade Brasileira de Computação, 2009. p. 1-10.
Perrussel, L. ; Marchi, J. ; Bittencourt, G. . Quantum-Based Belief Merging. In: IBERAMIA, 2008, Lisboa. Proceedings of the 11th Ibero-American Conference on Artificial Intelligence. Heidelberg: Springer Berlin, 2008. v. 5290. p. 21-30.
Marchi, J. . Une nouvelle mesure de changement minimal. In: RFIA 2006 - 15e congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle, 2006, Tours. RFIA 2006, 2006. p. 1-9.
Marchi, J. ; Bittencourt, G. ; Perrussel, L. . A Syntactical Approach to Belief Update. In: 4th Mexican International Conference on Artificial Intelligence, 2005, Monterrey. MICAI 2005: Advances in Artificial Intelligence, 2005. v. 3789. p. 142-151.
Marchi, J. ; Bittencourt, G. ; Perrussel, L. . A Syntactical Approach to Revision. In: 16th European Conference on Artificial Intelligence, 2004, Valência. Proceedings of 16th European Conference in Artificial Intelligence, 2004. p. 788-792.
Marchi, J. ; Bittencourt, G. . Propositional Reasoning for an Embodied Cognitive Model. In: 17th Brazilian Symposium on Artificial Intelligence, 2004, São Luis do Maranhão. Advances in Artificial Intelligence SBIA'04. Heidelberg: Springer Berlin, 2004. v. 3171. p. 164-173.
Marchi, J. ; Bittencourt, G. ; Padilha, R.S. . A Syntactic Approach to Satisfaction. In: 4th Workshop on the Implementation of Logics, 2003, Almaty - Cazaquistão. Fourth Workshop on the Implementation of Logics, 2003. v. 1. p. 18-32.
Marchi, J. ; De Pieri, E.R. . Abordagens à Navegação de Veículos Móveis Autônomos: Construção de Sistemas Utilizando Técnicas de Inteligência Artificial. In: ENIA 2001 - Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001. v. I.
Marchi, J. ; Fabro, J.A. . SNNAP - Sistema Neural de Navegação em Ambientes Pré-Mapeados. In: IV Congresso Brasileiro de Redes Neurais, 1999, São José dos Campos. IV Congresso Brasileiro de Redes Neurais, 1999. v. I. p. 1-6.
Marchi, J. . Análise de Pontos por Função. In: I SECOMFI - Semana de Computação de Foz do Iguaçu, 1998, Foz do Iguaçu. Anais da I SECOMFI, 1998. p. 1-6.
Marchi, J. . Ferramentas CASE - Engenharia de Software Auxiliada por Computador. In: I SECOMFI - Semana de Computação de Foz do Iguaçu, 1998, Foz do Iguaçu. Anais da I SECOMFI, 1998. p. 1-6.
ALVES, JHONATAN ; HÜBNER, JOMI FRED ; Marchi, Jerusa . Uma Proposta Preliminar de Síntese Automática de Normas para Sistemas Multiagente. In: WorkshopEscola de Sistemas de Agentes, seus Ambientes e Aplicações, 2019, Brasil. Anais do XIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2019). p. 194.
Perrussel, L. ; Marchi, J. ; Bittencourt, G. . Prime Implicants and Belief Update. In: 22nd International FLAIRS Conference, 2009, Florida - USA. Proceedings of 22th International FLAIRS Conference, 2009.
Marchi, J. . Prime Forms and Belief Revision. In: 1st World Conference and School on Universal Logic, 2005, Montreux. 1st. World Conference and School on Universal Logic, 2005. p. 1-2.
Bittencourt, G. ; Marchi, J. . What´s in a name?. In: 3ème Journées Nationales sur les Modèles de Raisonnement, 2003, Paris. Troisiemes Journées Nationales sur les Modèles de Raisonnement, 2003. p. 301-301.
Marchi, J. ; Fabro, J.A. . SNNAP - Sistema Neural para Navegação em Ambientes Pré-Mapeados. In: III Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE, 1998, Presidente Prudente. Anais do III Encontro de Pesquisa e de Iniciação Científica da UNOESTE, 1998. v. 1. p. 51-51.
Marchi, J. ; SILVA, M. L. L. ; FAUSTINO, D. . Formulação e implementação das políticas sociais na ?era? da digitalização. 2025. (Apresentação de Trabalho/Seminário).
Marchi, J. . Complexidade Computacional. 2018. (Apresentação de Trabalho/Outra).
Marchi, J. . Few Words About Computation: Past, Present and Future. 2015. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Marchi, J. . SRA - Sistema de Registro de Atividade. 1998.

Marchi, J. ; Lehrer, C. . Sistema de Controle Acadêmico. 1997.

Marchi, J. . PFS - Pontos por Função dos Sistemas. 1997.

Marchi, J. ; Bittencourt, G. ; Perrussel, L. . A Syntactical Approach to Belief Revision. 2004. (Relatório de pesquisa).

Marchi, J. ; Rottava, L. ; Gonçalves, E.M.N. ; Castro, J.P. de ; De Pieri, E.R. . Robôs Móveis. 2002. (Desenvolvimento de material didático ou instrucional - Apostila).

Marchi, J. . Pontos por Função. 1998. (Curso de curta duração ministrado/Outra).

Marchi, J. . Pontos por Função. 1998. (Desenvolvimento de material didático ou instrucional - Apostila).

Marchi, J. ; Lehrer, C. . Microsoft Access 6.0. 1997. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

2023 - Atual

Céos: Inteligência de Dados para a Sociedade - auxílio à tomada de decisão inteligente em domínios complexos do setor público, Descrição: A quantidade de dados digitais sobre serviços e processos envolvendo pessoas, empresas e instituições públicas cresce a cada dia e com ela os desafios tecnológicos, que por sua vez, apresentam oportunidades para atualizar e aperfeiçoar o funcionamento dos organismos responsáveis pelo monitoramento desses dados. Sem técnicas e metodologias adequadas à análise e extração de conhecimento do grande volume de dados disponível neste cenário, perdem-se múltiplas oportunidades de melhorar a eficiência e a eficácia das ações de instituições controladoras, reguladoras e/ou defensoras, como é o caso do Ministério Público. Diante do exposto, surgiu a oportunidade de realizar este Projeto de Pesquisa com o Ministério Público de Santa Catarina, que tem como objetivo geral, o estudo, desenvolvimento e implementação de fluxos de trabalho (workflows) para coleta, integração, organização, processamento e análise de dados voltado à extração de conhecimento de forma automatizada ou semi-automatizada para apoiar a tomada de decisão nos processos inerentes às atividades do MP/SC, com o intuito de produzir impactos relacionados à ciência, tecnologia e formação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Jerusa Marchi - Integrante / Renato Fileto - Integrante / Carina Friedrich Dorneles - Integrante / Ronaldo dos Santos Mello - Integrante / Jônata Tyska - Coordenador / Andre Wust Zibetti - Integrante / Marcio Bastos Castro - Integrante., Financiador(es): Ministério Público de Santa Catarina - Cooperação., Número de produções C, T & A: 1 / Número de orientações: 1
2023 - Atual

Desenvolvimento da plataforma de Computação Quântica Ket, Descrição: O projeto concentra-se no desenvolvimento de um ecossistema de computação quântica, com foco na plataforma de programação Ket ( https://quantumket.org/ ), de código aberto. O esforço abrange quatro frentes principais, três delas referentes ao desenvolvimento da plataforma: a adaptação do Ket à execução em computadores quânticos reais; a implementação de bibliotecas para programação quântica, visando facilitar a aplicação e o desenvolvimento de algoritmos; e a implementação de soluções para problemas da indústria; a quarta frente está relacionada à formação de profissionais na área de computação quântica - utilizando de ambientes de simulação ( https://qubox.ufsc.br/ ) para ensino e pesquisa na área. Em suma, este projeto tem um caráter dual: alavancar o ecossistema nacional de computação quântica promovendo avanços significativos no campo da computação quântica e formar recursos humanos na área de computação quântica de forma a impulsionar sua aplicação prática e o desenvolvimento de soluções inovadoras. É importante ressaltar que o ecossistema proposto visa a construção de camadas de softwarenão quântico para dar suporte ao desenvolvimento de softwares quânticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Jerusa Marchi - Coordenador / Eduardo Inacio Duzzioni - Integrante / Evandro de Chagas Ribeiro da Rosa - Integrante / Pedro Belin Castellucci - Integrante / Juan Pablo de Lima Costa Salazar - Integrante., Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina - Auxílio financeiro.Número de orientações: 1
2023 - Atual

Computação Quântica na Região Sul do Brasil: Pesquisa Básica, Ensino e Aplicações, Descrição: A computação quântica é um campo da ciência que revolucionou a maneira de processar, armazenar e transmitir informação, podendo impactar todos os setores produtivos de uma sociedade. Este projeto visa colocar a região sul do Brasil como protagonista no desenvolvimento dessa tecnologia, não apenas no Brasil, mas no cenário mundial. Contudo, para que isto ocorra, precisamos capacitar os nossos estudantes e pesquisadores para atuar no setor, bem como preparar a nossa indústria para poder tirar proveito imediatamente após os processadores quânticos estarem funcionando sem erros, ou com algoritmos robustos de controle de erros, e em larga escala. Temos como proposta a formação de um forte grupo de pesquisadores envolvendo as universidades UFSC, UFSM, UDESC, UFPR e o Instituto SENAI de Inovação em Sistemas Embarcados (ISI-SE) para que de forma colaborativa possa avançar na pesquisa básica, formar mão de obra qualificada e através do ISI-SE levar essa tecnologia para a indústria catarinense e para o Brasil. Nosso time conta com vasta experiência na área de informação quântica, tanto na parte experimental quanto teórica, envolvendo pesquisadores(as) com formação em áreas como física, matemática, engenharia, ciência da computação e bioinformática. A instituição executora (UFSC) e a universidade parceira UFSM já possuem maturidade no campo específico desta chamada, a computação quântica, e contribuirão para a consolidação dos grupos de pesquisa nas demais instituições parceiras. Esse caráter multidisciplinar da equipe permitirá desenvolver uma ampla gama de projetos em computação quântica, desde testes dos fundamentos da teoria quântica através dos simuladores quânticos, podendo ser experimentos em óptica ou computadores quânticos acessíveis online, desenvolvimento de softwares para linguagens quânticas de programação e algoritmos quânticos para resolver problemas comerciais de interesse da indústria, para quebra de sistemas criptográficos e aprendizado de máquina.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (5) . , Integrantes: Jerusa Marchi - Integrante / Eduardo Inacio Duzzioni - Coordenador / Paulo Henrique Souto Ribeiro - Integrante / Pedro Belin Castellucci - Integrante / Juan Pablo de Lima Costa Salazar - Integrante / Jonas Maziero - Integrante / Juliana Kaizer Vizzotto - Integrante / Marcelo Serrano Zanetti - Integrante / Renato Moreira Angelo - Integrante / Alexandre Dias Ribeiro - Integrante / Ana Cristina Sprotte Costa - Integrante / Edgard Pacheco Moreira Amorim - Integrante / Daniel Vieira - Integrante / Rômulo Lucio Vale de Moares - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2023 - Atual

Os desafios do acesso e das intervenções profissionais nas políticas sociais diante das tecnologias de Informação e de comunicação (TIC)#8232;, Descrição: Projeto de pesquisa em Rede aprovado pelo CNPq no Edital Chamada n 40/2022 - Linha 1B - Projetos em Rede - Pesquisa em temas livres em Ciências Humanas, Ciências Sociais Aplicadas e Linguística, Letras e Artes, processo número 420482/2022-9. A pesquisa tem como principal problematização os impactos da intensificação das inovações tecnológicas no acesso aos serviços operacionalizados no âmbito do Instituto Nacional de Seguro Social (INSS) e nos Centros de Referência de Assistência Social (CRAS) e nas intervenções de profissionais que atuam nesses serviços, no contexto brasileiro, no período de 2014 a 2023. Pretende-se analisar como e se os usuários destas políticas têm acessado as novas tecnologias para ingressarem nos serviços e, simultaneamente, como os pro#64257;ssionais desenvolvem a gestão e operacionalização destas políticas fazendo uso das TIC.Tem-se observado que a incorporação das TIC nos serviços de Assistência e Previdência Social vem exigindo acompanhamento e monitoramento dos profissionais no que tange à análise do seu impacto em relação ao acesso e às implicações do uso destas ferramentas nas suas intervenções profissionais. Trata-se de pesquisa qualitativa e avaliativa que observa etapas, a saber:1)revisão bibliográfica sobre as transformações dos últimos 50 anos2)pesquisa documental sobre o desenvolvimento das TIC; regulamentações no âmbito da gestão pública, normativas internas e legislações sobre os direitos previdenciários e assistenciais; documentos das entidades representativas de trabalhadores, com enfoque na qualidade dos serviços e sobre as relações e condições laborais;3)pesquisa empírica com as seguintes etapas e instrumentos de coleta de dados: aplicação de questionário on-line (google forms) com gestores e formuladores das TIC; entrevistas semiestruturadas com profissionais que atuam nesses serviços; entrevistas e grupos focais com usuários, visando aprofundar as questões apontadas nas entrevistas.Espera-se poder intervir na elaboração de subsídios para a construção de indicadores de acesso às políticas sociais públicas via TIC, quali#64257;cando a efetividade social dos sistemas de informação;produzir conhecimento interdisciplinar relevante e inovador e formar quadros de excelência. OBJETIVOS Geral: Analisar os impactos da intensificação das inovações tecnológicas no trabalho de profissionais que atuam no âmbito das políticas de assistência e previdência social, e no acesso da população a essas políticas em face da intensificação do uso das Tecnologias da Informação e Comunicação (TIC) para sua operacionalização, no contexto brasileiro contemporâneo (2014-2023). Específicos #9679; Identificar e analisar quais TIC têm sido usadas no cotidiano de trabalho de categorias profissionais que atuam nas políticas de assistência e previdência social e como elas têm incidido na qualidade dos serviços e nas relações e condições laborais. #9679; Produzir conhecimento inovador que subsidie o desenvolvimento de tecnologias sociais potencializadoras do acesso da população vulnerável às políticas de assistência e previdência social, qualificando sua utilização. #9679; Formar recursos humanos altamente qualificados ao desenvolvimento de pesquisas e para as intervenções interdisciplinares e intersetoriais no âmbito das políticas de assistência e previdência social no contexto de intensificação do uso das TIC. O projeto visa a interação com outras áreas ou subáreas do conhecimento e possui caráter multi ou interdisciplinar com vistas à expansão da fronteira do conhecimento. A pesquisa envolve três equipes de trés universidade publicas e Programas de pós-graduação (UFRJ, UFSC, UFAL) localizados em três regiões do território brasileiro (Sul, Sudeste, Nordeste).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (9) / Especialização: (2) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (6) . , Integrantes: Jerusa Marchi - Integrante / Yolanda Aparecida Demetrio Guerra - Coordenador / Rita de Cassia Cavalcante de Lima - Integrante / Gustavo Javier Repetti - Integrante / Rosa Predes - Integrante / Jaime Hillesheim - Integrante / Adriana Pereira da Fonseca - Integrante / Alícia Verçosa da Silva - Integrante / Ana Maria Baima Cartaxo - Integrante / Andrêssa Gomes Carvalho de Amorim - Integrante / Brenda Fante da Paixão - Integrante / Denise Aparecida Michelute Gerardi - Integrante / Diane Balbinot Silva - Integrante / Diôgo Cavalcante Rodrigues Lopes - Integrante / Edivane de Jesus - Integrante / Fábio dos Santos Barbosa - Integrante / Gabriely Passos dos Santos - Integrante / Germano Rama Molardi - Integrante / Japson Gonçalves Santos Silva - Integrante / Juliana Victória dos Santos da Silva Muniz - Integrante / Larissa de Azevedo de Moura - Integrante / Luiza Palha Maçaneiro - Integrante / Mary Kazue Zanfra - Integrante / Priscilla dos Santos Peixoto Borelli Tavares - Integrante / Maria Alcina Terto Lins - Integrante / Rafaela Caroline de Oliveira da Silva - Integrante / Rhamonia Nascimento Teixeira - Integrante / Ricardo Lara - Integrante / Rodrigo José Teixeira - Integrante / SAMUEL SALEZIODOS SANTOS - Integrante / VANIA MARIA MANFROI - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.Número de orientações: 1
2020 - 2022

Estudo e Desenvolvimento de Algoritmos e Autômatos Quânticos, Descrição: Investigar tanto algoritmos quânticos quanto modelos teóricos quânticos, trazendo luz às questões envolvidas na qualidade das respostas obtidas ainda é um problema em aberto e que merece atenção. Neste sentido, este projeto visa o estudo e o desenvolvimento de algoritmos quânticos e de autômatos quânticos na plataforma de computação quântica da IBM, buscando compreender as questões relacionadas à qualidade das respostas e aos aspectos de complexidade computacional de tais modelos e algoritmos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jerusa Marchi - Coordenador / Eduardo Inacio Duzzioni - Integrante / Evandro de Chagas Ribeiro da Rosa - Integrante / Otto Menegasso Pires - Integrante / Teo Haeser Gallarza - Integrante / Eduardo Willwock Lussi - Integrante / Gilson Trombetta Magro - Integrante., Número de produções C, T & A: 1
2012 - 2019

Projeto AgentLab, Descrição: Estudo, Pesquisa, Desenvolvimento e Implementação de Métodos e Técnicas para Sistemas Computacionais Baseados em Agentes. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Jerusa Marchi - Integrante / Elder Rizzon Santos - Integrante / Ricardo Azambuja Silveira - Coordenador / Tiago Mazzuti - Integrante.
2010 - 2011

Futebol de Robôs: Um ambiente dinâmico para estudo da Inteligência Artificial e suas aplicações, Descrição: Projeto que visa o desenvolvimento de um time de futebol robótico simulado 2D. Atualmente sob a coordenação do Prof. Ahmed Ali Abdalla Esmin.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Jerusa Marchi - Coordenador / Wilian Lacerda - Integrante / Ahmed Ali Abdalla Esmin - Integrante., Financiador(es): Fundação de Desenvolvimento Científico e Cultural - Auxílio financeiro.

Prêmios

2024

Patronesse e Nome de Turma da Turma 2024-1 de Formandos do Curso de Ciências da Computação - INE/UFSC, Universidade Federal de Santa Catarina.

2023

Paraninfa da Turma 2023-2 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2022

Paraninfa da Turma 2022-2 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2022

Paraninfa da Turma 2022-1 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2021

Paraninfa da Turma 2021-2 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2020

Patronesse da turma 2020-2 de formandos do curso de Ciências da Computação INE- UFSC, Universidade Federal de Santa Catarina.

2019

Paraninfa da Turma 2019-1 de Formandos em Ciências da Computação INE-UFSC, Universidade Federal de Santa Catarina.

2019

Amiga da Turma 2019-2 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2018

Professora Homenageada da Turma 2018-2 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2017

Paraninfa da Turma 2017-1 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2016

Paraninfa da Turma 2016-1 de Formandos em Ciências da Computação INE/UFSC, Universidade Federal de Santa Catarina.

2016

Orientadora de Trabalho Classificado em 3o lugar no CTIC/SBC (Concurso de Trabalhos de Iniciação Científica da Sociedade Brasileira de Computação), Sociedade Brasileira de Computação (SBC).

2013

Patronesse da Turma 2013-1 de Formandos do Curso de Sistemas de Informação INE/UFSC, Universidade Federal de Santa Catarina.

Histórico profissional

Endereço profissional

Universidade Federal de Santa Catarina, Departamento de Informática e Estatística. , UFSC-CTC-INE, Campus Universitário, 88040900 - Florianópolis, SC - Brasil - Caixa-postal: 476, Telefone: (48) 37212734, Fax: (48) 37217553, URL da Homepage:

Experiência profissional

2009 - 2010

Universidade Federal de Lavras

Vínculo: , Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2009 - 06/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial, Linguagens de Programação, Linguagens Formais e Autômatos, Projeto e Análise de Algoritmos

2010 - Atual

Universidade Federal de Santa Catarina

Vínculo: Servidor Público, Enquadramento Funcional: Professor do Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2009

Universidade Federal de Santa Catarina

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2023
Direção e administração, Departamento de Informática e Estatística.,Cargo ou função, Sub-coordenação do curso de Ciência da Computação.
03/2021
Direção e administração, Departamento de Informática e Estatística.,Cargo ou função, Líder do Grupo de Pesquisa em Computação Quântica - dgp.cnpq.br/dgp/espelhogrupo/3337802746855041.
08/2020
Direção e administração, Departamento de Informática e Estatística.,Cargo ou função, Líder do grupo de Pesquisa em Inteligência Artificial e Algoritmos - GIAA - dgp.cnpq.br/dgp/espelhogrupo/4788582822024048.
01/2020
Pesquisa e desenvolvimento, Departamento de Informática e Estatística.,Linhas de pesquisa
07/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5430 - Inteligência Artificial
06/2019
Direção e administração, Departamento de Informática e Estatística.,Cargo ou função, Coordenação do Laboratório LIAA - Laboratório de Inteligência Artficial e Algoritmos.
07/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5421 - Linguagens Formais e Compiladores
07/2014
Pesquisa e desenvolvimento, Departamento de Informática e Estatística.,Linhas de pesquisa
07/2011
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5415 - Teoria da Computação
01/2011
Pesquisa e desenvolvimento, Departamento de Informática e Estatística.,Linhas de pesquisa
01/2018 - 06/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5452 - Tópicos Especiais em Algoritmos II: Projeto e Análise de Algoritmos
01/2018 - 06/2018
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE410137-4100025DO/ME - Tópicos Especiais em Computação: Inteligência Artificial - Estado da Arte e Tendências
07/2017 - 06/2018
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, INE 5633 - Sistemas Inteligentes
01/2015 - 12/2017
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, INE 5622 - Introdução a Compiladores
01/2016 - 06/2017
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6019000-41000025DO/ME - Inteligência Artificial Simbólica
07/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5451 - Tópicos Especiais em Algoritmos: Projeto e Análise de Algorimtos
01/2013 - 12/2016
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE 410104-41000025DO/ME ? Projeto e Análise de Algoritmos
01/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5421 - Linguagens Formais e Compiladores
07/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5451 - Tópicos Especiais em Algoritmos - Projeto e Análise de Algoritmos
07/2012 - 12/2014
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, INE 5651 - Estágio I, INE 5652 - Estágio II
07/2013 - 06/2014
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5444 - Estágio Supervisionado I, INE 5445 - Estágio Supervisionado II
01/2012 - 12/2013
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, INE 5633 - Sistemas Inteligentes
08/2010 - 12/2012
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, INE 5622 - Introdução a Compiladores, INE 5636 - Paradigmas de Programação
01/2012 - 06/2012
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, INE6019000-41000025DO/ME - Inteligência Artificial Simbólica
08/2010 - 07/2011
Ensino, Engenharia Química, Nível: Graduação,Disciplinas ministradas, INE 5201 - Introdução à Ciência da Computação
01/2011 - 06/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5430 - Inteligência Artificial
08/2010 - 12/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INE 5416 - Paradigmas de Programação
08/2008 - 08/2009
Ensino, Pós-Graduação em Eng. de Automação e Sistemas, Nível: Pós-Graduação,Disciplinas ministradas, DAS 6607 - Inteligência Artifical Aplicada a Controle e Automação, DAS 6609 - Fundamentos de Matemática Discreta para Controle e Automação, DAS 9012 - Inteligência Computacional
08/2008 - 06/2009
Ensino, Engenharia de Controle e Automação, Nível: Graduação,Disciplinas ministradas, DAS 5341 - Inteligência Artifical Aplicada a Controle e Automação

2007 - 2008

Centro Universitário Leonardo da Vinci

Vínculo: Celetista, Enquadramento Funcional: professor horista, Carga horária: 20

Atividades

08/2007 - 04/2008
Ensino, Desenvolvimento para WEB, Nível: Graduação,Disciplinas ministradas, Estágio Supervisionado I
02/2007 - 04/2008
Direção e administração, Centro Universitário do Vale do Itajaí, Fameblu.,Cargo ou função, Coordenadora dos Cursos de Bacharelado em Sistemas de Informação e Tecnologia de Desenvolvimento para Web.
02/2007 - 04/2008
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial
02/2007 - 04/2008
Conselhos, Comissões e Consultoria, Centro Universitário do Vale do Itajaí, Fameblu.,Cargo ou função, Membro de colegiado superior.
02/2007 - 04/2008
Conselhos, Comissões e Consultoria, Centro Universitário do Vale do Itajaí, Fameblu.,Cargo ou função, Presidente de colegiado do curso.

2005 - 2007

Faculdades Barddal

Vínculo: Celetista, Enquadramento Funcional: Professor Horista, Carga horária: 15

Atividades

03/2005 - 02/2007
Ensino, Sistemas da Informacão, Nível: Graduação,Disciplinas ministradas, Algoritmos, Estrutura de Dados, Linguagens Formais e Compiladores, Progamação I, Teoria da Computação
03/2005 - 02/2007
Conselhos, Comissões e Consultoria, Faculdades Barddal.,Cargo ou função, Membro de colegiado do curso.

1996 - 1998

Itaipu Binacional

Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

09/1996 - 12/1998
Estágios , Superintendência de Infomática, Divisão de Desenvolvimento e Manutenção de Sistemas.,Estágio realizado, Planejamento, Desenvolvimento, Implantação e Manutenção de Sistemas.