Mariana Araújo Tavares Sathler

Possui graduação em Engenharia de Computação pelo Centro Federal de Educação Tecnológica de Minas Gerais (2017). Mestranda em Engenharia de Sistemas Eletrônicos pela Universidade Federal de Santa Catarina - UFSC

Informações coletadas do Lattes em 18/10/2021

Acadêmico

Formação acadêmica

Mestrado em andamento em Engenharia de Sistemas Eletrônicos

2018 - Atual

Universidade Federal de Santa Catarina
Título: Verificação de Modelo aplicado a Sistemas de assistência ao motorista,Orientador:
Gian Ricardo Berkenbrock.Coorientador: Giovani Gracioli. Bolsista do(a): Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina, FAPESC, Brasil.

Graduação em Engenharia de Computação

2011 - 2017

Centro Federal de Educação Tecnológica de Minas Gerais
Título: UM ESTUDO DE ALGORITMOS CLASSIFICADORES NO CONTEXTO DE INFORMAÇÃO GEOGRÁFICA VOLUNTÁRIA
Orientador: Leonardo Lacerda Alves

Formação complementar

2017 - 2017

PENTEST. (Carga horária: 40h). , EADCCNA, EADCCNA, Brasil.

2017 - 2017

LINUX LPI. (Carga horária: 40h). , EADCCNA, EADCCNA, Brasil.

2017 - 2017

CCNA R&S. (Carga horária: 40h). , EAD CCNA, EAD CCNA, Brasil.

2015 - 2015

Curso de Inglês. , WIZARD, WIZARD, Brasil.

2015 - 2015

Minicurso de Programação ABAP. (Carga horária: 40h). , GTCOM Tecnologia e Serviços, GTCOM, Brasil.

2014 - 2014

Testes de Usabilidade. , RSI Informática, RSI, Brasil.

2014 - 2014

Minicurso JAVA. , Centro Federal de Educação Tecnológica de Minas Gerais, CEFET/MG, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Participação em eventos

I - Seminário de Engenharia de Software -ENGSOFT 2013. 2013. (Seminário).

Comissão julgadora das bancas

Pablo Andretta Jaskowiak

BERKENBROCK, G. R.;JASKOWIAK, P. A.; WEHRMEISTER, M. A.. Transformação de Requisitos Escritos em Português pra Propriedades Lógicas Temporais. 2021. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina.

Gian Ricardo Berkenbrock

BERKENBROCK, G. R.; JASKOWIAK, P. A.; WEHRMEISTER, M. A.. Transformação de Requisitos Escritos em Português para Propriedades Lógicas Temporais. 2021. Dissertação (Mestrado em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina.

Gian Ricardo Berkenbrock

BERKENBROCK, G. R.; SANTOS, L. B. R.; JASKOWIAK, P. A.. UMA ABORDAGEM PARA TRANSFORMAÇÃO DE MODELOS E PROPRIEDADES SEMI-FORMAIS PARA MODELOS FORMAIS. 2020. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Engenharia de Sistemas Eletrônicos ? PPGESE) - Universidade Federal de Santa Catarina.

Marco Aurélio Wehrmeister

BERKENBROCK, GIAN R.; JASKOWIAK, P. A.;WEHRMEISTER, Marco Aurelio. Transformação de Requisitos Escritos em Português para Propriedades Lógicas Temporais. 2021. Dissertação (Mestrado em Engenharia de Sistemas Eletrônicos) - Universidade Federal de Santa Catarina.

Prêmios

2005

Menção Honrosa, OBMEP.

Histórico profissional

Experiência profissional

2014 - 2015

RCS Informaster Ltda

Vínculo: Estágio, Enquadramento Funcional: Estagiária em Análise e Desenvolvimento, Carga horária: 20

2015 - 2015

QUESTOR SISTEMAS LTDA

Vínculo: CLT, Enquadramento Funcional: Programadora Junior, Carga horária: 44