Nome do Servidor
LUCIANA FOSS
Matrícula SIAPE
1714458
Categoria
Docente
Data de ingresso no serviço público
03/08/2009
Data de ingresso na UFPel
03/08/2009
Data de ingresso no cargo
01/03/2013
Cargo
Professor do Magistério Superior/Assoc./Tit.
Classe / Nível
7 / 703
Titulação
Doutorado
Lotação
Regime / Jornada de Trabalho
Estatutário / Dedicação Exclusiva
Situação
Ativo Permanente

Resumo

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade de Caxias do Sul (2000), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2003) e doutorado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (2008). Atualmente é professora da Universidade Federal de Pelotas. Tem experiência na área de Ciência da Computação, com ênfase em Linguagem Formais e Autômatos, atuando principalmente nos seguintes temas: semântica formal, especificação e verificação formal, linguagens formais, transformação de modelos.

Formação acadêmica

Doutorado em Computação (Universidade Federal do Rio Grande do Sul, 2008)
Mestrado em Computação (Universidade Federal do Rio Grande do Sul, 2003)
Graduação em Bacharelado Em Ciência da Computação (Universidade de Caxias do Sul, 2000)

Áreas de atuação

Teoria da Computação - Linguagem Formais e Autômatos
Teoria da Computação - Lógicas e Semântica de Programas

Informações extraídas do Lattes

Participação do servidor em projetos nos últimos 5 anos

CH indica a carga horária semanal.

Pesquisa
Título do Projeto Início Fim CH
Prova de Teoremas para Gramática de Grafos26/05/201831/07/202210
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente DGM (Prorrogação 2)01/07/201931/07/20212
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental17/07/201801/08/20204
Prova de Teoremas para Gramática de Grafos26/05/201425/05/20188
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM01/05/201429/04/20172
Projeto CompFlexD-GM: Computações Flexíveis via Computação Quântica com Suporte no Ambiente D-GM01/05/201429/04/20172
Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental02/03/201503/03/20172
Propostas Metodológicas para a Introdução do Raciocínio Computacional na Educação01/08/202001/08/20241
Ensino
Título do Projeto Início Fim CH
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação – Ano IV01/05/201831/12/20181
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação – Ano III01/06/201731/12/20171
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia de Computação -- Ano II02/05/201616/12/20161
A aprendizagem na formação do pensamento computacional18/04/201616/12/20161
Programa de Monitoria da UFPEL01/04/201901/03/20232
Extensão
Título do Projeto Início Fim CH
SACCI Pelotas: Rede de Saberes Articulando Ciências, Criatividade e ImaginaçãoCOORDENADOR DO PROJETO01/04/202131/03/20252
ExpPC Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental02/01/201731/12/20202

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2021/11TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
68+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2021/1T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
QUA10:00 - 10:50
10:50 - 11:40
36+0Engenharia de Computação (Bacharelado)
2021/1T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
QUA08:00 - 08:50
08:50 - 09:40
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2021/1T2SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
36+0Ciência da Computação (Bacharelado)
2021/1T1TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2020/2T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER10:00 - 10:50
10:50 - 11:40
72+0Ciência da Computação (Bacharelado)
2020/2T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
QUA08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2020/2T2LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
QUI08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2020/1T52SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
QUI08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
2020/1T53SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
QUI10:00 - 10:50
10:50 - 11:40
36+0Engenharia de Computação (Bacharelado)
2020/1T51TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUI16:00 - 16:50
17:10 - 18:00
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2020/1T71TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEX15:10 - 16:00
16:00 - 16:50
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)

* CH - na Graduação e Pós-Graduação indica a carga horária no período.

Página gerada em 16/10/2021 05:03:52 (consulta levou 0.688017s)