Braz Izaias da Silva Junior

Sou um engenheiro eletricistia pela Universidade Federal de Pernambuco, com mestrado pela UNICAMP e doutorado pela Carnegie-Mellon University (USA). Também tenho um MBA em Enterprise management pela Fundação Getúlio Vargas.Tenho extensa experiencia profissional como desenvolvedor de Software (Philps, ESCA), gerente de projetos ( Controlmatic e HelthBit) e diretor comercial e de novos negocios (ST Microelectronics, TOTVS, BROADCOM, UNITEC, SILVACO e Newland).Também trabalhei em vários institutos de pesquisa, tais como Instituto Genius de Tecnologia, INstituto Atlantico, Instituto Venturus e Centro Tecnologico para Informática.Academicamente falando, trabalhei como professor universitário nas seguintes instituicões Universidade São Francisco, Centro Universitário UNISAL, Faculdade Lusofona de São paulo e FATEC (Santana de Parnaiba e Cotia). Atualmente, eu sou professor da seguintes disciplinas: (a) Banco de Dados e Data Warehouse; (b) Engenharia de Software II; (c) Processamento de LInguagem Natural; (d) Economia da informação, inovação e negócios disruptivos e Paradigmas e tecnologias emergentes em Ciencia de dados.

Informações coletadas do Lattes em 30/10/2025

Acadêmico

Formação acadêmica

Doutorado em engenharia eletrica e de computação

1998 - 2002

Carnegie Mellon University
Título: Modeling and verification of hybrid systems with clocked and unclocked events
Orientador: Bruce Krogh
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Model checking; Formal verification; Computer tool for data analysis; Pattern Behavior Calculation; hybrid automata.Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Medidas Elétricas, Magnéticas e Eletrônicas; Instrumentação / Especialidade: Sistemas Eletrônicos de Medida e de Controle. Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: engenharia de computação. Setores de atividade: Telecomunicações; Administração pública, defesa e seguridade social; Fabricação de equipamentos de informática, produtos eletrônicos e ópticos.

Mestrado em Engenharia Elétrica

1990 - 1992

Universidade Estadual de Campinas
Título: Lógica temporal de tempo real generalizada aplicada ao controle e simulação de sistemas dinâmicos e eventos discretos
, Ano de Obtenção: 1992.Rafael Santos Mendes.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: controle de sistemas hibridos; sistemas a eventos discretos; logica temporal.Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Medidas Elétricas, Magnéticas e Eletrônicas; Instrumentação / Especialidade: Sistemas Eletrônicos de Medida e de Controle.

Especialização em Analise Organizacional

2004 - 2006

Fundação Getúlio Vargas
Título: Análise e implentação de uma startup na área de turismo em serviços maritimos

Graduação em andamento em Teologia

2015 - Atual

Universidade Metodista de São Paulo

Graduação em Engenharia Elétrica

1984 - 1988

Universidade Federal de Pernambuco

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francês

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

Bandeira representando o idioma Alemão

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

Produções bibliográficas

  • SILVA JUNIOR, B. I. ; KROGH, B. H. . Modeling and verification of sampled-data hybrid systems. European Journal Of Automation, 2000.

  • SILVA JUNIOR, B. I. ; JARSKE, J. M. ; MILAN, J. ; TAKAHASHI, S. S. O. . inovação e negócios disruptivos no contexto da industria 4.0. 1. ed. , 2023.

  • SILVA JUNIOR, B. I. ; JARSKE, J. M. . MAKING OFF DA INOVAÇÃO: TRANSFORMANDO ALUNOS EM UM TIME INOVADOR DE EMPREENDEDORES EM POTENCIAL. In: SEMTEC - Simpósio dos Ensinos Médio, Técnico e Tecnológico, 2023, SAO PAULO. anais Simpósio dos Ensinos Médio, Técnico e Tecnológico, 2023.

  • SILVA JUNIOR, B. I. . An Assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: IEEE Conference on Decision and Control, 2001, Florida. IEEE Conference on Decision and Control, 2001.

  • SILVA JUNIOR, B. I. ; KROGH, B. H. . Modeling and verification of hybrid systems with clocked and unclocked events. In: IEEE Conference on Decision and Control, 2001, Flórida. IEEE Conference on Decision and Control, 2001.

  • SILVA JUNIOR, B. I. ; KROGH, B. H. . Formal verification of hybrid systems using CheckMate: a case study. In: American Control Conference, 2000, Chicago. American Control Conference, 2000.

  • SILVA JUNIOR, B. I. ; RICHESON, K. ; KROGH, B. H. ; CHUTINAN, A. . Modeling and verifying hybrid dynamic systems using CheckMate. In: ADPM, 2000. ADPM, 2000.

  • SILVA JUNIOR, B. I. ; KROGH, B. H. . Modeling and verification of Sampled-data hybrid systems. In: ADPM, 2000. ADPM, 2000.

  • SILVA JUNIOR, B. I. ; MENDES, R. S. . Generalized real-time temporal logic applied on control of non-deterministic discrete event dynamic systems. In: IEEE Conference on Decision and Control, 1992, Arizona. IEEE Conference on Decision and Control, 1992.

  • SILVA JUNIOR, B. I. ; MENDES, R. S. . Lógica temporal de tempo real aplicada ao controle de sistemas a eventos discretos não-determinísticos. In: Congresso Brasileiro de Automática, 1992, Vitória. Congresso Brasileiro de Automática, 1992.

  • SILVA JUNIOR, B. I. ; MENDES, R. S. . Aplicação de lógica temporal de tempo real na modelagem e simulação de sistemas a eventos discretos. In: Congresso Brasileiro de Automática, 1992, Vitória. Congresso Brasileiro de Automática, 1992.

Outras produções

SILVA JUNIOR, B. I. ; MENDES, R. S. . Lógica temporal de tempo real aplicada ao controle de sistemas a eventos discretos não-determinísticos. 1991.

SILVA JUNIOR, B. I. . Aplicação de lógica temporal de tempo real generalizada na modelagem e simulação de sistemas a eventos discretos. 1991.

SILVA JUNIOR, B. I. . Topicos de Informática. 2023. (Desenvolvimento de material didático ou instrucional - material didático).

Prêmios

2001

best paper award, universidade de dortmund.

Histórico profissional

Endereço profissional

  • KLESIS CONSULTING. , Rua Lorena, Parque Dom Henrique, 06716332 - Cotia, SP - Brasil, Telefone: (11) 46217577

Experiência profissional

2020 - 2022

Faculdade Lusófona de São Paulo

Vínculo: PROFESSOR, Enquadramento Funcional: PROFESSOR E COORDENADOR, Carga horária: 20

2019 - 2020

CARENET LONGEVITY

Vínculo: Celetista, Enquadramento Funcional: INTEGRATION & PRODUCT DIRECTOR, Carga horária: 40

2015 - Atual

KLESIS CONSULTING

Vínculo: DONO, Enquadramento Funcional: DIRETOR EXECUTIVO, Carga horária: 40

2015 - 2016

UNITEC

Vínculo: estatutario, Enquadramento Funcional: commercial business officer, Carga horária: 40

2011 - 2015

Broadcom Corporation

Vínculo: Celetista, Enquadramento Funcional: diretor america do sul, Carga horária: 40

2005 - 2005

instituto atlantico de tecnologia

Vínculo: Celetista, Enquadramento Funcional: GERENTE DE TECNOLOGIA, Carga horária: 40

2005 - 2008

STMicroelectronics

Vínculo: Celetista, Enquadramento Funcional: DIRETOR NOVOS NEGOCIOS, Carga horária: 40

1996 - 1998

Centro Universitário Salesiano São Paulo

Vínculo: PROFESSOR, Enquadramento Funcional: PROFESSOR, Carga horária: 8

1996 - 1998

Universidade São Francisco

Vínculo: PROFESSOR, Enquadramento Funcional: PROFESSOR, Carga horária: 8

1994 - 1995

Contromaltic S A

Vínculo: Celetista, Enquadramento Funcional: Lider de Projeto, Carga horária: 40

Atividades

  • 02/1994 - 12/1995

    Pesquisa e desenvolvimento, Contromaltic S A.,Linhas de pesquisa

1992 - 1994

Esca S A

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de desenvolvimento, Carga horária: 40

Atividades

  • 08/1992 - 01/1994

    Pesquisa e desenvolvimento, Esca S A.,Linhas de pesquisa

1996 - 1998

Fundação Centro Tecnológico para Informática

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Assistente do diretor, Carga horária: 40

Atividades

  • 01/1996 - 07/1998

    Direção e administração, Fundação Centro Tecnológico para Informática.,Cargo ou função, Assistente do diretor.

2002 - 2004

Genius Instituto de Tecnologia

Vínculo: Celetista, Enquadramento Funcional: gerente de tecnologia, Carga horária: 40

Atividades

  • 04/2002

    Direção e administração, Genius Instituto de Tecnologia.,Cargo ou função, Lider de Projetos.

  • 04/2002

    Pesquisa e desenvolvimento, Genius Instituto de Tecnologia.,Linhas de pesquisa

1989 - 1989

Philips do Brasil

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Desenvolvimento, Carga horária: 40

Atividades

  • 04/1989 - 12/1989

    Direção e administração, Philips do Brasil.,Cargo ou função, Engenheiro de Desenvolvimento.

  • 04/1989 - 12/1989

    Pesquisa e desenvolvimento, Philips do Brasil.,Linhas de pesquisa

2022 - Atual

FATEC - Faculdade de Teologia e Ciências

Vínculo: Celetista, Enquadramento Funcional: professor, Carga horária: 20

2021 - 2022

silvaco do brasil

Vínculo: Celetista, Enquadramento Funcional: DIRETOR COMERCIAL, Carga horária: 40