Marcelo Arkader Skaba

Possui graduação em Ciência da Computação pela Universidade Federal do Rio de Janeiro(2000). Atualmente é Sócio Administrador da bLive TI.

Informações coletadas do Lattes em 29/12/2025

Acadêmico

Formação acadêmica

Graduação em Ciência da Computação

1996 - 2000

Universidade Federal do Rio de Janeiro

Formação complementar

2008 - 2009

MBA em MBA Executivo. (Carga Horária: 360h). , Grupo IBMEC, IBMEC, Brasil.

Idiomas

Inglês

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

Espanhol

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

Hebraico

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

Áreas de atuação

Grande área: Outros.

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: Sistemas de Computação/Especialidade: Hardware.

Produções bibliográficas

KAISS, DAHER ; SKABA, Marcelo ; HANNA, ZIYAD ; KHASIDASHVILI, ZURAB . Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. In: Formal Methods in Computer Aided Design (FMCAD'07), 2007, Austin. Formal Methods in Computer Aided Design (FMCAD'07), 2007. p. 20-26.
SKABA, Marcelo ; KAISS, DAHER ; HANNA, ZIYAD . Post-reboot Equivalence and Compositional Verification of Hardware. In: 2006 Formal Methods in Computer Aided Design, 2006, San Jose. 2006 Formal Methods in Computer Aided Design, 2006. p. 11-18.

Histórico profissional

Endereço profissional

bLive TI, Diretoria de Tecnologia. , Rua Mariz e Barros, 1001/1009, Tijuca, 20270-004 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 30104708, URL da Homepage:

Experiência profissional

2010 - Atual

bLive TI, bLive TI

Vínculo: Sócio, Enquadramento Funcional: Sócio Administrador, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Sócio Administrado e Diretor de Tecnologia da Empresa. Responsável pela coordernação da pesquisa e desenvolvimento de todos os produtos de tecnologia da empresa.

2008 - 2011

Jasper Design Automation

Vínculo: Consultor, Enquadramento Funcional: Engenheiro de Software Senior, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Responsável pela pesquisa e desenvolvimento de software de verificação formal, utilizado nas mais importantes empresas de desenvolvimento de chips de computador do mundo.

2001 - 2008

Intel Corp

Vínculo: Celetista, Enquadramento Funcional: Lider de Projetos Senior, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Responsável pelo desenvolvimento e liderança de equipe de 5-15 pessoas, no desenvolvimento de produtos de verificação de hardware, utilizados nos mais importantes projetos de chips de computador, notebooks e servidores da Intel Corp.