Sou estudante de mestrado pela Universidade Federal do Rio de Janeiro (UFRJ) e pesquisador em geofísica pelo Instituto Tecgraf, na PUC-Rio.
Tenho interesse em pesquisas relacionadas à construção de provas sobre diferentes formalismo, teoria de linguagens formais e teoria dos autômatos, aprendizado de máquina estatístico e, mais atualmente, em computação quântica.
E-mail: matheusost@ic.ufrj.br
Lattes: http://lattes.cnpq.br/4987787469819036
Bacharel em Ciência da Computação pela Universidade Federal do Rio de Janeiro sob a orientação de Hugo Musso Gualandi e Joao Antonio Recio da Paixao. Atualmente no mestrado na UFRJ em Teoria de Linguagens Formais e dos Autômatos.
Você pode ver a lista completa de minhas publicações aqui.
Tenho alguns projetos feitos ao decorrer de minha graduação. Você os pode conferir aqui.