Olá e bem vindo ao meu blog! Me chamo Miguel Alfredo Nunes, sou bacharel em Ciência da Computação pela Universidade do Estado de Santa Catarina (UDESC), sou membro do Grupo de Pesquisa em Fundamentos da Computação (FUNÇÃO) e atualmente estou cursando meu mestrado em Filosofia pela Universidade Estadual de Campinas (Unicamp), orientado pela professora Juliana Bueno. Lógica e combinações de lógicas são os tema da minha dissertação.
Meu objetivo com esse blog é escrever sobre as coisas que estou pesquisando no meu mestrado, coisas que estou estudando e que acho legais, assim como eventuais digressões sobre a vida acadêmica (e suas mazelas) e outras coisas que queira escrever sobre.
Outro objetivo com esse blog é praticar minha escrita em outros idiomas. Por enquanto o único outro idioma que escreverei é inglês, visto que ainda não aprendi alemão, mas enquanto estiver aprendendo irei traduzindo as páginas e publicações.
Minhas redes sociais são pessoais, porém você pode me encontrar no:
Para fins acadêmicos, você pode me encontrar no:
Não vou colocar meu e-mail por extenso para evitar (ainda mais) spam, mas ele é
meu.nome.completo@gmail.com.
Este blog é baseado em Jekyll, publicado pelo GitHub Pages, o tema que uso é uma customização do Hydeout e o suporte para múltiplos idiomas foi feita baseado num tutorial por Ulrich R., disponível aqui. Agradeço ao meu amigo João Vitor Fröhlich por suas múltiplas sugestões e ajudas durante o desenvolvimento esse blog.