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 / 702
Titulação
Doutorado
Função / Unidade
COORDENADOR DE CURSO DE GRADUAÇÃO SUBSTITUTO / Colegiado do Curso de Ciência da Computação
Gratificação / Data inicial
-00 /
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
Desenvolvimento Correto de Sistemas ComputacionaisCOORDENADOR DO PROJETO01/09/201201/09/201620
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
Projeto de Apoio à Aprendizagem e Combate a Desistência em Disciplinas dos Cursos de Ciência e Engenharia da Computação11/05/201531/12/20151
Programa de Monitoria da UFPEL01/04/201901/03/20231
Extensão
Título do Projeto Início Fim CH
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
2019/2T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
QUA10:00 - 10:50
10:50 - 11:40
72+0Ciência da Computação (Bacharelado)
2019/2T3LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG17:10 - 18:00
18:00 - 18:50
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/2T1ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/21MÉTODOS FORMAIS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA08:00 - 08:50
08:50 - 09:40
4+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2019/1T3LÓGICA PARA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUA10:00 - 10:50
10:50 - 11:40
SEG17:10 - 18:00
18:00 - 18:50
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/1T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2019/1T2LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
QUA08:00 - 08:50
08:50 - 09:40
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2T3LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
TER15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2M1TRABALHO DE CONCLUSÃO DE CURSO I0+5Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2M1PROJETO DE CONCLUSÃO DE CURSO0+10Ciência da Computação (Bacharelado)
2018/2T1ESPECIFICAÇÃO E VERIFICAÇÃO DE SISTEMAS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
QUA10:00 - 10:50
10:50 - 11:40
68+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/2M1TRABALHO DE CONCLUSÃO DE CURSO II0+4Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2018/21MÉTODOS FORMAIS
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
SEG15:10 - 16:00
16:00 - 16:50
4+0Computação (Mestrado acadêmico)
Computação (Doutorado)

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

Página gerada em 06/12/2019 18:53:53 (consulta levou 0.525910s)