Marcelo Cunha dos Santos
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Uberlândia (1994), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1998) e mestrado em Complex Adaptive Systems - Chalmers University Of Technology (2002). Tem experiência na área de Ciência da Computação, com ênfase em desenvolvimento de algoritmos, programação. Tem experiência em docência em ensino superior na área de programação, algoritmos e complexidade da computação.Tem experiência profissional em desenvolvimento de sistemas para internet.
Informações coletadas do Lattes em 30/11/2024
Acadêmico
Formação acadêmica
Doutorado interrompido em 2010 em Graduate Education in Real Time Systems
2006 - Atual
Mälardalens högskola
Título: On the composability of component-based embedded systems,
Orientador: Bjorn Lisper
Ano de interrupção: 2010Palavras-chave: Component Based Development; WCET.; Real Time Systems..Grande área: Ciências Exatas e da TerraSetores de atividade: Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
Mestrado em Complex Adaptive Systems
2001 - 2002
Chalmers University of Technology
Título: Modelling of C. elegans pharyngeal neural network,Ano de Obtenção: 2003
Orientador: Kristian Lindgren e Marc Pilon
Bolsista do(a): Stint Foundation, STINT, Suécia. Grande área: Ciências Exatas e da Terra
Mestrado em Computação
1996 - 1998
Universidade Federal do Rio Grande do Sul
Título: Relações Formais entre Gramáticas de Grafos e Redes de Petri,Ano de Obtenção: 1999
Orientador: Daltro J Nunes e Leila Ribeiro
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra
Graduação em Bacharelado Em Ciência da Computação
1988 - 1994
Universidade Federal de Uberlândia
Título: Teoria de Programação Funcional
Orientador: Sérgio de Mello Schneider
Idiomas
Inglê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: Desenvolvimento de sitemas para internet.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise de Algoritmos e Complexidade de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Linguagens de Programação.
Participação em eventos
ARTIST Summer School 2008. 2008. (Seminário).
GLOBAN 2008 Summer School. 2008. (Seminário).
Onassis Summer School in Computer Science. 2008. (Seminário).
10th Brazilian Workshop on Real-Time and Embedded Systems ? WTR 2008.Evaluation of an Additive WCET Model for Software Components. 2007. (Simpósio).
ACACES 2007 - Summer School. 2007. (Seminário).
ARTES Summer School 2007. 2007. (Seminário).
CASTNESS'07 Workshop and School. 2007. (Seminário).
MOTIVES Winter School. 2007. (Seminário).
Fourth GKSS School of Environmental Research: Environmental Crises: Science and Policy.Brazil, the country of football, carnival and ecosystems. 2005. (Outra).
ICCL Summer School 2005: Logic-based Knowledge Representation. 2005. (Outra).
IFAC Summer School on Control, Computing and Communication. 2005. (Outra).
Brazilian Symposium on Formal Methods. 2004. (Simpósio).
Maratona de Programação.Maratona de Programação. 2004. (Outra).
Pernambuco School on Software Engeneering: Refinement. 2004. (Outra).
XXIV Congresso da Sociedade Brasileira de Computação. 2004. (Congresso).
Produções bibliográficas
-
FONSECA, IM ; BAINUM, PM ; SANTOS, MC . CPU time consideration for LSS structural/control optimization models with different degrees of freedom. Acta Astronautica , n.(in press), 2003.
-
FONSECA, IM ; SANTOS, MC . SACI-2 Attitude Control Subsystem. In: Othon Cabo Winter; Antonio Fernando B. A. Prado. (Org.). Advances in Space Dynamics 3 - Applications in Astronautics. : , 2002, v. , p. 197-209.
-
SANTOS, MC ; Björn Lisper ; LIMA, G. ; LIMA, V. . Sequential Composition of Execution Time Distributions by Convolution. In: 4th Workshop on Compositional Theory and Technology for RealTime Embedded Systems, 2011, Viena. Proc. 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011), 2011.
-
Fonseca IM ; SANTOS, MC ; Santos MC . SACI-2 Attitude Control Subsystem. In: X Orbital Dinamics Braziliam Coloquium (CBDO 2000), 2000, Uberlândia, 2000.
-
Fonseca IM ; SANTOS, MC ; Santos MC ; Neri JACF . On the Attitude Dynamics of the Second Brazilian Scientific Satellite SACI-2. In: IAF - 50th International Astronautical Federation Congress, 1999, Amsterdam, 1999.
-
Santos, M.C. ; Björn Lisper . Evaluation of an Additive WCET Model for Software Components. 2008. (Apresentação de Trabalho/Seminário).
Outras produções
SANTOS, MC . Introdução às Gramáticas de Grafos. 1997.
SANTOS, MC . Introdução ao Método Formal Algébrico OBJ. 1996.
SANTOS, MC . Introdução à Linguagem Funcional ML. 1995.
SANTOS, MC ; GARCIA, R. V. ; VIEIRA, W. J. ; CARVALHO, F. C. . Simulação Monte Carlo de gases rarefeitos: descrição dos programas DSMC0, DSMC0F, DSMC0R, DSMC0V e DSMC0D de G.A.Bird. 2012. (Relatório de pesquisa).
SANTOS, MC ; GARCIA, R. V. ; VIEIRA, W. J. ; CARVALHO, F. C. . Simulação Monte Carlo de gases rarefeitos: descrição do programa DSMC0S de G.A.Bird. 2012. (Relatório de pesquisa).
Projetos de pesquisa
-
2005 - 2006
Análise de Algoritmos Exatos para Problemas NP-difíceis., Descrição: Um algoritmo para resolver um problema da classe NP-difícil resolve qualquer outro problema da mesma classe, fazendo-se a redução de um problema a outro. Assim, um algoritmo que resolve um problema também pode ser usado para resolver um outro problema. O objetivo desta pesquisa é analizar o comportamento dos algoritmos quando utilizados para resolver diversos problemas. A análise se concentrará no pior caso, que para problemas diferentes pode ter complexidades diferentes. Os problemas que serão analisados estão descritos na literatura, como por exemplo, problemas de teoria dos grafos (tais como clique, coloração, ciclo Hamiltoniano). Este catálogo online é atulalizado constantemente com novos problemas de otimização e resultados de algoritmos aproximativos. Os problemas que serão analisados detalhadamente serão escolhidos ao longo da pesquisa.. , Situação: Desativado; Natureza: Pesquisa. , Integrantes: Marcelo Cunha dos Santos - Coordenador.
-
2003 - 2005
Modelagem da rede neural da faringe de C. elegans., Descrição: Continuação da pesquisa de modelagem da rede neural que controla a faringe do nematodo C. elegans, projeto iniciado na pesquisa de mestrado. O objetivo é construir um modelo da dinâmica da rede neural que controla a faringe, de modo a reproduzir a geração dos sinais eletricos que controlam a alimentação. Dois modelos são propostos: equações diferencias e redes neurais artificiais. Os parâmetros do sistema serão refinados utilizando algoritmos genéticos.. , Situação: Desativado; Natureza: Pesquisa. , Integrantes: Marcelo Cunha dos Santos - Coordenador.
Prêmios
2011
Best paper award, Rapita Systems - CRTS 2011.
Histórico profissional
Endereço profissional
-
Universidade Federal do Espírito Santo, Reitoria, Núcleo de Tecnologia da Informação. , Universidade Federal do Espírito Santo, Goiabeiras, 29075910 - Vitória, ES - Brasil, Telefone: (27) 40092323
Experiência profissional
2016 - Atual
Universidade Federal do Espírito SantoVínculo: Servidor Público, Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40
Outras informações:
Desenvolvimento de sistema WEB para recepção de documentação digital e análise de renda de alunos solicitantes de assistência estudantil e sistema para recepção de documentos digitais de candidatos do SISU.
2020 - 2021
Fundação Instituto Brasileiro de Geografia e EstatísticaVínculo: Servidor Público, Enquadramento Funcional: Servidor movimentado por tempo indeterminado, Carga horária: 40
Outras informações:
Servidor movimentado pela PORTARIA N 282, DE 24 DE JULHO DE 2020, para a área de infraestrutura e suporte de informática, lotado na unidade estadual do IBGE em Maceió-AL.
2012 - 2013
Institudo de Estudos AvançadosVínculo: Bolsista, Enquadramento Funcional: Pesquisador Colaborador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Atividade de pesquisa: aplicação do método Monte Carlo DSMC para simulação de gases rarefeitos.
2010 - 2012
Instituto Nacional de Pesquisas EspaciaisVínculo: Bolsista cnpq, Enquadramento Funcional: Bolsista cnpq, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Desenvolvimento do software de tempo real (simuladores e drivers)
do EGSE (Electrical Ground Support Equipment)
relacionado ao ACDH (Attitude Control and Data Handling)
do satélite Amazônia-1, e posterior adaptação
deste software para utilização nos demais satélites
baseados na PMM, em particular no satélite Lattes-1.
2000 - 2001
Instituto Nacional de Pesquisas EspaciaisVínculo: Bolsista DTI (CNPq), Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Atividades de pesquisa: adaptação do software de recepção de telemetria. Processamento e análise dos dados da telemetria de tempo real. Pesquisa realizada na Divisão de Mecânica Celeste, no projeto PSO (Plataforma Sub-Orbital) com experimentos de microgravidade.
1998 - 1999
Instituto Nacional de Pesquisas EspaciaisVínculo: Bolsista FUNCATE, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Atividades de pesquisa dentro do projeto SACI (satélite com experimentos científicos), financiado pela FINEP/FUNCATE: adaptação do simulador da dinâmica (orbital) do SACI; adaptação do sistema de determinação de atitude e propagação de órbita para o SACI I e II; programação em OCCAM do sistema de controle de atitude (de bordo) e desenvolvimento do sistema de software para recepção e visualização da telemetria de tempo real.
2005 - 2006
Universidade Estadual de Santa CruzVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente nível A, Carga horária: 40, Regime: Dedicação exclusiva.
2003 - 2005
Universidade Estadual de Santa CruzVínculo: Professor vistante, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
05/2003 - 04/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores, Estruturas de Dados, Conceitos de Linguagens de Programação, Cálculo Numérico, Projeto e Análise de Algoritmos, Teoria da Computação, Preparação para Maratonas de Programação
2014 - 2014
Universidade Federal de Minas GeraisVínculo: Servidor Público, Enquadramento Funcional: Analista de Tecnologia da Informação, Carga horária: 40
1994 - 1995
Universidade Federal de PernambucoVínculo: Bolsista de Aperfeiçoamento, Enquadramento Funcional: Bolsista CNPq, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Pesquisa: tradução de um subconjunto da linguagem funcional ML para a maquina de redução por multicombinadores categóricos GamaCMC (Departamento de Informática, Grupo Gamma).
1993 - 1994
Universidade Federal de UberlândiaVínculo: Outro, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 12, Regime: Dedicação exclusiva.
1992 - 1993
Universidade Federal de UberlândiaVínculo: Outro, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 12, Regime: Dedicação exclusiva.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Marcelo Cunha dos Santos 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?