André 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/07/2025
Acadêmico
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.
Curso técnico/profissionalizante em Processamento de Dados
1997 - 1999
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Á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.
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).
Participação em bancas
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.
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á.
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á.
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á.
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.
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á.
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.
Orientou
Profiling Halide DSL with Performance Events for Schedule Optimization; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, ; Coorientador: Andre Murbach Maidl;
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;
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;
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;
Produções bibliográficas
-
MACHADO, RAFAEL RAVEDUTTI L. ; EITZINGER, JAN ; MAIDL, ANDRE MURBACH ; WEINGAERTNER, DANIEL . An instrumentation framework for performance analysis of Halide schedules. JOURNAL OF COMPUTER LANGUAGES , v. 67, p. 101065, 2021.
-
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.
-
MACHADO, RAFAEL RAVEDUTTI L. ; MAIDL, ANDRÉ MURBACH ; WEINGAERTNER, DANIEL . Profiling Halide DSL with CPU Performance Events for Schedule Optimization. In: the XXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019, 2019. p. 38-45.
-
PECENIN, M. ; MAIDL, A. M. ; WEINGAERTNER, D. . Optimization of Halide Image Processing Schedules with Reinforcement Learning. In: XX Simpósio em Sistemas Computacionais de Alto Desempenho, 2019, Campo Grande. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2019. v. 67. p. 37.
-
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.
-
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. . 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.
Outras produções
MAIDL, A. M. . Criar e usar um servidor SVN. 2005.
MAIDL, A. M. . uClibc - Uma biblioteca alternativa para sistemas embarcados. 2005.
Prêmios
2013
Melhor artigo do SBLP 2013, Sociedade Brasileira de Computação (SBC).
Histórico profissional
Experiência profissional
2011 - 2012
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVí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 DevelopmentVí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 consortiumVí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 LinuxVí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 LtdaVí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 InternetVí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 LtdaVí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
ElasticVí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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de André Murbach Maidl e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?