Andre Murbach Maidl

possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (2004), mestrado em Informática pela Universidade Federal do Paraná (2007) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2015). Tem experiência na área de Ciência da Computação, com ênfase em Linguages de Programação e Linux, atuando principalmente nos seguintes temas: especificação formal de linguagens, desenvolvimento de software usando Linux/Unix, programação em C, Lua, Haskell, Python e Perl.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Informática

2010 - 2015

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Typed Lua: An Optional Type System for Lua
Roberto Ierusalimschy. Coorientador: Fabio Mascarenhas. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Linguagens de script; Lua; Sistemas de tipos; Sistemas de tipos opcionais; Tipagem gradual.Grande área: Ciências Exatas e da Terra

Mestrado em Informática

2005 - 2007

Universidade Federal do Paraná
Título: Uma implementação da Semântica de Ações Orientada a Objetos em Maude,Ano de Obtenção: 2007
Martin Alejandro Musicante.Coorientador: André Luiz Pires Guedes. Palavras-chave: Semântica Formal de Linguagens de Programação; Semântica de Ações.

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

2000 - 2004

Pontifícia Universidade Católica do Paraná

Curso técnico/profissionalizante em Processamento de Dados

1997 - 1999

Organização Paranaense de Ensino Técnico

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Seção coletada automaticamente pelo Escavador

Participação em eventos

Lua Workshop 2017. To type or not to type Lua. 2017. (Congresso).

DLS 2015 - 11th Dynamic Languages Symposium.A Formalization of Typed Lua. 2015. (Simpósio).

Dyla 2014 - 8th Workshop on Dynamic Languages and Applications. Typed Lua: An Optional Type System for Lua. 2014. (Congresso).

Lua Workshop 2014. Typed Lua: An Optional Type System for Lua. 2014. (Congresso).

VI Fórum de Tecnologia em Software Livre. Typed Lua: um sistema de tipos opcional para Lua. 2014. (Feira).

XVII Simpósio Brasileiro de Linguagens de Programação.Exception Handling for Error Reporting in Parsing Expression Grammars. 2013. (Simpósio).

Symposium in honor of Prof. Peter Mosses. 2009. (Simpósio).

SBMF2007/LSFA2007 Brazilian Simposyum on Formal Methods/Workshop on Logical and Semantic Frameworks, with Applications. Maude Object-Oriented Action Tool. 2007. (Congresso).

XI Simpósio Brasileiro de Linguagens de Programação.Using Visitor Patterns in Object-Oriented Action Semantics. 2007. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: LEONARDO FILIPE RIGON

VASCONCELLOS, C. D.;MAIDL, A. M.; ROGGIA, K. G.. Inferência de Tipos e Efeitos por meio de Grafos de Fluxo de Controle. 2019. Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina.

Aluno: Leonardo Araujo Santos

STADZISZ, P. C.;MAIDL, A. M.; OLIVEIRA, A. S.; LINHARES, R. R.. Linguagem e Compilador para o Paradigma Orientado a Notificações. 2017. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Adriano Francisco Ronszcka

STADZISZ, P. C.; ENEMBRECK, F.; SILVA, M. V. G.;MAIDL, A. M.; OLIVEIRA, A. S.; Fabro, J. A.. Método para a Criação de Linguagens de Programação e Compiladores para o Paradigma Orientado a Notificações em Plataformas Distintas. 2019. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Adriano Francisco Ronszcka

OLIVEIRA, A. S.; SILVA, M. V. G.; ENEMBRECK, F.;MAIDL, A. M.. LingPON - Linguagem de Programação e Compilador para o Paradigma Orientado a Notificações (PON).. 2018. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: LEONARDO FILIPE RIGON

VASCONCELLOS, C. D.;MAIDL, A. M.; GASPARINI, I.. Inferência de Tipos e Efeitos por meio de Grafos de Fluxo de Controle. 2018. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade do Estado de Santa Catarina.

Aluno: Rafael Ravedutti Lucio Machado

WEINGAERTNER, D.;MAIDL, A. M.; MULLER JUNIOR, B.. High performance code generation using Domain Specific Languages. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Tulio José Munhoz

WATTER, L. H.;MAIDL, A. M.; PIMENTEL, A. R.. Estudo de Viabilidade do uso de Virtualização utilizando XEM. 2007. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Processamento de Dados) - Faculdades ESSEI.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Anamaria Martins Moreira

MOREIRA, A. M.; HAEUSLER, E. H.; IERUSALIMSCHY, R.; MASCARENHAS, F.. Typed Lua: An Optional Type System for Lua. 2014. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Martin Alejandro Musicante

Musicante, Martin A.. Uma implementacao da semantica de acoes orientada a objetos em maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Silvia Regina Vergilio

Bigonha, R.S.;Vergilio, S. R.MUSICANTE, M.. Uma implementação da semântica de ações orientada a objetos em Maude. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Roberto da Silva Bigonha

BIGONHA, R. S.; Roberto Ierusalimschy; HEUSLER, Edward Hermann; MOREIRA, Ana Maria M.; MASCARENHAS, F.. Typed Lua: An Optional Type System for Lua. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Francisco Figueiredo Goytacaz Sant'Anna

Sant'Anna, Francisco. Typed Lua: An Optional Type System for Lua. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Orientou

Rafael Ravedutti Lucio Machado

Profiling Halide DSL with Performance Events for Schedule Optimization; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Andre Murbach Maidl;

Marcelo Pecenin

Otimização de Escalonamento Halide através de Aprendizado por Reforço; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Andre Murbach Maidl;

Adilson Matheus Kalva Tavares

Passaporte Virtual para Brevets Randonneurs Mondiaux; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Andre Murbach Maidl;

Túlio Marcos França

Uma extensão do Taggr Tag para localização colaborativa de acessórios Bluetooth Low Energy; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Paraná; Orientador: Andre Murbach Maidl;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Fabio Mascarenhas

Typed Lua: An Optional Type System for Lua; 2015; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: Fabio Mascarenhas;

Martin Alejandro Musicante

Uma Implementação da Semântica de Ações orientada a objetos em Maude; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Martin Alejandro Musicante;

Roberto Ierusalimschy

Typed Lua: An Optional Type System for Lua; 2015; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Roberto Ierusalimschy;

André Luiz Pires Guedes

Uma Implementação da Semântica de Ações Orientada a Objetos em Maude; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: André Luiz Pires Guedes;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • MAIDL, A. M. ; MASCARENHAS, F. ; IERUSALIMSCHY, Roberto . A formalization of typed lua. SIGPLAN Notices (Cessou em 1991. Cont. ISSN 1523-2867 ACM SIGPLAN Notices) , v. 51, p. 13-25, 2016.

  • MAIDL, A. M. ; MASCARENHAS, F. ; MEDEIROS, SÉRGIO ; IERUSALIMSCHY, Roberto . Error reporting in Parsing Expression Grammars. Science of Computer Programming (Print) , v. 132, p. 129-140, 2016.

  • MAIDL, A. M. ; CARVILHE, C. R. V. ; MUSICANTE, M. A. . Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science , v. 205, p. 105-121, 2008.

  • MAIDL, A. M. ; CARVILHE, C. R. V. ; MUSICANTE, M. A. . Using Visitor Patterns in Object-Oriented Action Semantics. Journal of Universal Computer Science (Print) , v. 13, p. 891-919, 2007.

  • RIBEIRO, F. ; MUHAMMAD, H. ; MAIDL, A. M. ; IERUSALIMSCHY, R. . Preserving Lexical Scoping When Dynamically Embedding Languages. In: SBLP 2015 - XIX Simpósio Brasileiro de Linguagens de Programação, 2015, Belo Horizonte. Lecture Notes in Computer Science: Programming Languages, 2015. v. 9325. p. 31-43.

  • MAIDL, A. M. ; MASCARENHAS, F. ; IERUSALIMSCHY, R. . A Formalization of Typed Lua. In: Dynamic Language Symposium, 2015, Pittsburgh. Proceedings of the 11th Symposium on Dynamic Languages. New York: ACM, 2015. p. 13-25.

  • MAIDL, A. M. ; MASCARENHAS, F. ; IERUSALIMSCHY, R. . Typed Lua: An Optional Type System for Lua. In: Workshop on Dynamic Languages and Applications, 2014, Edinburgh. Proceedings of 8th the Workshop on Dynamic Languages and Applications. New York: ACM Press, 2014. p. 1-10.

  • MAIDL, A. M. ; MASCARENHAS, F. ; IERUSALIMSCHY, R. . Exception Handling for Error Reporting in Parsing Expression Grammars. In: SBLP 2013 - XVII Simpósio Brasileiro de Linguagens de Programação, 2013, Brasília. Lecture Notes in Computer Science: Programming Languages, 2013. v. 8129. p. 1-15.

  • MAIDL, A. M. ; CARVILHE, C. R. V. ; MUSICANTE, M. A. . An Implementation of Object-Oriented Action Semantics in Maude. In: Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, 2009, Udine, Itália. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Berlin: Springer, 2009. v. 5700. p. 81-105.

  • MAIDL, A. M. ; CARVILHE, C. R. V. ; MUSICANTE, M. A. . Using Visitor Patterns in Object-Oriented Action Semantics. In: SBLP 2007 - XI Simpósio Brasileiro de Linguagens de Programação, 2007, Natal. XI Brazilian Simposyum on Programming Languages, 2007. v. único. p. 179-192.

  • MAIDL, A. M. ; CARVILHE, C. R. V. ; MUSICANTE, M. A. . Maude Object-Oriented Action Tool. In: SBMF2007/LSFA2007 Brazilian Simposyum on Formal Methods/Workshop on Logical and Semantic Frameworks, with Applicationsmal Methods, 2007, Ouro Preto. SBMF2007/LSFA2007 Brazilian Simposyum on Formal Methods/Workshop on Logical and Semantic Frameworks, with Applications, 2007.

Seção coletada automaticamente pelo Escavador

Outras produções

MAIDL, A. M. . uClibc - Uma biblioteca alternativa para sistemas embarcados. 2005.

MAIDL, A. M. . Criar e usar um servidor SVN. 2005.

Seção coletada automaticamente pelo Escavador

Prêmios

2013

Melhor artigo do SBLP 2013, Sociedade Brasileira de Computação (SBC).

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

2011 - 2012

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Colaborador, Enquadramento Funcional: Assistente de Ensino e Pesquisa, Carga horária: 4

Atividades

  • 03/2011 - 12/2012

    Estágios , Departamento de Informática, .,Estágio realizado, Estágio em Docência. Disciplinas: Programação I e II.

2007 - 2010

HSBC Software Development

Vínculo: Colaborador, Enquadramento Funcional: Senior Software Analyst, Carga horária: 40

Atividades

  • 08/2008 - 02/2010

    Serviços técnicos especializados , CIBM, .,Serviço realizado, Coordenação de equipe de suporte à aplicações de mercado financeiro, no departamento de contas do setor de bancos e mercados globais do HSBC Global..

  • 04/2007 - 08/2008

    Serviços técnicos especializados , CIBM, .,Serviço realizado, ETL - Extract, Transform and Load. Desenvolvimento de scripts em korn shell e perl para a manipulação de dados que transitam entre aplicações financeiras..

2005 - 2006

Freedows consortium

Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor Linux, Carga horária: 40

Atividades

  • 04/2005 - 10/2006

    Serviços técnicos especializados , FADT, .,Serviço realizado, Desenvolvimento principalmente em C/C++, Python e Shell Script (bash), no entanto tendo contato também com Java, XML e Perl. Criação, atualização e manutenção de pacotes RPM. Criação e manutenção de servidores Linux..

2002 - 2004

Conectiva Linux

Vínculo: Estágio, Enquadramento Funcional: Estágio - Suporte e Distro, Carga horária: 40

Atividades

  • 06/2004 - 12/2004

    Serviços técnicos especializados , Distro, .,Serviço realizado, Desenvolvimento em C/C++, Python e Shell Script (bash). Empacotamento RPM, includindo a manutenção do Firefox, Thunderbird e WindowMaker. Testes e solução de bugs encotrados na distribuição..

  • 11/2002 - 05/2004

    Serviços técnicos especializados , Suporte, .,Serviço realizado, Ajudar usuários sobre dúvidas no uso e configurações do Conectiva Linux, tanto na versão servidor como na versão estação de trabalho. Elaboração de documentos para ajudar os usuários a resolver problemas. Traduções Inglês/Português e Espanhol/Português..

2001 - 2002

Unitech Ltda

Vínculo: Colaborador, Enquadramento Funcional: Técnico em Informática, Carga horária: 36

Atividades

  • 03/2001 - 11/2002

    Serviços técnicos especializados , TI, .,Serviço realizado, Consultoria em TI (atuando como terceiro na Brasil Telecom - Curitiba - PR)..

2000 - 2001

Sul!BBS Internet

Vínculo: Colaborador, Enquadramento Funcional: Técnico em Informática, Carga horária: 40

Atividades

  • 11/2000 - 02/2001

    Serviços técnicos especializados , Servidor, .,Serviço realizado, Administração de servidores Linux, Windows NT e FreeBSD. Além da administração de criação de domínios e intraestrura de internet do provedor..

  • 06/2000 - 11/2000

    Serviços técnicos especializados , Suporte, .,Serviço realizado, Suporte Técnico a usuários de internet..

1999 - 1999

Nuvital Nutriente Ltda

Vínculo: Estágio, Enquadramento Funcional: Estágio - Administração de Redes, Carga horária: 20

Atividades

  • 03/1999 - 12/1999

    Estágios , CPD, .,Estágio realizado, Administração de redes..

2015 - 2018

Pontifícia Universidade Católica do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor Horista, Carga horária: 20

Atividades

  • 02/2015 - 12/2018

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais e Compiladores, Programação Imperativa, Sistemas Distribuídos

2018 - Atual

Elastic

Vínculo: Celetista, Enquadramento Funcional: Curriculum Developer, Carga horária: 40

Atividades

  • 02/2018

    Treinamentos ministrados , Education Team, .,Treinamentos ministrados, Desenvolvimento e ministração de treinamentos sobre a Elastic Stack.