Luciana Foss

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.

graduate at Bacharelado Em Ciência da Computação from Universidade de Caxias do Sul (2000), master's at Computer Science from Universidade Federal do Rio Grande do Sul (2003) and ph.d. at Computer Science from Universidade Federal do Rio Grande do Sul (2008). Has experience in Computer Science, focusing on Formal Languages and Automata, acting on the following subjects: pi-calculus, model checking, graph grammars, gramática de grafos baseadas em objetos and verificação formal.