Carlos Eduardo Zimmerle de Lima

Mestre em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE), e atualmente cursando doutorado em Ciência da Computação na UFPE. Áreas de interesse incluem: linguagens de programação, programação funcional e reativa, design e arquitetura de software, processamento de fluxos de dados, e DevOps.

Informações coletadas do Lattes em 05/04/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Programa de Pós-Graduação em Ciência da Computação

2019 - Atual

Universidade Federal de Pernambuco
Kiev Santos da Gama.

Mestrado em Programa de Pós-Graduação em Ciência da Computação

2017 - 2019

Universidade Federal de Pernambuco
Título: A Performance Analysis of a Reactive-based Complex Event Processing Library
, Ano de Obtenção: 2019.Kiev Santos da Gama.Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Sistemas de Informação

2011 - 2017

Universidade Federal de Pernambuco
Título: Uso de Data Flows para Processamento de Eventos Complexos na Internet das Coisas
Orientador: Kiev Santos da Gama
com

Ensino Médio (2º grau)

2009 - 2009

Colégio Santa Emília

Ensino Médio (2º grau)

2007 - 2008

santa joana colegio e curso

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma 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 / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

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: Sistemas Distribuídos.

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

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

Produções bibliográficas

  • VIANNA, ALEXANDRE ; KAMEI, FERNANDO KENJI ; GAMA, K. ; LIMA, C. E. Z. ; NETO, JOÃO ALEXANDRE . A Grey Literature Review on Data Stream Processing applications testing. JOURNAL OF SYSTEMS AND SOFTWARE , v. 203, p. 111744, 2023.

  • ZIMMERLE, CARLOS ; GAMA, KIEV . UAX: Measuring the Usability of TypeScript APIs. In: Simpósio Brasileiro de Engenharia de Software, 2024, Brasil. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2024), 2024. p. 803.

  • FARIAS, ELAINE CRUZ ; ZIMMERLE, CARLOS ; GAMA, KIEV . Perspectives and Challenges of iOS Developers in Using Reactive Programming with RxSwift. In: Simpósio Brasileiro de Engenharia de Software, 2024, Brasil. Anais do XXXVIII Simpósio Brasileiro de Engenharia de Software (SBES 2024), 2024. p. 609.

  • GAMA, KIEV ; ZIMMERLE, CARLOS ; PAGANINI, LAVINIA . The Comfort of Distance: Student Choices and Soft Skill Development during a Hybrid Hackathon in Post-Pandemic Learning. In: SBES 2023: XXXVII Brazilian Symposium on Software Engineering, 2023, Campo Grande Brazil. Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023. p. 368.

  • PEREIRA, ALESSANDRA ; GAMA, KIEV ; ZIMMERLE, CARLOS ; CASTOR, FERNANDO . Reactive Programming with Swift Combine: An Analysis of Problems Faced by Developers on Stack Overflow. In: SBES 2023: XXXVII Brazilian Symposium on Software Engineering, 2023, Campo Grande Brazil. Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023. p. 109.

  • ZIMMERLE, CARLOS ; GAMA, KIEV ; CASTOR, FERNANDO ; FILHO, JOSÉ MURILO MOTA . Mining the usage of reactive programming APIs. In: MSR '22: 19th International Conference on Mining Software Repositories, 2022, Pittsburgh Pennsylvania. Proceedings of the 19th International Conference on Mining Software Repositories. New York: ACM, 2022. p. 203.

  • GAMA, KIEV ; ZIMMERLE, CARLOS ; ROSSI, PEDRO . Online Hackathons as an Engaging Tool to Promote Group Work in Emergency Remote Learning. In: ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, 2021, Virtual Event Germany. Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2021. p. 345.

  • ZIMMERLE, CARLOS ; OLIVEIRA, WELLINGTON ; GAMA, KIEV ; CASTOR, FERNANDO . Reactive-based Complex Event Processing. In: the XXXIII Brazilian Symposium, 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering - SBES 2019, 2019. p. 84.

  • ZIMMERLE, CARLOS ; GAMA, KIEV . A web-based approach using reactive programming for complex event processing in internet of things applications. In: the 33rd Annual ACM Symposium, 2018, Pau. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018. p. 2167.

  • ZIMMERLE, CARLOS ; GAMA, KIEV . Reactive CEP. In: the 24th Brazilian Symposium, 2018, Salvador. Proceedings of the 24th Brazilian Symposium on Multimedia and the Web - WebMedia '18, 2018. p. 69.

Projetos de pesquisa

  • 2018 - Atual

    Construção de uma Infraestrutura de Dados de Mobilidade Urbana, Descrição: The popularization of Internet of Things in the context of smart cities has led to an increasing use of sensors to monitor different aspects of the city such as traffic, weather and air pollution. For instance, big Brazilian cities, including Recife, Rio de Janeiro, Curitiba and São Paulo, have equipped their bus fleets with sensors to monitor their buses in order to improve their service. The huge amount of data produced by IoT sensors (e.g. geolocation) has brought the attention of researchers and practitioners interesting in studying, e.g., mobility patterns and traffic behavior. The main goal of this project is to collect, integrate and analyze urban data from IoT sensors and other sources (e.g. social media) to help monitoring and planning urban mobility. Since the data used by this project might be spread in different sources and might not be easy to access, we also plan to develop a solution that publishes this data in a proper and accessible way.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (3) . , Integrantes: Carlos Eduardo Zimmerle de Lima - Integrante / GAMA, KIEV - Coordenador / Ana Carolina Salgado - Integrante / Bernadette Farias Lóscio - Integrante / CARLOS FERRAZ - Integrante / Luciano Barbosa - Integrante / Eduardo Pires - Integrante.

  • 2017 - 2019

    Processamento de Eventos Complexos baseado em Fluxos de Dados, Descrição: Estimativas de mercado apontam que a cada dois anos a quantidade de dados geradostendem a dobrar e o conceito de fast data, que refere-se a dados produzidos por dispositivos esensores (ex: Internet das Coisas) estará cada vez mais predominante, demandando açãoinstantânea. Historicamente, o comportamento padrão dos sistemas de gerenciamento de banco dedados seria armazenar dados em banco de dados para posterior processamento à medida queusuários fazem requisições em cima desses dados. Porém, visto a alta geração de dados atrelado auma necessidade de geração de informação e conhecimentos próximo a tempo real sobre tais dados,esse modelo tem se tornado inadequado em determinados contextos.Diversos modelos então começaram a ser propostos, como processamento de stream dedados (Data Stream Processing) e o processamento de eventos complexos (Complex EventProcessing - CEP). O primeiro baseia-se no uso de queries (consultas) que são executadasperiodicamente ou continuamente a medida que novos fluxos de dados chegam. Com isso, sistemasque fazem uso de tal modelo produzem resultados à medida que novos dados vão chegando. Poroutro lado, no modelo de processamento de eventos complexos, dados gerados por diversas fontessão vistos como eventos no qual são processados dinamicamente baseados em um sistema deregras pré-definidas e que normalmente dependem da ocorrência de outros evento.No desenvolver da Internet das coisas, ferramentas vem sendo construídas com a finalidadede facilitar a prototipação e desenvolvimento de IoT. Grande parte delas é baseada no uso deprogramação através de data flows ou fluxo de dados. Esta abordagem representa componentes emum grafo direcionado onde dados fluem através de arestas que conectam os componentes. Este projeto visa o desenvolvimento de técnicas e ferramentas baseadas emferramentas de data flow, combinadas com o uso de CEP, visando auxiliar na construção deconsultas em cima de fast data.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Eduardo Zimmerle de Lima - Integrante / GAMA, KIEV - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.

Histórico profissional

Experiência profissional

2013 - 2013

Universidade Federal de Pernambuco

Vínculo: Bolsista, Enquadramento Funcional: Monitor de Algoritmos e Estruturas de Dados, Carga horária: 4

2012 - 2012

Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Monitor de Matemática Discreta, Carga horária: 4

2017 - 2017

M2S Software

Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 8

2016 - 2017

M2S Software

Vínculo: Estágio, Enquadramento Funcional: Estagiário - Engenheiro de Software, Carga horária: 6