Bernardo Pinto de Alkmim

Has a degree in Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2016), with a Minor in Mathematics, and a MSc in Computer Science in the area of Logic from the same institution (2019). Currently is a PhD candidate in Computer Science in the same institution. Has experience in Computer Science, focusing on Theory of Computing and Logics and Program Semantics.

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Rio de Janeiro (2016), com Domínio Adicional em Matemática, e Mestrado em Informática na área de Lógica pela mesma instituição (2019). Atualmente é aluno de Doutorado em Informática, também na PUC-Rio, nas áreas de Lógica e Teoria da Computação. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação e Lógicas e Semântica de Programas.