About

Meu nome é Rodrigo e leciono disciplinas relacionadas à área de linguagens de programação em um curso de Engenharia de Computação. Meus interesses atuais englobam sistemas de tipos, programação funcional, verificação formal e aplicações de lógica matemática.

Anúncios

Deixe um comentário

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair /  Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair /  Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair /  Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair /  Alterar )

w

Conectando a %s


%d blogueiros gostam disto: