I am an associate professor in the Department of Computer Science at the Santa Catarina State University (Brazil). I am interested in
Design, implementation and use of programming languages, in particular, functional languages, type systems and formal methods.