Lígia Maria Soares Passos
Possui graduação (2006), mestrado (2009) e doutorado (2016) em Ciência da Computação pela Universidade Federal de Uberlândia. Atualmente, é professora associada na Universidade Federal Rural do Rio de Janeiro (UFRRJ). Tem experiência na área de Ciência da Computação, com ênfase em Modelos Analíticos e de Simulação, Lógicas, Sistemas de Informação e Engenharia de Software, atuando principalmente nos seguintes temas: redes de Petri, WorkFlow nets, Lógica Linear, Workflow, Processos de Negócio e verificação de Serviços Web. Atualmente, tem desenvolvido trabalhos de pesquisa relacionados à saúde mental de estudantes da Computação (CS Student Mental Health).
Informações coletadas do Lattes em 05/09/2025
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2012 - 2016
Universidade Federal de Uberlândia
Título: Uma Metodologia baseada na Lógica Linear para Análise de Processos de Workflow Interorganizacionais
, Ano de obtenção: 2016. Stéphane Julia. Palavras-chave: Processo de Negócio; Web Service; Rede de Petri.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Mestrado em Ciência da Computação
2007 - 2009
Universidade Federal de Uberlândia
Título: FORMALIZAÇÃO DE WORKFLOW NETS BASEADA NA LÓGICA LINEAR: ANÁLISE QUALITATIVA E QUANTITATIVA, Ano de Obtenção: 2009
Stéphane Julia.Coorientador: Marcelo de Almeida Maia. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Workflow; Redes de Petri; WorkFlow nets; Lógica Linear.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Formação complementar
2022 - 2022
Extensão universitária em Educação em TEA (Transtorno do Espectro Autista). (Carga horária: 160h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2021 - 2021
Certificação em Liderança, Capacidade de Aprender e Resiliência. (Carga horária: 4h). , Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
2017 - 2018
International Education Programme - Level 3 - Practitioner Training. , The Dr Edward Bach Foundation, BACH CENTRE, Inglaterra.
2016 - 2016
International Education Programme - Level 2 - Advanced Seminar. , The Dr Edward Bach Foundation, BACH CENTRE, Inglaterra.
2016 - 2016
International Education Programme - Level 1 - Introductory Seminar. , The Dr Edward Bach Foundation, BACH CENTRE, Inglaterra.
2007 - 2007
Aspectos Fundamentais de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.
2007 - 2007
Técnicas de Teste de Software. (Carga horária: 8h). , Núcleo Softex Campinas, SOFTEX CAMPINAS, Brasil.
2003 - 2003
Curso de GTK+. (Carga horária: 18h). , Universidade Federal de Uberlândia, UFU, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Portuguê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: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Organização de eventos
Soares Passos, L. M. ; SILVA, A. M. ; SILVA, G. ; ALVARENGA, M. L. V. ; MAGNO JUNIOR, R. G. ; TORMEN, G. P. ; SOUSA, C. V. . II Semana de Ciências Exatas do IFMG Campus Bambuí. 2010. (Outro).
Amo, S. A. ; DUARTE, V. A. R. ; Soares Passos, L. M. ; PEREIRA, R. R. ; Branquinho, A. A. B. . II Workshop de Dissertações - Pós-Graduação em Ciência da Computação - UFU. 2008. (Outro).
Participação em eventos
V Simpósio Brasileiro de Educação em Computação - EDUCOMP 2025.Membro do Comitê de Programa. 2025. (Simpósio).
XXV Simpósio Brasileiro de Computação Aplicada à Saúde - SBCAS2025.Membro do Comitê de Programa. 2025. (Simpósio).
IV Simpósio Brasileiro de Educação em Computação - EDUCOMP 2024.Membro do Comitê de Programa. 2024. (Simpósio).
Workshop de Estratégias Transformadoras e Inovação em Educação (WETIE).Membro do Comitê Científico. 2024. (Outra).
III Simpósio Brasileiro de Educação em Computação - EDUCOMP 2023.Membro do Comitê de Programa. 2023. (Simpósio).
III Simpósio Brasileiro de Educação em Computação - EDUCOMP 2023.Association of Sleep Quality with Anxiety and Depression Symptoms among Computer Science Students. 2023. (Simpósio).
II Simpósio Brasileiro de Educação em Computação - EDUCOMP 2022.Membro do Comitê de Programa. 2022. (Simpósio).
II Simpósio Brasileiro de Educação em Computação - EDUCOMP 2022.Association of Positive and Negative Feelings with Anxiety and Depression Symptoms among Computer Science Students during the COVID-19 Pandemic. 2022. (Simpósio).
Summer Geometry Initiative 2022 - Massachusetts Institute of Technology (MIT).Panel on Mental Health in Math and Computer Science. 2022. (Outra).
Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS).Membro do Comitê de Programa. 2021. (Simpósio).
The 52nd ACM SIGCSE Technical Symposium on Computer Science Education.Reviewer. 2021. (Simpósio).
27th International Conference on Systems, Signals and Image Processing - IWSSIP 2020. Subrevisora. 2020. (Congresso).
XVII Congresso Brasileiro de Informática em Saúde. Revisora do Comitê Científico. 2020. (Congresso).
Setembro Amarelo na UFRRJ.Trabalhando sentimentos e emoções com os Florais de Bach. 2019. (Outra).
VII Reunião Anual de Iniciação Científica da UFRRJ (VII RAIC).Perfil Sociodemográfico dos Estudantes de Ciência da Computação da UFRRJ. 2019. (Outra).
VII Reunião Anual de Iniciação Científica da UFRRJ (VII RAIC).Projeto de Introdução ao Pensamento Algorítmico para Estudantes do Ensino Médio. 2019. (Outra).
VII Reunião Anual de Iniciação Científica da UFRRJ (VII RAIC).Interface gráfica para provador de teoremas da Lógica Linear que representam modelos em rede de Petri. 2019. (Outra).
VI Reunião Anual de Iniciação Científica da UFRRJ (VI RAIC).Provador de teoremas da Lógica Linear que representam modelos em rede de Petri. 2018. (Outra).
XVI Congresso Brasileiro de Informática em Saúde. Avaliadora. 2018. (Congresso).
IEEE International Conference on Tools with Artificial Intelligence. Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. 2016. (Congresso).
XV Congresso Brasileiro de Informática em Saúde. Revisora do Comitê Científico. 2016. (Congresso).
XIV Congresso Brasileiro de Informática em Saúde. Revisora de Trabalhos Científicos. 2014. (Congresso).
2013 IEEE 25th International Conference on Tools with Artificial Intelligence.Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification. 2013. (Outra).
IX Simpósio Brasileiro de Sistemas de Informação.Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. 2013. (Simpósio).
Fórum Internacional Sobre Prática Docente Universitária. 2012. (Outra).
VI Workshop de Dissertações ? Pós-graduação em Ciência da Computação/UFU.Membro de Comissão Julgadora. 2012. (Outra).
V Semana de Ciência e Tecnologia - IFMG Campus Bambuí.Membro de Comissão Julgadora. 2012. (Outra).
XIII Congresso Brasileiro de Informática em Saúde. Membro de Comissão Julgadora. 2012. (Congresso).
IX Encontro Anual de Computação - ENACOMP.Membro de Comitê Científico. 2011. (Encontro).
I Fórum das Disciplinas Ministradas em Unidades Fora de Sede.Instrução de Disciplinas dos Cursos Técnicos em Manutenção e Suporte em Informática, Técnico em Programação Comercial e Técnico em Programação para Internet.. 2010. (Encontro).
I Fórum das Disciplinas Ministradas em Unidades Fora de Sede.Planejamento das Disciplinas Ministradas em Unidades Fora de Sede - Participação como Coordenadora de Cursos Técnicos.. 2010. (Encontro).
III Jornada Científica do IFMG - Campus Bambuí.Avaliação de resumos expandidos. 2010. (Outra).
III Semana de Ciências Gerenciais do Instituto Federal de Minas Gerais - Campus Bambuí. 2010. (Encontro).
2009 IEEE International Conference on Systems, Man, and Cybernetics.Qualitative Analysis of Workflow nets using Linear Logic: Soundness Verification. 2009. (Outra).
V Simpósio Brasileiro de Sistemas de Informação - SBSI.Análise Qualitativa e Quantitativa de WorkFlow nets utilizando Lógica Linear. 2009. (Simpósio).
X Encontro de Pesquisa do ILES/ULBRA - Itumbiara-GO.Revisor ad hoc. 2009. (Encontro).
II Workshop de Dissertações - Pós-Graduação em Ciência da Computação - UFU.Formalização de WorkFlow nets baseada na Lógica Linear: Análise Qualitativa e Quantitativa. 2008. (Outra).
I Seminário Pró-Docência: Docência, Criatividade e Interdisciplinaridade. 2008. (Seminário).
I Fórum Regional de Tecnologia - Universidade de Franca. 2006. (Outra).
12ª Semana da Informática - Universidade de Franca. 2002. (Outra).
Participação em bancas
FARIA, E. S. J.LOPES, J. E. F.Soares Passos, L. M.. Governo Eletrônico: uma proposta para avaliação dos serviços governamentais eletrônicos sob o prisma da usabilidade. 2018. Dissertação (Mestrado em Gestão Organizacional) - Universidade Federal de Uberlândia.
JULIA, S.Soares Passos, L. M.LOPES, C. R.VILLANI, E.. Uma Regra de Sincronização Baseada na Lógica Linear para Prevenção de Deadlock em WorkFlow Nets Interorganizacionais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
JULIA, S.FERNANDES, M. A.MALAQUIAS, F. F. O.LUDERS, R.Soares Passos, L. M.. Modelagem e Simulação de Sistemas de Gerenciamento de Processos de Negócios baseadas em Workflow net Temporais com Mecanismos de Alocação de Recursos Híbridos Fuzzy. 2017. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.
FARIA, E. S. J.LOPES, J. E. F.Soares Passos, L. M.. Governo Eletrônico: uma proposta para avaliação da usabilidade dos serviços governamentais eletrônicos. 2018. Exame de qualificação (Mestrando em Gestão Organizacional) - Universidade Federal de Uberlândia.
DEMBOGURSKI, B. J.DUARTE, F. R.Soares Passos, L. M.. CLARIFEL: UM APLICATIVO DE ORGANIZAÇÃO DE ARQUIVOS TERAPÊUTICOS DIGITAIS. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DEMBOGURSKI, B. J.SOARES PASSOS, LÍGIA MARIA. MAPEAMENTO DE TÉCNICAS DE TESTE PRIORITÁRIAS PARA DIFERENTES TIPOS DE SOFTWARE. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DUARTE, F. R.SOARES PASSOS, LÍGIA MARIA. AQUISIÇÃO DE SAAS EM ORGANIZAÇÕES EMPRESARIAIS: UM EXEMPLO DE PROCESSOS E BOAS PRÁTICAS. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
DEMBOGURSKI, B. J.CARMO, F. B.Soares Passos, L. M.. ECHO: DESENVOLVIMENTO DE UM JOGO TPS UTILIZANDO UNREAL ENGINE 5. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.SCHOTS, N. C. L.CARMO, F. B.. AVALIAÇÃO DE USABILIDADE DO APLICATIVO LOGIC CALCULATOR. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
CARMO, F. B.Soares Passos, L. M.SCHOTS, N. C. L.. MÓDULO DE OPORTUNIDADES DE TRABALHO PARA O SISTEMA DE ACOMPANHAMENTO DE EGRESSOS ALUMNI UFRRJ. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
CARMO, F. B.Soares Passos, L. M.SCHOTS, N. C. L.. MÓDULO DE OPORTUNIDADES DE TRABALHO PARA O SISTEMA DE ACOMPANHAMENTO DE EGRESSOS ALUMNI UFRRJ. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.SCHOTS, N. C. L.DEMBOGURSKI, B. J.. GPN2LL: TRANSFORMAÇÃO DE UM MODELO EM REDE DE PETRI GENERALIZADA EM UM SEQUENTE DA LÓGICA LINEAR. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.LYRA, A. R.Soares Passos, L. M.. Uma análise sobre a aplicabilidade de modelos de maturidade em empresas de desenvolvimento de software no Brasil. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DUARTE, F. R.SOARES PASSOS, LÍGIA MARIA. MELHORIA CONTÍNUA DE PROCESSOS: UMA ABORDAGEM COM PRÁTICAS ÁGEIS. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIASCHOTS, N. C. L.LYRA, A. R.CASTRO, D. C. B.. DIÁRIO DO SONO: UM SISTEMA PARA APOIO À COLETA DE DADOS EM PESQUISAS DE SONO. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LIGIA MARIADEMBOGURSKI, B. J.CARMO, F. B.. ROPHE NOTES: UM APLICATIVO MÓVEL PARA ACOMPANHAMENTO DA SAÚDE E DO BEM-ESTAR PESSOAL EM FORMA DE DIÁRIO. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LIGIA MARIASCHOTS, N. C. L.DEMBOGURSKI, B. J.BENAC, M. A.. O PERFIL DE PERSONALIDADE DOS ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
LYRA, A. R.POSNER, D. F. D.SOARES PASSOS, LIGIA MARIA. CASO DE ESTUDO COM AS FILAS DO INSTITUTO MULTIDISCIPLINAR. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.ZAMITH, J. M. N. E. S.SOARES PASSOS, LIGIA MARIA. COMUNICAÇÃO INTERNA NO AMBIENTE DE DESENVOLVIMENTO DE SOFTWARE. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DUARTE, F. R.SOARES PASSOS, LIGIA MARIA. MELHORIA CONTÍNUA DE PROCESSOS: UMA ABORDAGEM COM PRÁTICAS ÁGEIS. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.CARMO, F. B.SOARES PASSOS, LIGIA MARIA. Soft Skills no Desenvolvimento de Software: uma Visao das Empresas e de Alunos do Curso de Ciência da Computação da UFRRJ. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
LYRA, A. R.ZAMITH, M. P. M.PAULA JUNIOR, U. C.SOARES PASSOS, LÍGIA MARIA. Heurísticas ILS e GRASP aplicadas ao Problema de Rotação de Culturas. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DUARTE, F. R.SOARES PASSOS, LÍGIA MARIA. Survey sobre o Uso de Ferramentas de Comunicação no Desenvolvimento de Software. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.SCHOTS, N. C. L.ZAMITH, M. P. M.. PN2LL: TRANSFORMAÇÃO DE UM MODELO EM REDE DE PETRI EM UM SEQUENTE DA LÓGICA LINEAR. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.SOARES PASSOS, LIGIA MARIADUARTE, F. R.. MAPEANDO PERFIS DE ANALISTAS DE REQUISITOS A PARTIR DE TÉCNICAS DE ELICITAÇÃO. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.SOARES PASSOS, LIGIA MARIAZAMITH, M. P. M.. CATÁLOGO DE BOAS PRÁTICAS PARA ELABORAÇÃO E ESCRITA DE CASOS DE TESTE. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LIGIA MARIALYRA, A. R.ZAMITH, J. M. N. E. S.. LOGIC CALCULATOR: UM APLICATIVO MÓVEL PARA CÁLCULO DA LÓGICA PROPOSICIONAL. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.ALVIM, L. G. M.ZAMITH, M. P. M.. PROVADOR DE SEQUENTES DA LÓGICA LINEAR PARA MODELOS EM REDES DE PETRI UTILIZANDO ÁRVORES DE PROVAS ROTULADAS. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.CARMO, F. B.Soares Passos, L. M.. MODELOS PARA GESTÃO DE INOVAÇÃO EM STARTUPS. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.DUARTE, F. R.SOARES PASSOS, LÍGIA MARIA. Caracterização Inicial da Prática de Gerência de Risco em Projetos Ágeis. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIALYRA, A. R.ALVIM, L. G. M.. Provador de sequentes da Lógica Linear que representam modelos em rede de Petri. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.Soares Passos, L. M.DUARTE, F. R.. Caracterização da Aprendizagem Organizacional para Novos Colaboradores em Organizações de Desenvolvimento de Software. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SCHOTS, N. C. L.SOARES PASSOS, LÍGIA MARIAORLEANS, L. F.. Análise sobre a implantação do Scrum de acordo com o perfil organizacional. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIAZAMITH, J. M. N. E. S.DEMBOGURSKI, B. J.. Modelagem de Web Services utilizando Redes de Petri: uma revisão da literatura. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro.
DORCA, F. A.BRASIL, C. R. S.Soares Passos, L. M.. Aplicação de ferramentas web para tabulação de dados epidemiológicos e tratamento estatístico de casos de câncer.. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
JULIA, S.JULIA, R. M. S.Soares Passos, L. M.. Estágio de Consultoria em ALM. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.
Soares Passos, L. M.LAFETÁ, R. F. Q.FERREIRA, G. C. S.. Sistema de Gestão de Subsídio. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
COELHO, P. R. S. L.Soares Passos, L. M.FERREIRA, G. C. S.. Equipe de Desenvolvimento Java. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.
Soares Passos, L. M.LOPES, C. R.LAFETÁ, R. F. Q.. Portal de Vendas CTBC. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.
BACKES, A. R.FARIA, E. R.Soares Passos, L. M.. Estágio de Analista de Sistemas. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
CATTELAN, R. G.Soares Passos, L. M.LAFETÁ, R. F. Q.. Análise e Desenvolvimento de Software. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
Soares Passos, L. M.TOME, S. M. G.SILVA, L. L.. Análise Qualitativa do Processo de Workflow da Ouvidoria do IFMG-Campus Bambuí: um estudo de caso. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas para Internet) - Instituto Federal Minas Gerais.
MACEDO, A.Amo, S. A.Soares Passos, L. M.. Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.
Soares Passos, L. M.SOUSA, P. M.LUZ, R. A.. O uso da realidade aumentada para visualização de projetos arquitetônicos em dispositivos móveis. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Luterano de Ensino Superior de Itumbiara.
Soares Passos, L. M.LUZ, R. A.; SILVA JUNIOR, J. C.. Segurança no uso da Internet: estudo do comércio varejista da cidade de Goiatuba-GO, com base na Cartilha de Segurança para Internet. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Luterano de Ensino Superior de Itumbiara.
Soares Passos, L. M.LUZ, R. A.; SILVA JUNIOR, J. C.. Uso de realidade virtual na construção do pensamento lógico-matemático. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Instituto Luterano de Ensino Superior de Itumbiara.
BOAVENTURA, A. P. F. V.INOCENCIO, A. C. G.Soares Passos, L. M.. Concurso Público para Professor do Magistério Superior. 2016. Universidade Federal de Goiás.
LYRA, A. R.Soares Passos, L. M.ZAMITH, M. P. M.. Banca de Avaliação de Progressão Funcional - Profa. Fernanda Vieira Dias Couto. 2025. Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIAPOSNER, D. F. D.COUTO, F. V. D.. Concurso de Monitoria Estudantil - Lógica para Computação e Linguagens Formais e Autômatos. 2024.
LYRA, A. R.ALVIM, L. G. M.Soares Passos, L. M.. Banca de Avaliação de Progressão Funcional -- Prof. Filipe Braida do Carmo. 2024. Universidade Federal Rural do Rio de Janeiro.
LYRA, A. R.SILVA, M. W. R.Soares Passos, L. M.. Banca de Avaliação de Progressão Funcional - Profa. Fernanda Vieira Dias Couto. 2023. Universidade Federal Rural do Rio de Janeiro.
SILVA, M. W. R.LYRA, A. R.Soares Passos, L. M.. Banca de Avaliação de Progressão Funcional - Profa. Natália Chaves Lessa. 2023. Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIAPOSNER, D. F. D.COUTO, F. V. D.. Concurso de Monitoria Estudantil - Lógica para Computação e Linguagens Formais e Autômatos. 2022. Universidade Federal Rural do Rio de Janeiro.
POSNER, D. F. D.COUTO, F. V. D.SOARES PASSOS, LIGIA MARIA. Concurso de Monitoria Estudantil - Matemática Discreta para Computação. 2022. Universidade Federal Rural do Rio de Janeiro.
SOARES PASSOS, LÍGIA MARIACOUTO, F. V. D.POSNER, D. F. D.. Concurso de Monitoria Estudantil - Matemática Discreta. 2021. Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.LYRA, A. R.POSNER, D. F. D.. Concurso de Monitoria Estudantil - Lógica para Computação. 2021. Universidade Federal Rural do Rio de Janeiro.
SILVA, M. W. R.LYRA, A. R.Soares Passos, L. M.. Banca de Avaliação de Progressão Funcional - Profa. Natália Chaves Lessa. 2021. Universidade Federal Rural do Rio de Janeiro.
COUTO, F. V. D.LYRA, A. R.Soares Passos, L. M.. Concurso de Monitoria Estudantil. 2018. Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.LYRA, A. R.COUTO, F. V. D.. Concurso de Monitoria Estudantil. 2018. Universidade Federal Rural do Rio de Janeiro.
Passos, L. M. S.LYRA, A. R.COUTO, F. V. D.. Concurso de Monitoria Estudantil. 2017. Universidade Federal Rural do Rio de Janeiro.
Soares Passos, L. M.. Concurso de Monitoria Estudantil. 2015. Universidade Federal Rural do Rio de Janeiro.
GARBAZZA, I. E.Soares Passos, L. M.MORGADO, A. A. M.. Banca de Defesa de Estágio - Curso Técnico em Informática.. 2010. Instituto Federal de Minas Gerais - Campus Bambuí.
Orientou
Em definição; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; (Orientador);
Monitoria da disciplina TN709 - Lógica para Computação; Início: 2025; Orientação de outra natureza; Universidade Federal Rural do Rio de Janeiro; (Orientador);
Uma Regra de Sincronização Baseada na Lógica Linear para Prevenção de Deadlock em WorkFlow Nets Interorganizacionais; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Lígia Maria Soares Passos;
GPN2LL: transformação de um modelo em rede de Petri generalizada em um sequente da Lógica Linear; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Avaliação de Usabilidade do aplicativo Logic Calculator; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
DIÁRIO DO SONO: UM SISTEMA PARA APOIO À COLETA DE DADOS EM PESQUISAS DE SONO; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
ROPHE NOTES: UM APLICATIVO MÓVEL PARA ACOMPANHAMENTO DA SAÚDE E DO BEM-ESTAR PESSOAL EM FORMA DE DIÁRIO; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
O PERFIL DE PERSONALIDADE DOS ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
PN2LL: transformação de um modelo em rede de Petri em um sequente da Lógica Linear; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
LOGIC CALCULATOR: UM APLICATIVO MÓVEL PARA CÁLCULO DA LÓGICA PROPOSICIONAL; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
PROVADOR DE SEQUENTES DA LÓGICA LINEAR PARA MODELOS EM REDES DE PETRI UTILIZANDO ÁRVORES DE PROVAS ROTULADAS; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Provador de teoremas da Lógica Linear que representam modelos em rede de Petri; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Modelagem de Web Services utilizando Redes de Petri: uma revisão da literatura; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Sistema de Gestão de Subsídio; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Lígia Maria Soares Passos;
Portal de Vendas CTBC; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Lígia Maria Soares Passos;
Análise Qualitativa do Processo de Workflow da Ouvidoria do IFMG-Campus Bambuí: um estudo de caso; 2011; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Instituto Federal de Minas Gerais - Campus Bambuí; Orientador: Lígia Maria Soares Passos;
SAÚDE MENTAL E QUALIDADE DE SONO DE ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DURANTE E PÓS-PANDEMIA DE COVID-19; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Lígia Maria Soares Passos;
Avaliação de dados sociodemográficos de estudantes do curso de Ciência da Computação da UFRRJ durante e após a pandemia de COVID-19; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
SAÚDE MENTAL E QUALIDADE DE SONO DE ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DURANTE E PÓS-PANDEMIA DE COVID-19; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Lígia Maria Soares Passos;
PREVALÊNCIA DE SINTOMAS DE ANSIEDADE E DEPRESSÃO EM ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Lígia Maria Soares Passos;
Provador de teoremas da Lógica Linear que representam modelos em rede de Petri; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Lígia Maria Soares Passos;
Provador de teoremas da Lógica Linear que representam modelos em rede de Petri; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN715 - LINGUAGENS FORMAIS E AUTÔMATOS; 2025; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Orientação de Monitoria - TN715 - LINGUAGENS FORMAIS E AUTÔMATOS; 2024; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN709 - Lógica para Computação; 2024; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN709 - Lógica para Computação; 2023; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN715 - Linguagens Formais e Autômatos; 2023; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN715 - Linguagens Formais e Autômatos; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN709 - Lógica para Computação; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TN709 - Lógica para Computação; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina TM403 - MATEMÁTICA DISCRETA PARA COMPUTAÇÃO; 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Introdução ao Pensamento Algorítmico para estudantes do Ensino Médio; 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Introdução ao Pensamento Algorítmico para estudantes do Ensino Médio; 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina IM854 - Linguagens Formais e Autômatos; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina IM854 - Linguagens Formais e Autômatos; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Introdução ao Pensamento Algorítmico para estudantes do Ensino Médio; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Introdução ao Pensamento Algorítmico para estudantes do Ensino Médio; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina IM854 - Linguagens Formais e Autômatos; 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina IM854 - Linguagens Formais e Autômatos; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Rural do Rio de Janeiro; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina GSI505 - Lógica para Computação; 2013; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Uberlândia; Orientador: Lígia Maria Soares Passos;
Monitoria da disciplina GSI505 - Lógica para Computação; 2012; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal de Uberlândia; Orientador: Lígia Maria Soares Passos;
Produções bibliográficas
-
SOARES PASSOS, LÍGIA MARIA ; MURPHY, CHRISTIAN ; CHEN, RITA ZHEN ; SANTANA, MARCOS GONÇALVES ; PASSOS, GISELLE SOARES . Mental Health of Computer Science Students during the COVID-19 Pandemic Social Isolation. Revista Brasileira de Informática na Educação (RBIE) , v. 31, p. 553-574, 2023.
-
JULIA, STÉPHANE ; VALE, L. N. ; SOARES PASSOS, LÍGIA MARIA . Functional Testing Using Object Workflow Nets. Computing and Informatics , v. 35, p. 719-743, 2016.
-
SOARES PASSOS, LÍGIA MARIA ; JULIA, STÉPHANE . Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. International Journal on Artificial Intelligence Tools , v. 25, p. 1650008, 2016.
-
de Oliveira, Vinícius Ferreira ; JULIA, STÉPHANE ; Passos, Lígia Maria Soares ; de Oliveira, Kênia Santos . A Synchronization Rule Based on Linear Logic for Deadlock Prevention in Interorganizational WorkFlow Nets. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2018, v. 558, p. 929-934.
-
HONÓRIO, STÉPHANIE BARROS ; LESSA, NATÁLIA CHAVES ; Passos, Lígia Maria Soares . O Perfil de Personalidade dos Estudantes de Ciência da Computação da Universidade Federal Rural do Rio de Janeiro. In: Simpósio Brasileiro de Educação em Computação, 2025, Brasil. Anais do V Simpósio Brasileiro de Educação em Computação (EDUCOMP 2025), 2025. p. 1-14.
-
SOARES PASSOS, LÍGIA MARIA ; MURPHY, CHRISTIAN ; CHEN, RITA ZHEN ; SANTANA, MARCOS GONÇALVES ; PASSOS, GISELLE SOARES . Association of Sleep Quality with Anxiety and Depression Symptoms among Computer Science Students. In: Simpósio Brasileiro de Educação em Computação, 2023, Brasil. Anais do III Simpósio Brasileiro de Educação em Computação (EDUCOMP 2023), 2023. p. 13-18.
-
SOARES PASSOS, LÍGIA MARIA ; MURPHY, CHRISTIAN ; CHEN, RITA ZHEN ; SANTANA, MARCOS GONÇALVES ; PASSOS, GISELLE SOARES . Association of Positive and Negative Feelings with Anxiety and Depression Symptoms among Computer Science Students during the COVID-19 Pandemic. In: Simpósio Brasileiro de Educação em Computação, 2022, Brasil. Anais do II Simpósio Brasileiro de Educação em Computação (EDUCOMP 2022), 2022. p. 50-56.
-
SOARES PASSOS, LÍGIA MARIA ; MURPHY, CHRISTIAN ; ZHEN CHEN, RITA ; GONÇALVES DE SANTANA, MARCOS ; SOARES PASSOS, GISELLE . The Prevalence of Anxiety and Depression Symptoms among Brazilian Computer Science Students. In: SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education, 2020, Portland OR USA. Proceedings of the 51st ACM Technical Symposium on Computer Science Education. New York: ACM, 2020. p. 316-322.
-
SOARES PASSOS, LIGIA MARIA ; JULIA, STEPHANE ; MARTINS DA SILVA, BRUNO FRANCISCO . A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. In: 2019 IEEE International Conference on ServiceOriented System Engineering (SOSE), 2019, San Francisco East Bay. 2019 IEEE International Conference on Service-Oriented System Engineering (SOSE), 2019. p. 77-83.
-
FERREIRA DE OLIVEIRA, VINÍCIUS ; JULIA, STÉPHANE ; SOARES PASSOS, LÍGIA MARIA ; SANTOS DE OLIVEIRA, KÊNIA . A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. In: 19th International Conference on Enterprise Information Systems, 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems, 2017. p. 316-323.
-
PASSOS, LIGIA MARIA SOARES ; JULIA, STEPHANE . Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. In: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose. 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI). p. 514-521.
-
SOARES PASSOS, LÍGIA MARIA ; JULIA, STÉPHANE . Relaxed Soundness Verification for Interorganizational Workflow Processes. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems. v. 3. p. 221-228.
-
PASSOS, LIGIA MARIA SOARES ; JULIA, STEPHANE . Deadlock-Freeness Scenarios Detection in Web Service Composition. In: 2015 12th International Conference on Information Technology New Generations (ITNG), 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations. p. 780-783.
-
ALENCAR, GLINER DIAS ; DA SILVA, JULIANA FERREIRA G. ; PASSOS, LÍGIA MARIA S. ; FARIAS, CECIR BARBOSA A. ; QUEIROZ, ANDERSON APOLONIO L. . FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook. In: X Simpósio Brasileiro de Sistemas de Informação, 2014, Brasil. Anais do X Simpósio Brasileiro de Sistemas de Informação (SBSI 2014), 2014. v. 1. p. 244-255.
-
PASSOS, LIGIA MARIA SOARES ; JULIA, STEPHANE . Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI), 2014, Limassol. 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 2014. p. 316-320.
-
Passos, Lígia Maria Soares ; MAGALHÃES JÚNIOR, TARCÍSIO ABADIO DE ; MAIA, MARCELO DE ALMEIDA ; JULIA, STÉPHANE . Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. In: Simpósio Brasileiro de Sistemas de Informação, 2013, Brasil. Anais do IX Simpósio Brasileiro de Sistemas de Informação (SBSI 2013), 2013. v. 01. p. 674-685.
-
DE FATIMA SILVA, LUCIANE ; PASSOS, LIGIA MARIA SOARES ; DOS SANTOS SOARES, MICHEL ; JULIA, STEPHANE . Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. In: 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013, San Francisco. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI). p. 293-300.
-
PASSOS, LIGIA MARIA SOARES ; JULIA, STEPHANE . Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI), 2013, Herndon. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence. p. 667-673.
-
ALENCAR, GLINER DIAS ; FARIAS, CECIR BARBOSA A. ; SILVA, JULIANA FERREIRA G. ; QUEIROZ, ANDERSON APOLONIO L. ; PASSOS, LÍGIA MARIA S. . FaceEduc: Uma Adaptação Visual do Moodle Baseada na Interface e Mecanismos de Interação do Facebook. In: XXIV Simpósio Brasileiro de Informática na Educação, 2013.
-
Oliveira, G. W. ; JULIA, S. ; Soares Passos, L. M. . Game Modeling using WorkFlow nets. In: IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage, Alaska, USA. Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011. p. 838-843.
-
Passos, Lígia Maria Soares ; JULIA, STÉPHANE . Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. In: Simpósio Brasileiro de Sistemas de Informação, 2009, Brasil. Anais do V Simpósio Brasileiro de Sistemas de Informação (SBSI 2009), 2009. p. 24-36.
-
Soares Passos, L. M. ; JULIA, S. . Qualitative analysis of WorkFlow nets using linear logic: Soundness verification. In: 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009, San Antonio, Tx, USA. Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009. p. 2843-2847.
-
LACERDA, G. D. ; SANTANA, M. G. ; PASSOS, GISELLE SOARES ; SOARES PASSOS, LIGIA MARIA . PERFIL SOCIODEMOGRÁFICO DOS ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UFRRJ DURANTE A PANDEMIA DE COVID-19. In: IX Reunião Anual de Iniciação Científica da UFRRJ, 2023, Nova Iguaçu/RJ. Anais da IX Reunião Anual de Iniciação Científica e III Reunião Anual de Iniciação em Desenvolvimento Tecnológico e Inovação - IX RAIC 21/22 e III RAIDTEC 21/22. Seropédica/RJ: Editora UFRRJ, 2023.
-
PACHECO, J. B. R. ; LIMA, M. O. ; PASSOS, GISELLE SOARES ; SANTANA, M. G. ; SOARES PASSOS, LIGIA MARIA . DIFICULDADES ACADÊMICAS E PESSOAIS MAIS ENFRENTADAS PELOS ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UFRRJ. In: IX Reunião Anual de Iniciação Científica da UFRRJ, 2023, Nova Iguaçu/RJ. Anais da IX Reunião Anual de Iniciação Científica e III Reunião Anual de Iniciação em Desenvolvimento Tecnológico e Inovação - IX RAIC 21/22 e III RAIDTEC 21/22, 2023.
-
GOMES, J. L. A. ; Soares Passos, L. M. . Interface gráfica para provador de teoremas da Lógica Linear que representam modelos em rede de Petri. In: VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - ?Desafios e Perspectiva da Política Científica no Brasil?, 2019, Nova Iguaçu. VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - ?Desafios e Perspectiva da Política Científica no Brasil?, 2019. v. III. p. 517-517.
-
ALMEIDA, R. M. ; OLIVEIRA, W. S. ; PESSOA, S. I. S. ; SCHOTS, N. C. L. ; SOARES PASSOS, LÍGIA MARIA . PROJETO DE INTRODUÇÃO AO PENSAMENTO ALGORÍTMICO PARAESTUDANTES DO ENSINO MÉDIO. In: VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ, 2019, Nova Iguaçu. Desafios e Perspectiva da Política Científica no Brasil. Seropédica, RJ, 2019. v. III. p. 525-525.
-
ZHEN CHEN, RITA ; PASSOS, G. S. ; GONÇALVES DE SANTANA, MARCOS ; Soares Passos, L. M. . Perfil Sociodemográfico dos Estudantes de Ciência da Computação da UFRRJ. In: VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - ?Desafios e Perspectiva da Política Científica no Brasil?, 2019, Nova Iguaçu. VII Reunião Anual de Iniciação Científica RAIC 2019 - UFRRJ - ?Desafios e Perspectiva da Política Científica no Brasil?, 2019. v. III. p. 495-495.
-
Soares Passos, L. M. ; JULIA, S. . Linear Logic as a Tool for Weak Soundness Verification for Interorganizational Workflow Processes. 2016. (Apresentação de Trabalho/Conferência ou palestra).
-
Soares Passos, L. M. ; MAGALHAES JUNIOR, T. A. ; MAIA, M. A. ; JULIA, S. . Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets. 2013. (Apresentação de Trabalho/Simpósio).
-
Soares Passos, L. M. ; JULIA, S. . Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
Soares Passos, L. M. ; JULIA, S. . Análise Qualitativa e Quantitativa de WorkFlow nets utilizando Lógica Linear. 2009. (Apresentação de Trabalho/Simpósio).
-
Soares Passos, L. M. ; JULIA, S. . Qualitative Analysis of Workflow nets using Linear Logic: Soundness Verification. 2009. (Apresentação de Trabalho/Conferência ou palestra).
-
Soares Passos, L. M. . Formalização de WorkFlow nets baseada na Lógica Linear: Análise Qualitativa e Quantitativa. 2008. (Apresentação de Trabalho/Outra).
Outras produções
PASSOS, LÍGIA MARIA S. . Workshop Trabalhando sentimentos e emoções com os Florais de Bach. 2020. (Curso de curta duração ministrado/Extensão).
PASSOS, LÍGIA MARIA S. . Workshop Felicidade++. 2020. (Curso de curta duração ministrado/Extensão).
Passos, Lígia Maria Soares . Introdução ao Pensamento Algorítmico para Estudantes do Terceiro Ano do Ensino Médio. 2019. (Coordenação de Curso de Extensão).
Passos, L. M. S. . Introdução ao Pensamento Algorítmico para estudantes do Primeiro Ano do Ensino Médio. 2019. (Coordenação de Curso de Extensão).
Passos, Lígia Maria Soares . Introdução ao Pensamento Algorítmico para estudantes do Segundo Ano do Ensino Médio. 2019. (Coordenação de Curso de Extensão).
Passos, Lígia Maria Soares . Trabalhando Sentimentos e Emoções com os Florais de Bach. 2017. (Palestra).
Passos, Lígia Maria Soares . Trabalhando Sentimentos e Emoções com os Florais de Bach. 2017. (Palestra).
Soares Passos, L. M. . Curso Básico de Latex. 2012. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2021 - Atual
Saúde mental e qualidade de sono de estudantes de Ciência da Computação durante e pós-pandemia de COVID-19, Descrição: Este estudo tem por objetivo avaliar os estados emocionais de depressão, ansiedade e estresse, a qualidade de sono e o nível de atividade física/comportamento sedentário entre estudantes de Ciência da Computação durante e após a pandemia de COVID-19, através de um questionário sociodemográfico e dos questionários DASS-21, PSQI e IPAQ. As prevalências de sintomas de ansiedade, depressão e estresse serão descritas e algumas possíveis correlações serão investigadas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Lígia Maria Soares Passos - Coordenador / Marcos Gonçalves de Santana - Integrante / SOARES PASSOS, GISELLE - Integrante / GABRIEL DOMICIANO LACERDA - Integrante / MATHEUS OLIVEIRA DE LIMA - Integrante / JOSUE BUENO REIS PACHECO - Integrante.
-
2019 - 2021
PREVALÊNCIA DE SINTOMAS DE ANSIEDADE E DEPRESSÃO EM ESTUDANTES DE CIÊNCIA DA COMPUTAÇÃO DA UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO, Descrição: Nos últimos anos, a saúde mental dos estudantes universitários tornou-se foco de atenção dos especialistas da área de Saúde e da sociedade em geral. Vários trabalhos já foram realizados, no Brasil e no exterior, considerando estudantes da área da Saúde, predominantemente aqueles matriculados em cursos de Medicina. Atualmente, a atenção para a saúde mental dos estudantes da área da Computação começa a ser despertada, e discussões acerca do tema têm sido promovidas em eventos internacionais de grande impacto. O objetivo deste projeto é determinar a prevalência de sintomas de depressão e ansiedade nos estudantes de Ciência da Computação da Universidade Federal Rural do Rio de Janeiro. O projeto foi aprovado pelo Comitê de Ética em Pesquisa da UFRRJ em sua reunião de 20/02/2019, conforme DESPACHO Nº 5284 / 2019 - PROPPG/UFRRJ, associado ao processo 23267.001102/2018-54 e Protocolo 1.270/2018.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Lígia Maria Soares Passos - Coordenador / Giselle Soares Passos - Integrante / Marcos Gonçalves de Santana - Integrante / Rita Zhen Chen - Integrante / Christian Murphy - Integrante.
-
2018 - 2019
Introdução ao Pensamento Algorítmico para Estudantes do Ensino Médio, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Lígia Maria Soares Passos - Coordenador / Samuel Igor dos Santos Pessoa - Integrante / Ramon Machado de Almeida - Integrante / WAGNER DE SOUZA DE OLIVEIRA - Integrante / GABRIEL HENRIQUE MAGALHAES DE SOUZA - Integrante., Financiador(es): Universidade Federal Rural do Rio de Janeiro - Bolsa.
-
2015 - 2017
Modelagem, análise e monitoramento de processos de negócio flexíveis utilizando as workflow nets e lógicas não clássicas, Projeto certificado pelo(a) coordenador(a) Stéphane Julia em 11/06/2020., Descrição: A área de gerenciamento de processos de negócios , do inglês Business Process Management (BPM), tem recebido atenção considerável nos últimos anos em razão de seu potencial em aumentar significativamente a produtividade e economizar gastos nas organizações. Além disso. o conceito de processo serve como ponto de partida para o entendimento de como o negócio opera e quais oportunidades existem para coordenar suas atividades constituintes. Considerando tais questões, uma abordagem para modelagem, analise e monitoramento de processos de negócios será proposta. O modelo utilizado será baseado nas Workflow nets que são redes de Petri usadas para representar processos de negócios. Inicialmente, árvores de prova da lógica linear serão consideradas para analisar processos que devem verificar os principais critérios de corretude, em particular a propriedade chamada Sound. Uma análise quantitativa baseada no cálculo de datas simbólicas para a atribuição de atividades especificas aos atores do processo poderá ser realizada a partir das provas obtidas na verificação da propriedade Sound. A segunda parte do projeto está relacionada com o estudo de processos de negócios flexíveis embutidos em estruturas organizacionais já existentes onde os critérios de corretude não podem ser sistematicamente garantidos. Neste caso, através da reconstituição e reconfiguração dos processos, técnicas de detecção de estados perigosos serão apresentadas. Também, modelos de monitoramento baseados em redes de Petri com marcação fuzzy serão utilizados para considerar problemas de desvios que acontecem quando os atores envolvidos não respeitam as sequencias de atividades previstas nos modelos do processo. Estudos de casos na área dos sistemas de informação e dos jogos eletrônicos validarão a abordagem proposta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) . , Integrantes: Lígia Maria Soares Passos - Integrante / Stéphane Julia - Coordenador / DE FATIMA SILVA, LUCIANE - Integrante / Joslaine Cristina Jeske - Integrante / Leiliane Pereira de Rezende - Integrante / Franciny Medeiros Barreto - Integrante / Janette Cardoso - Integrante / de Oliveira, Vinícius Ferreira - Integrante / de Oliveira, Kênia Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Prêmios
2025
Melhor Artigo de Pesquisa, V Simpósio Brasileiro de Educação em Computação - EduComp.
2023
Melhor Revisora, III Simpósio Brasileiro de Educação em Computação - EduComp.
2022
Menção Honrosa - Association of Positive and Negative Feelings with Anxiety and Depression Symptoms among Computer Science Students during the COVID-19 Pandemic, II Simpósio Brasileiro de Educação em Computação - EduComp.
2011
Professora Homenageada - Curso Superior de Tecnologia em Sistemas para Internet, IFMG - Campus Bambuí.
Histórico profissional
Endereço profissional
-
Universidade Federal Rural do Rio de Janeiro, Instituto Multidisciplinar. , Avenida Governador Roberto Silveira - S/N, Moquetá, 26285060 - Nova Iguaçu, RJ - Brasil, Telefone: (21) 26672729
Experiência profissional
2024 - Atual
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Associado D - Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
PORTARIA N 3377/2024 - PROGEP/UFRRJ.
2022 - 2024
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C - Nível 4, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
PORTARIA N 2409/2022 - PROGEP/UFRRJ
2020 - 2022
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C - Nível 3, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
PORTARIA Nº 340 / 2020 - PROGEP/UFRRJ
2018 - 2020
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C - Nível 2, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Conforme Portaria PROAD n. 430 de 11 de julho de 2018.
2016 - 2018
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C - Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Conforme Portaria PROAD n. 461 de 8 de julho de 2016.
2014 - 2016
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente B - Nível 2, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Conforme Portaria UFRRJ/PROAD n. 681 de 04 de Novembro de 2014.
2013 - 2014
Universidade Federal Rural do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente B - Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
08/2025
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AD786 - DIVULGAÇÃO E POPULARIZAÇÃO DA CIÊNCIA DA COMPUTAÇÃO, TM431 - INTRODUÇÃO À TEORIA DAS REDES DE PETRI, TN709 - LÓGICA PARA COMPUTAÇÃO, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
03/2025 - 07/2025
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AC785 - LECIONAÇÃO DE CURSOS DE EXTENSÃO I, AC792 - CICLO DE SEMINÁRIOS - COMPUTAÇÃO E SEUS IMPACTOS NA SOCIEDADE, TN703 - COMPUTADORES E SOCIEDADE, TN715 - LINGUAGENS FORMAIS E AUTÔMATOS, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
08/2024 - 12/2024
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO - T01, TN709 - LÓGICA PARA COMPUTAÇÃO - T02, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
02/2024 - 07/2024
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AC792 - CICLO DE SEMINÁRIOS - COMPUTAÇÃO E SEUS IMPACTOS NA SOCIEDADE - T01, TN703 - COMPUTADORES E SOCIEDADE - T01, TN715 - LINGUAGENS FORMAIS E AUTÔMATOS - T01, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I - T15, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II - T15, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II - T16, AC785 - LECIONAÇÃO DE CURSOS DE EXTENSÃO I
-
08/2023 - 12/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO - T01, TN709 - LÓGICA PARA COMPUTAÇÃO - T02, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
04/2023 - 08/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AC792 - CICLO DE SEMINÁRIOS - COMPUTAÇÃO E SEUS IMPACTOS NA SOCIEDADE, TN703 - COMPUTADORES E SOCIEDADE, TN715 - LINGUAGENS FORMAIS E AUTÔMATOS, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
10/2022 - 03/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TM431 - INTRODUÇÃO À TEORIA DAS REDES DE PETRI, TN709 - LÓGICA PARA COMPUTAÇÃO
-
05/2022 - 09/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN703 - COMPUTADORES E SOCIEDADE - T01, TN715 - LINGUAGENS FORMAIS E AUTÔMATOS - T01
-
01/2022 - 05/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO - T01, TN709 - LÓGICA PARA COMPUTAÇÃO - T02
-
09/2021 - 12/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN703 - COMPUTADORES E SOCIEDADE, TN715 - LINGUAGENS FORMAIS E AUTÔMATOS, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
04/2016 - 11/2021
Conselhos, Comissões e Consultoria, Instituto Multidisciplinar.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do curso de Bacharelado em Ciência da Computação.
-
05/2021 - 08/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO - T01, TN709 - LÓGICA PARA COMPUTAÇÃO - T02, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I - T01, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II - T02
-
02/2021 - 05/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO - T01, TN756 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO I - T15, TN703 - COMPUTADORES E SOCIEDADE - T01, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II - T16
-
09/2020 - 12/2020
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, TN709 - LÓGICA PARA COMPUTAÇÃO, TN757 - ORIENTAÇÃO DE TRABALHO DE CONCLUSÃO DE CURSO II
-
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AB789 -	ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO II, AC782 - TRABALHO FINAL DE CURSO II, IM866 - Engenharia de Software I, TM 403 - Matemática Discreta para Computação
-
05/2018 - 12/2019
Extensão universitária , Instituto Multidisciplinar.,Atividade de extensão realizada, Coordenadora do Curso de Extensão "Introdução ao Pensamento Algorítmico para Estudantes do Primeiro Ano do Ensino Médio".
-
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, AB788 - ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO I, AB789 - ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO II, AC781 - TRABALHO FINAL DE CURSO I, AC782 - TRABALHO FINAL DE CURSO II, TM403 - MATEMÁTICA DISCRETA PARA COMPUTAÇÃO, TM431 - INTRODUÇÃO À TEORIA DAS REDES DE PETRI
-
08/2018 - 12/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, IM854 - LINGUAGENS FORMAIS E AUTÔMATOS, TM431 - INTRODUÇÃO À TEORIA DAS REDES DE PETRI, AB788 -	ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO I, AC781 -	TRABALHO FINAL DE CURSO I
-
03/2018 - 07/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos, Matemática Discreta para Computação
-
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computadores e Sociedade, Linguagens Formais e Autômatos
-
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, IM854 - LINGUAGENS FORMAIS E AUTÔMATOS, TM431 - INTRODUÇÃO À TEORIA DAS REDES DE PETRI
-
07/2016 - 02/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computadores e Sociedade, Matemática Discreta para Computação
-
02/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Autômatos, Modelagem de Sistemas
-
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computadores e Sociedade, Linguagens Formais e Autômatos
-
03/2015 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, COMPUTADORES E SOCIEDADE, LINGUAGENS FORMAIS E AUTÔMATOS, ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO II, TRABALHO FINAL DE CURSO II
-
08/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, LINGUAGENS FORMAIS E AUTÔMATOS, MATEMÁTICA DISCRETA PARA COMPUTAÇÃO, ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO I, ORIENTAÇÃO PARA TRABALHO FINAL DE CURSO II, TRABALHO FINAL DE CURSO I, TRABALHO FINAL DE CURSO II
-
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software, Gerência de Projetos
-
07/2013 - 03/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta para Computação, Modelagem de Sistemas
2012 - 2013
Universidade Federal de UberlândiaVínculo: Servidor Público, Enquadramento Funcional: Professora Assistente B - Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.
2011 - 2012
Universidade Federal de UberlândiaVínculo: Contrato, Enquadramento Funcional: Professora Temporária, Carga horária: 40
Atividades
-
08/2012 - 07/2013
Conselhos, Comissões e Consultoria, Faculdade de Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do curso de Bacharelado em Sistema de Informação do Campus Monte Carmelo.
-
08/2012 - 07/2013
Conselhos, Comissões e Consultoria, Faculdade de Computação.,Cargo ou função, Membro do grupo responsável por realizar estudos preliminares de alterações curriculares do curso BSI.
-
02/2012 - 07/2013
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação, Profissão em Sistemas de Informação
-
03/2012 - 06/2012
Conselhos, Comissões e Consultoria, Faculdade de Computação.,Cargo ou função, Membro de comissão - Elaboração de proposta de Edital - Concurso Público para preenchimento de vaga de Professor da Carreira do Magistério Superior da Universidade Federal de Uberlândia para o Campus Monte Carmelo..
-
08/2011 - 12/2011
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação Funcional - Prática
-
08/2011 - 12/2011
Ensino, Gestão da Informação, Nível: Graduação,Disciplinas ministradas, Projeto e Desenvolvimento de Software
-
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados 1 - Prática, Lógica para Ciência da Computação 2
2010 - 2011
Instituto Federal Minas GeraisVínculo: Servidor Público, Enquadramento Funcional: Prof. Ensino Básico, Técnico e Tecnológico, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
03/2011 - 07/2011
Extensão universitária , Campus Bambuí.,Atividade de extensão realizada, Orientadora/Apoio Técnico no programa Instituto Solidário - Integração e Cidadania.
-
02/2011 - 07/2011
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Fundamentos Matemáticos para Computação, Gerência de Projetos, Lógica para Computação
-
02/2011 - 07/2011
Ensino, Sistemas para Internet, Nível: Graduação,Disciplinas ministradas, Tópicos Especiais - Inteligência Artificial
-
04/2011 - 05/2011
Conselhos, Comissões e Consultoria, Campus Bambuí.,Cargo ou função, Suplente dos docentes na Comissão Eleitoral do IFMG - Campus Bambuí.
-
08/2010 - 12/2010
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II, Banco de Dados I, Estrutura de Dados, Tópicos Especiais - Inteligência Artificial
-
08/2010 - 12/2010
Ensino, Bacharelado em Agronomia, Nível: Graduação,Disciplinas ministradas, Informática Aplicada
-
08/2010 - 12/2010
Ensino, Curso Técnico em Eventos, Nível: Ensino Médio,Disciplinas ministradas, Informática
-
08/2010 - 12/2010
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Informática Aplicada à Administração
-
03/2010 - 07/2010
Conselhos, Comissões e Consultoria, Campus Bambuí.,Cargo ou função, Presidente da Comissão Organizadora da II Semana de Ciências Exatas.
-
02/2010 - 07/2010
Direção e administração, Campus Bambuí.,Cargo ou função, Coordenadora do Curso Técnico em Manutenção e Suporte em Informática - modalidade subsequente.
-
02/2010 - 07/2010
Direção e administração, Campus Bambuí.,Cargo ou função, Coordenadora do Curso Técnico em Informática para Internet.
-
02/2010 - 07/2010
Direção e administração, Campus Bambuí.,Cargo ou função, Coordenadora do Curso Técnico em Informática - Programação Comercial - modalidade subsequente.
-
02/2010 - 07/2010
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Algoritmos e Estruturas de Dados II, Lógica para Computação
-
02/2010 - 07/2010
Ensino, Sistemas para Internet, Nível: Graduação,Disciplinas ministradas, Gerência e Qualidade de Projetos
2009 - 2010
Instituto Luterano de Ensino Superior de ItumbiaraVínculo: Celetista formal, Enquadramento Funcional: Professora Adjunta com Mestrado, Carga horária: 12
Atividades
-
07/2009 - 12/2009
Ensino, Psicologia, Nível: Graduação,Disciplinas ministradas, Informática Aplicada à Psicologia
-
07/2009 - 12/2009
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta, Sistemas Operacionais
2009 - 2010
INSTITUTO DE ENSINO SUPERIOR DE PATROCÍNIOVínculo: Celetista formal, Enquadramento Funcional: Professora de Ensino Superior, Carga horária: 4
Atividades
-
10/2009 - 12/2009
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais
2007 - 2007
R. M. Vilaça - MEVínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas/ Processos, Carga horária: 40
2006 - 2006
Infinitech Tecnologia Em Informática LtdaVínculo: Estágio, Enquadramento Funcional: Estagiária, Carga horária: 40
Outras informações:
Estágio Supervisionado.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Lígia Maria Soares Passos e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?