Leonardo Marques Rodrigues

Possui Ensino Médio e Curso Técnico em Eletrotécnica pela E.E.E.B. PRUDENTE DE MORAIS. Atualmente cursando Bacharelado em Ciência da Computação na Universidade Federal do Rio Grande do Sul, onde é Bolsista de Iniciação Científica. Tem experiência na área de Ciência da Computação.

Informações coletadas do Lattes em 16/05/2023

Acadêmico

Formação acadêmica

Graduação em andamento em Ciência da Computação

2015 - Atual

Universidade Federal do Rio Grande do Sul

Graduação interrompida em 2014 em Engenharia Elétrica

2011 - interrompida

Universidade Federal do Rio Grande do Sul
Ano de interrupção: 2014

Curso técnico/profissionalizante em Técnico em Eletrotécnica - Área da Indústria

2009 - 2010

E.E.E.B. Prudente de Morais

Ensino Médio (2º grau)

2008 - 2010

E.E.E.B. Prudente de Morais

Idiomas

Inglês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Produções bibliográficas

Costa, Andrei ; Bezerra, Jonas ; Azzi, Guilherme ; Rodrigues, Leonardo ; Becker, Thiago Rafael ; Herdt, Ricardo Gabriel ; Machado, Rodrigo . Verigraph: A System for Specification and Analysis of Graph Grammars. In: Leila Ribeiro; Thierry Lecomte. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 10090', p. 78-94.

Outras produções

Bezerra, Jonas ; Costa, Andrei ; Azzi, Guilherme ; Rodrigues, Leonardo ; Machado, Rodrigo ; Ribeiro, Leila ; Herdt, Ricardo Gabriel . Verigraph: System specification and verification tool based on graph rewriting. 2017.

Histórico profissional

Experiência profissional

2015 - Atual

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20