Marcos Borba Cardoso

Possui graduação em Ciencia da Computacao pela Universidade Católica de Pelotas (2004) e mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2007) e possui certificações OCA e OCE emitidas pela ORACLE. Atualmente atua como DIretor de Tecnologia em Segurança da Informação com 17 anos de experiência, focado em desenvolvimento de sistemas, proteção de sistemas, gestão de riscos e protocolos de segurança. Possuindo também experiência também em linguagens visuais, modelo de máquina, programação funcional, computação quântica, concorrência e Bioinformática.

Informações coletadas do Lattes em 29/01/2026

Acadêmico

Formação acadêmica

Mestrado em Ciência da Computação

2005 - 2007

Pontifícia Universidade Católica do Rio Grande do Sul
Título: Uma Proposta para a Predição Computacional da Estrutura Terciária de Polipeptídeos
, Ano de Obtenção: 2007.Osmar Norberto de Souza.Palavras-chave: Bioinformática; Proteína; Predição de Estrutura 3D de Proteína; Algoritmo Recursivo.

Graduação em Ciencia da Computacao

2001 - 2004

Universidade Católica de Pelotas
Título: Um Estudo sobre uma Abordagem Funcional para a Computação Quântica
Orientador: Renata Hax Sander Reiser
Bolsista do(a): Universidade Católica de Pelotas, UCPEL, Brasil.

Ensino Médio (2º grau)

1998 - 2000

Escola de 1º e 2º Grau Lasalle Gonzaga

Ensino Fundamental (1º grau)

1988 - 1997

Escola de 1º e 2º Grau Lasalle Gonzaga

Formação complementar

2002 - 2003

Ingles. , Ccaa, CCAA, Brasil.

2001 - 2001

Extensão universitária em PHP. (Carga horária: 40h). , Universidade Católica de Pelotas, UCPEL, Brasil.

2001 - 2001

Ingles. , Wizard Idiomas Pelotas, WIZARD, Brasil.

1998 - 1999

Ingles. , Wizard Idiomas Pelotas, WIZARD, Brasil.

Idiomas

Inglês

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

Espanhol

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Bioinformática.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Quântica/Especialidade: Computação Quântica.

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

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

Produções bibliográficas

CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Uma Abordagem Funcional na Implementação do Algoritmo de Teleportação Quântica. TEMA. Tendências em Matemática Aplicada e Computacional , v. 7, p. 237-248, 2006.
CARDOSO, M. B. ; REISER, R. H. S. . Ambiente Visual para a Máquina Geométrica. Hífen (Uruguaiana) , Uruguaiana, v. 27, p. 33-34, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Uma Abordagem Funcional na Implementação do Algoritmo de teleportação Quântica.. In: XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. Anais do XXVIII Congresso Nacional de Matemática Aplicada e Computacional.. v. 1. p. 1-6.
PRESTES, Diego Galho ; REISER, R. H. S. ; CARDOSO, M. B. ; COSTA, Antônio Carlos Rocha . Estendendo o Modelo de Máquina Geométrica a um Ambiente de Programação Visual. In: XXXI Conferencia Latinoamericana de Informatica, 2005, Cali. Anales do CLEI 2005. Cali: Javeriana, 2005. v. 1. p. 273-284.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional. In: SIRC - III Simpósio de Infomática da Região Centro do Rio Grande do Sul, 2004, Santa Maria, 2004.
CARDOSO, M. B. ; MOREIRA, M. I. G. ; AGUIAR, M. S. ; REISER, R. H. S. . A Web Semântica e Sistemas MultiAgentes. In: VIII Oficina de Inteligência Artificial, 2004, Pelotas, 2004.
CARDOSO, M. B. ; PRESTES, Diego Galho ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Implementando o Ambiente de Programação Visual para a Máquina Geométrica. In: WORKCOMP-SUL, 2004, Florianópolis. Anais, 2004. p. 1-11.
REISER, R. H. S. ; CARDOSO, M. B. ; DIMURO, Graçaliz Pereira ; COSTA, Antônio Carlos Rocha . Introduzindo o Ambiente de Programação Visual para o Modelo de Máquina Geométrica. In: XXIX CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, 2003, La Paz, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha ; BORBA, Lucas Lemes ; PRESTES, Diego Galho . Introduzindo um Ambiente de Programação Visual para a Máquina Geométrica. In: SIRC - II Simpósio de Informática do Centro do RS, 2003, Santa Maria, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Especificação de Construtores Recursivos para a Linguagem Visual da Máquina Geométrica. In: IV Simpósio do Planalto Médio, 2003, Passo Fundo, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha ; DIMURO, Graçaliz Pereira . Especificando a Recursão Espacial na LVMG. In: XVIII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 2003, Itajaí, 2003.
REISER, R. H. S. ; COSTA, Antônio Carlos Rocha ; DIMURO, Graçaliz Pereira ; CARDOSO, M. B. . Tutorial sobre Programação Visual. In: VII Oficina de inteligência Artificial, 2003, Pelotas. VII Oficina de inteligência Artificial. Pelotas: EDUCAT, 2003. p. 13-33.
REISER, R. H. S. ; COSTA, Antônio Carlos Rocha ; DIMURO, Graçaliz Pereira ; CARDOSO, M. B. . Specifying the Geometric Machine Visual Language. In: IEEE symposium on Visual Languages and Formal Methods, 2003, Auckland, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Ambiente Visual para a Máquina Geométrica. In: VIII Simposio de Informática, 2003, Uruguaiana, 2003.
CARDOSO, M. B. . Uma Linguagem Visual para Processos Computacionais Modelados na Máquina Geométrica. In: ERMAC - Encontro Regional de Matemática Aplicada e Computacional, 2002, Porto Alegre, 2002.
CARDOSO, M. B. . Uma Linguagem Visual para Processos Concorrentes. In: SIRC - 1º Simpósio de Infomática da Região Centro do Rio Grande do Sul, 2002, Santa Maria, 2002.
PRESTES, Diego Galho ; CARDOSO, M. B. ; COSTA, Antônio Carlos Rocha ; REISER, R. H. S. . Introduzindo o Ambiente de Programação Visual para o Modelo de Máquina Geométrica. In: XII Congresso de Iniciação Científica UFPEL, 2003, Pelotas, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Aplicando Algoritmos Funcionais em Modelos de Computação Quântica. In: XXVII CNMAC - Congresso Nacional de Matemática aplicada e Computacional, 2004, Porto Alegre, 2004.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Modelando Algoritmos Funcionais Sobre A Computação Quântica. In: SIC - SALÃO DE INICIAÇÃO CIENTÍFICA DA UFRGS, 2004, Porto Alegre, 2004.
CARDOSO, M. B. ; REISER, R. H. S. . Especificando um Ambiente Visual para Utilizar a Programação Funcional na Máquina Geométrica. In: XV Salão de Iniciação Científica UFRGS, 2003, Porto Alegre, 2003.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Especificando um Ambiente Visual para Utilizar a Programação Funcional na Máquina Geométrica. In: XII Congresso de Iniciação Científica UCPEL, 2003, Pelotas. Ciência & Consciência 2003. Pelotas: Educat - Editora da Ucpel, 2003. p. 418-418.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha ; DIMURO, Graçaliz Pereira . Especificando um Ambiente Visual para utilizar a Programação Funcional na Máquina Geométrica. In: XXVI CNMAC - Congresso Nacional de Matemática aplicada e Computacional, 2003, São José do Rio Preto, 2003.
CARDOSO, M. B. . Uma Linguagem Visual para Processos Computacionais Representados na Máquina Geométrica. In: Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo, 2002.
CARDOSO, M. B. . Uma Linguagem Visual para Processos Modelados na Máquina Geométrica. In: Congresso de Iniciação Científica - UCPel, 2002, Pelotas-RS. Pelotas: Educat, 2002.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Uma Linguagem Visual Para Processos Computados na Máquina Geométrica.. In: SIC - SALÃO DE INICIAÇÃO CIENTÍFICA DA UFRGS, 2002, Porto Alegre, 2002.
CARDOSO, M. B. ; REISER, R. H. S. ; COSTA, Antônio Carlos Rocha . Uma Linguagem Visual Para Computações na Máquina Geométrica. In: CIC - CONGRESSO DE INICIAÇÃO CIENTÍFICA UFPEL, 2002, Pelotas, 2002.

Prêmios

2003

Jovem Pesquisador, Universidade Católica de Pelotas.

Histórico profissional

Endereço profissional

e-trust S.A.. , Rua Félix da Cunha, 1009, Moinhos de Vento, 90619900 - Porto Alegre, RS - Brasil, Telefone: (51) 21171000, URL da Homepage:

Experiência profissional

2006 - Atual

e-trust S.A.

Vínculo: Celetista, Enquadramento Funcional: Diretor de Tecnologia, Carga horária: 200

2005 - 2007

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 20

2002 - 2004

Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul

Vínculo: Bolsista de Iniciação Científi, Enquadramento Funcional: , Carga horária: 20

Atividades

04/2003 - 03/2004
Pesquisa e desenvolvimento, Fapergs.Linhas de pesquisa
03/2002 - 02/2003
Pesquisa e desenvolvimento, Fapergs.Linhas de pesquisa

2001 - 2004

Universidade Católica de Pelotas

Vínculo: Estudante, Enquadramento Funcional: Estudante, Carga horária: 0

Atividades

08/2004 - 12/2004
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.Atividade realizada, Monitoria de Introdução a Teoria da Computação.
05/2004 - 12/2004
Pesquisa e desenvolvimento, Centro de Ciências Exatas Tecnologia e Informática, Escola de Informatica.Linhas de pesquisa
03/2002 - 02/2004
Pesquisa e desenvolvimento, Centro de Ciências Exatas Tecnologia e Informática, Escola de Informatica.Linhas de pesquisa
08/2002 - 11/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.Atividade realizada, Monitoria da Disciplina de Introdução a Teoria da Computação.
03/2002 - 06/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.Atividade realizada, Monitoria da Disciplina de Introdução a Teoria da COmputação.
09/2001 - 11/2001
Outras atividades técnico-científicas , Centro de Ciências Exatas Tecnologia e Informática, Centro de Ciências Exatas Tecnologia e Informática.Atividade realizada, Monitoria da Disciplina de Introducao a Teoria da Computacao.

2000 - 2001

Hospital Universitário São Francisco de Paula

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 0

Atividades

03/2001 - 06/2001
Serviços técnicos especializados , Hospital Universitario Sao Francisco de Paula.Serviço realizado, Servicos gerais na parte de Informatica.
09/2000 - 03/2001
Estágios , Hospital Universitario Sao Francisco de Paula.Estágio realizado, Ajudante na administracao da rede, Sistemas Operacionais entre outros.