Carlos Camarão de Figueiredo

E-mail: camarao@dcc.ufmg.br
Tel: +55 31 3499 5889
Fax: +55 31 3499 5858
Address: Departamento de Ciência da Computação, UFMG, 31270-010 BeloHorizonte, Brazil

Associate Professor at UFMG, Department of Computing Science.


Interests

Design, definition, use and implementation of programming languages, functional programming, type systems, generic programming, dependent types, mathematical logic, formal semantics and the foundations of computer science...


Ph.D. Students


MSc. Students


Publications


Teaching

Research Projects


Conferences

Member of the organizing and program committees of the I Brazilian Symposium on Programming Languages (SBLP'96), and program committee of SBLP'97, SBLP'99, SBLP'2000, SBLP'2001, SBLP'2002 (chair), SBLP'2003, SBLP'2004, SBLP'2005 , SBLP'2006 , SBLP'2007 , SBLP'2008 , SBLP'2009 .