Home
Research and Publications
Book
Teaching (in portuguese)
Conferences
CV (CNPq/Lattes)
Lucília Camarão de Figueiredo
Associate Professor (1993-...)
Computer Science Department
Federal University of Ouro Preto
Contact:
Departamento de Computação
Instituto de Ciências Exatas e Biológicas
Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro
35400-000 Ouro Preto, MG Brasil
phone: +55 31 35591682 (Mondays/Wednesdays)
34995817 (Tuesdays/Thursdays/Fridays)
email: lucilia@dcc.ufmg.br
Research Interests: Type systems, Functional Programming, Lambda-calculus, Logic.
PhD: Computer Science Department – UFMG
Institute of Informatics – PUC-Rio (1997)
SBLP 2009 – 12th Brazilian Symposium on Programming Languages,
August 19-21, 2008, Gramado, Rio Grande do Sul, Brazil.
SBMF 2009 – 11th Brazilian Symposium on Formal Methods,
August 19-21, Gramado, Rio Grande do Sul, Brazil.
