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
Classe / Nível
7 / 704
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

Disciplinas ministradas nos três últimos semestres

Ano Turma Disciplina CH * Curso
2024/11TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
10:00 - 10:50
10:50 - 11:40
34+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2024/1T2SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
TER08:00 - 08:50
08:50 - 09:40
QUA10:00 - 10:50
10:50 - 11:40
36+0Engenharia de Computação (Bacharelado)
2024/1T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
QUI13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
2024/1T2LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/2T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
SEX08:00 - 08:50
08:50 - 09:40
72+0Ciência da Computação (Bacharelado)
2023/2T2LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
QUA15:10 - 16:00
16:00 - 16:50
SEX13:30 - 14:20
14:20 - 15:10
72+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/2T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV
Horários
ManhãTardeNoite
TER17:10 - 18:00
18:00 - 18:50
QUA17:10 - 18:00
18:00 - 18:50
36+0Ciência da Computação (Bacharelado)
Engenharia de Computação (Bacharelado)
2023/101TEORIA DA COMPUTAÇÃO
Horários
ManhãTardeNoite
QUA08:00 - 08:50
08:50 - 09:40
SEX08:00 - 08:50
08:50 - 09:40
34+0Computação (Mestrado acadêmico)
Computação (Doutorado)
2023/1T1SISTEMAS DISCRETOS
Horários
ManhãTardeNoite
SEG08:00 - 08:50
08:50 - 09:40
TER08:00 - 08:50
08:50 - 09:40
36+0Engenharia de Computação (Bacharelado)
2023/1T2LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG15:10 - 16:00
16:00 - 16:50
QUA13:30 - 14:20
14:20 - 15:10
72+0Engenharia de Computação (Bacharelado)
2023/1T1LINGUAGENS FORMAIS
Horários
ManhãTardeNoite
SEG10:00 - 10:50
10:50 - 11:40
QUA15:10 - 16:00
16:00 - 16:50
72+0Ciência da Computação (Bacharelado)
2023/1T1TÓPICOS ESPECIAIS EM COMPUTAÇÃO IV
Horários
ManhãTardeNoite
QUA17:10 - 18:00
18:00 - 18:50
QUI17:10 - 18:00
18:00 - 18: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.

Page generated on 2024-05-29 18:37:49 (query took 0.468198s)