portal da computação    ciência da computação     engenharia de computação     pós-graduação webmail
Luciana Foss
Luciana Foss Luciana é Mestre e Doutora pela Universidade Federal do Rio Grande do Sul. Atualmente é professora da Universidade Federal de Pelotas e atua nos cursos de graduação e pós-graduação na área de Ciência da Computação. Tem interesse nos seguintes temas: semântica formal, especificação e verificação formal, linguagens formais, transformação de modelos.
CDTec UFPel
Find us on Google+