Andre Murbach Maidl

  • Endereço para acessar este CV: http://lattes.cnpq.br/5715291694627004
  • Última atualização do currículo em 02/04/2018


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. (Texto informado pelo autor)


Identificação


Nome
Andre Murbach Maidl
Nome em citações bibliográficas
MAIDL, A. M.;MAIDL, ANDRÉ MURBACH


Formação acadêmica/titulação


2010 - 2015
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Typed Lua: An Optional Type System for Lua, Ano de obtenção: 2015.
Orientador: 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
2005 - 2007
Mestrado em Informática.
Universidade Federal do Paraná, UFPR, Brasil.
Título: Uma implementação da Semântica de Ações Orientada a Objetos em Maude,Ano de Obtenção: 2007.
Orientador: Martin Alejandro Musicante.
Coorientador: André Luiz Pires Guedes.
Palavras-chave: Semântica Formal de Linguagens de Programação; Semântica de Ações.
2000 - 2004
Graduação em Ciência da Computação.
Pontifícia Universidade Católica do Paraná, PUC-PR, Brasil.
1997 - 1999
Curso técnico/profissionalizante em Processamento de Dados.
Organização Paranaense de Ensino Técnico, OPET, Brasil.




Atuação Profissional



Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2011 - 2012
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.

HSBC Software Development, GLTB, Brasil.
Vínculo institucional

2007 - 2010
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..

Freedows Consortium, FSC, Brasil.
Vínculo institucional

2005 - 2006
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..

Conectiva Linux, CNC, Brasil.
Vínculo institucional

2002 - 2004
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..

Unitech Ltda, UNITECH, Brasil.
Vínculo institucional

2001 - 2002
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)..

Sul!BBS Internet, SUL!BBS, Brasil.
Vínculo institucional

2000 - 2001
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..

Nuvital Nutriente Ltda, NN, Brasil.
Vínculo institucional

1999 - 1999
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..

Pontifícia Universidade Católica do Paraná, PUC/PR, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Professor Horista, Carga horária: 20

Atividades

02/2015 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Imperativa
Sistemas Distribuídos
Linguagens Formais e Compiladores


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
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.
3.
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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.


Prêmios e títulos


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
MAIDL, A. M.;MAIDL, ANDRÉ MURBACH2016 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.

2.
MAIDL, A. M.;MAIDL, ANDRÉ MURBACH2016 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.

3.
MAIDL, A. M.;MAIDL, ANDRÉ MURBACH2008 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.

4.
MAIDL, A. M.;MAIDL, ANDRÉ MURBACH2007MAIDL, 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.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.


Produção técnica
Trabalhos técnicos
1.
MAIDL, A. M.. Criar e usar um servidor SVN. 2005.

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



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
STADZISZ, P. C.; MAIDL, A. M.; OLIVEIRA, A. S.; LINHARES, R. R.. Participação em banca de Leonardo Araujo Santos. 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á.

Qualificações de Doutorado
1.
OLIVEIRA, A. S.; SILVA, M. V. G.; ENEMBRECK, F.; MAIDL, A. M.. Participação em banca de Adriano Francisco Ronszcka. 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á.

Trabalhos de conclusão de curso de graduação
1.
WEINGAERTNER, D.; MAIDL, A. M.; MULLER JUNIOR, B.. Participação em banca de Rafael Ravedutti Lucio Machado.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á.

2.
WATTER, L. H.; MAIDL, A. M.; PIMENTEL, A. R.. Participação em banca de Tulio José Munhoz.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.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Lua Workshop 2017. To type or not to type Lua. 2017. (Congresso).

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

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

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

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

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

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

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

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



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
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.

2.
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.



Outras informações relevantes


Participou como aluno nas edições do Google Summer of Code de 2013 e 2014.
Participou como mentor nas edições do Google Summer of Code de 2016 e 2017.



Página gerada pelo Sistema Currículo Lattes em 23/10/2018 às 12:56:01