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 )

Imagem do Twitter

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

Foto do Facebook

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

Foto do Google+

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

Conectando a %s


%d blogueiros gostam disto: