Mark Alan Junho Song

Possui graduação (1991), mestrado (1996) e doutorado (2004) em Ciência da Computação pela Universidade Federal de Minas Gerais. É professor Adjunto IV da Pontifícia Universidade Católica de Minas Gerais e professor Titular do Centro Universitário UNA. Também é professor do Programa de Pós-graduação em Informática da PUC-Minas (PPGInf) desde sua implantação em 2005 onde coordena o Laboratório de Métodos Formais (LabMF). Tem experiência na área de Ciência da Computação, atuando nos seguintes temas: model checking, testes de programas, engenharia de software, análise formal de conceitos diádica (FCA) e triádica (TCA). Ao término de seu doutorado atuou ativamente na sua área de pesquisa em verificação simbólica de modelos (model checking) orientando diversos alunos de mestrado em métodos para detecção de erros e falhas em sistemas de software e hardware. Nos últimos anos, com início do programa de doutorado, abriu uma nova linha de pesquisa que objetiva extrair informações em bases de dados de alta dimensionalidade aplicando FCA e TCA. Atualmente, esta é sua linha de pesquisa. Neste tema tem orientado alunos de mestrado e doutorado com publicações em conferências e periódicos que incluem parcerias de pesquisadores internacionais de renome na área. Já orientou 2 alunos de doutorado, foi orientador principal de 20 alunos de mestrado, além de ter sido coorientador de outros 3. Atuou também orientando 12 trabalhos de Iniciação Científica e 31 trabalhos de conclusão de curso. Atualmente orienta 3 alunos de mestrado, 1 de iniciação científica e 2 de conclusão de curso.

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • SISTEMAS OPERACIONAIS

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PMG

  • FUNDAMENTOS TEÓRICOS DA COMPUTAÇÃO
  • SISTEMAS OPERACIONAIS
  • TRABALHO INTERDISCIPLINAR V: SISTEMAS COMPUTACIONAIS

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • FUNDAMENTOS TEÓRICOS DA COMPUTAÇÃO


Marta Dias Moreira Noronha

Mestre em Ciências da Computação e Bacharel em Engenharia de Computação pela Pontifícia Universidade Católica de Minas Gerais, Brasil, respectivamente em 2020 e 2017. Atualmente é estudante de doutorado em Ciência da Computação nesta mesma universidade. Seus interesses de pesquisa incluem mineração de dados e aprendizado de máquina, em particular a descoberta de subgrupos por meio de biclustering e triclustering.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ALGORITMOS E ESTRUTURAS DE DADOS II

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PSG

  • ALGORITMOS E ESTRUTURAS DE DADOS II


Matheus Alcântara Souza

Doutor e Mestre em Informática pela PUC Minas. Especialista em Engenharia de Software e Tecnólogo em Análise e Desenvolvimento de Sistemas. Atualmente, Professor de diversas disciplinas na PUC Minas, e Analista de TI na Câmara Municipal de Belo Horizonte. Tem experiência em diversas áreas de Ciência da Computação, com interesses de pesquisa nos temas a seguir: computação de alto desempenho; programação, computação e processamento em paralelo; engenharia de software paralelo; simulação de arquiteturas de computadores; redes-em-chip (NoCs) e hierarquias de memória compartilhada e distribuída.

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • ARQUITETURA DE COMPUTADORES III

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • COMPILADORES

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PSG

  • ARQUITETURA DE COMPUTADORES II

CURSO DE ENGENHARIA DE SOFTWARE - PLF

  • SISTEMAS OPERACIONAIS

CURSO DE SISTEMAS DE INFORMAÇÃO - PSG

  • SISTEMAS OPERACIONAIS


Otaviano Francisco Neves

Possui graduação em Estatística pela Universidade Federal de Minas Gerais (1996), mestrado em Estatística pela Universidade Federal de Minas Gerais (2001) e doutorado em Tratamento da Informação Espacial pela Pontifícia Universidade Católica de Minas Gerais (2015). Atualmente é professor da Pontifícia Universidade Católica de Minas Gerais.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ESTATÍSTICA E PROBABILIDADE


Paulo José da Costa Cunha

Mestre em Engenharia Elétrica pelo PPGEE da PUC-Minas em 2009. Especialista em Telecomunicações pelo IEC da PUC-Minas em 1995. Graduação em Engenharia Elétrica pela Pontifícia Universidade Católica de Minas Gerais (1987). Professor no Departamento de Engenharia Eletrônica e de Telecomunicação da PUC Minas desde 1988. Trabalhei como engenheiro senior na Telemig/Telemar/Oi no período de 1994 a 2003 atuando na área de Plataformas Especiais e Comunicação de Dados. Trabalhei como engenheiro na ABC Computadores, ABC Bull e ABC Dados no período de 1989 a 1993.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ELETRÔNICA PARA COMPUTAÇÃO


Paulo Jose da Costa Cunha

Paulo Jose da Costa Cunha

Mestre em Engenharia Elétrica pelo PPGEE da PUC-Minas em 2009. Especialista em Telecomunicações pelo IEC da PUC-Minas em 1995. Graduação em Engenharia Elétrica pela Pontifícia Universidade Católica de Minas Gerais (1987). Professor no Departamento de Engenharia Eletrônica e de Telecomunicação da PUC Minas desde 1988. Trabalhei como engenheiro senior na Telemig/Telemar/Oi no período de 1994 a 2003 atuando na área de Plataformas Especiais e Comunicação de Dados. Trabalhei como engenheiro na ABC Computadores, ABC Bull e ABC Dados no período de 1989 a 1993.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ELETRÔNICA PARA COMPUTAÇÃO


Pedro Américo Almeida Magalhães Júnior

Possui graduação em Bacharelado em Engenharia Elétrica pela Universidade Federal de Minas Gerais (1989), graduação em Bacharelado em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (1989), especialização em Engenharia Civil pela Fundação Educacional Minas Gerais (1993), mestrado em Engenharia Elétrica pela Pontifícia Universidade Católica de Minas Gerais (2001) e doutorado em Engenharia Mecânica pela Pontifícia Universidade Católica de Minas Gerais (2009). Criador do software VCN-Visual Cálculo Numérico. Tem experiência na área de Matemática e Engenharia, com ênfase em Análise Numérica e Análise Estrutural, atuando principalmente nos seguintes temas: análise matemática, cálculo numérico, equações diferenciais, métodos estatísticos, elementos finitos, mecânica experimental, processos industriais, gerenciamento de projetos, metrologia ótica, inteligência artificial, engenharia de software, resistência dos materiais, fadiga mecânica.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • INTELIGÊNCIA ARTIFICIAL


Petr Iakovlevitch Ekel

Tem experiência em pesquisa, ensino, consultoria e serviço público. Com sua coordenação e participação, foram desenvolvidos mais de 60 projetos, relacionados à modelagem, otimização e controle de sistemas e processos e à tomada de decisão em cenários complexos. Publicou mais de 360 trabalhos (entre livros, capítulos de livros, artigos em periódicos e em anais de congressos, padrões estatais, patente, etc.). Sua experiência de ensino inclui diversos cursos de graduação e de pós-graduação, bem como cursos voltados para a indústria. Possui graduação em Engenharia Elétrica (pelo Instituto Politécnico de Kiev, KPI, 1972), mestrado (KPI, 1973), doutorado - Ph.D. (KPI, 1981) e doutorado - D.Sc., habil. (Suprema Comissão de Atestados do Conselho de Ministros da URSS, VAK, 1990). Tem títulos de Cientista Sênior (VAK, 1986), Professor Titular (Comitê Estatal da URSS para a Educação Pública, 1991) e Acadêmico (Academia de Ciências de Engenharia da Ucrânia, 1991). Participou na organização de mais de 160 congressos (como chair, membro do advisory committee, program committee, etc.). Foi e é membro e membro honorário do corpo editorial de 25 periódicos internacionais e nacionais (nos periódocos "Information Sciences" e "Group Decision and Negotiation", também é editor associado) e revisor de 52 revistas internacionais e nacionais. Atualmente, é professor titular da PUC-MG, orientador de teses de doutorado da UFMG, membro do Conselho Global Consultivo e Coordenador Global Regional do Brasil da International Federation of Nonlinear Analysts e pesquisador e consultor do CNPq. Foi e é consultor da ANEEL (para análise estratégica e prospectiva em projetos de P&D no setor elétrico brasileiro), FINEP, CAPES, FAPESP, CEMIG, COPEL e ASOTECH. Foi membro do Comitê de Assessoramento de Engenharias de Produção e de Transportes do CNPq, membro da Câmara de Arquitetura e Engenharias da FAPEMIG, membro do Conselho de Desenvolvimento Tecnológico da FIEMG e membro do Conselho de Diretores da World Scientific and Engineering Academy and Society. Em 2007, foi condecorado com a Medalha Santos Dumont. As atividades de pesquisa nos últimos anos nas áreas de modelagem, otimização e controle de sistemas e processos e tomada de decisão em cenários complexos, envolvem os seguintes grupos de problemas: problemas gerais da modelagem e otimização sob diferentes níveis de incerteza; programação matemática discreta, estocástica e fuzzy; tomada de decisão multicritério (multiobjetivo e multiatributo), incluindo tomada de decisão em ambiente fuzzy; agregação de informações e identificação e controle fuzzy; computação soft e procedimentos heurísticos; construção de modelos matemáticos, incluindo modelos de sensibilidade, e sua análise com base em planejamento de experimentos.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • OTIMIZAÇÃO DE SISTEMAS


Rogério Pádua Cavalcanti

Sou graduado em Ciências Sociais pela UFMG e possuo o mestrado em Ciência da Informação pela mesma universidade. Atualmente sou Professor Assistente na PUC Minas, nas áreas de Antropologia, Sociologia e Ciência Política. Possuo larga experiência na área da Educação, tanto como professor universitário quanto na formação de professores do ensino fundamental em parceria com instituições públicas e privadas. Coordenei projeto de alfabetização de adultos (EJA) nas regiões Norte de Minas e Vale do Jequitinhonha e atuei na coordenação de projeto de formação política e de cidadania para estudantes do ensino médio de escolas públicas e particulares, além de aulas, orientações e avaliações de monografias e trabalhos de conclusão em cursos de graduação e pós-graduação, presenciais ou à distância (EaD). Atuei como educador social em projetos voltados para o atendimento emergencial de crianças e adolescentes em situação de rua em Belo Horizonte, inclusive mantendo contato rotineiro com adolescentes autores de atos infracionais e colaborando com as instituições parceiras na busca de soluções pautadas pela legislação vigente. Outra experiência marcante é na área da Administração, auxiliando na compreensão e na melhoria da gestão escolar e também da gestão empresarial, focando em aspectos do planejamento estratégico das organizações tais como missão, visão, valores, cultura e clima organizacional. Na área da Cultura, atuei como agente cultural, fomentando ações e captando recursos junto a empresas para o financiamento de projetos culturais voltados para a qualificação e a geração de renda, no intuito de promover a inclusão social de jovens carentes na cidade de Belo Horizonte e região. Muito obrigado.

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • COMPUTADORES E SOCIEDADE


Romanelli Lodron Zuim

Possui graduação em Engenharia Elétrica e Eletrônica pela Pontifícia Universidade Católica de Minas Gerais (1984-1986), graduação em Matemática pela Universidade Federal de Minas Gerais (1986), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2000) na área de Arquitetura de Computadores e doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2007) na área de Arquitetura de Computadores. Trabalhou com difusão e projeto de Circuitos Integrados na SID Microeletrônica SA de 1985 a 1996. Foi bolsista da Fundação Alfried Krupp von Bohlen und Halbach nas instalações da Siemens AG. em Munique/Alemanha durante o ano de 1992 e 1993. Durante o ano de 2005 foi pesquisador convidado nas instalações do INESC-ID em Lisboa, onde desenvolveu trabalhos em resolvedores SAT (Satisfabilidade). Foi coordenador de curso e chefe do Depto. de Engenharia de Computação na Unidade São Gabriel da Pontifícia Universidade Católica de Minas Gerais de 2009 a 2011. Atualmente é professor no Curso de Eng. de Computação, Ciência da Computação e Tecnologia em Jogos Digitais da Pontifícia Universidade Católica de Minas Gerais. Tem experiência na área de Ciência da Computação, Engenharia Eletrônica e Microeletrônica, projeto e controle de processo na fabricação de dispositivos semicondutores. Atua principalmente nas seguintes áreas: arquiteturas reconfiguráveis, fpga, Arquitetura de Computadores, problemas SAT e solucionadores do problema da satisfabilidade.

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • ARQUITETURA DE COMPUTADORES II

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PMG

  • ARQUITETURA DE COMPUTADORES II

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ARQUITETURA DE COMPUTADORES II


Sandro Jerônimo de Almeida

Doutor na área de Engenharia Mecânica (ênfase Aeroespacial) pela Universidade Federal de Minas Gerais (UFMG, 2017), bacharel em Sistemas de Informação e mestre em Informática pela Pontifícia Universidade Católica de Minas Geais (PUC Minas), onde leciona e coordena o curso de Engenharia de Computação e o Microsoft Innovation Center (MIC PUC Minas). Seus trabalhos de pesquisa e inovação abordam a aplicação de inteligência artificial, otimização de sistemas complexos e mineração de dados nas áreas de aviação, jogos digitais, saúde e simulação de mosquitos aedes aegypti. Colabora com o Center For Urban and Regional Analysis (CURA) na The Ohio State University (OSU), onde realizou parte de seu doutorado e participou do NEXTOR II, um consórcio da FAA (Federal Aviation Administration) nos Estados Unidos focado em Pesquisa Operacional na aviação. Entusiasta, co-fundador e mentor de diversas startups e programas de aceleção de negócios, tem estudado e visitado ecossistemas de inovação e empreendedorismo digital no Brasil, Ásia, Europa e Estados Unidos. Seu trabalho na inspiração e orientação de estudantes tem resultado em produção técnica relevante e prêmios em competições de Inovação em âmbito Nacional e Internacional.

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • TRABALHO INTERDISCIPLINAR II: BANCOS DE DADOS E SISTEMAS INTELIGENTES

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PMG

  • OTIMIZAÇÃO DE SISTEMAS
  • TRABALHO INTERDISCIPLINAR II: BANCOS DE DADOS E SISTEMAS INTELIGENTES

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ALGORITMOS E ESTRUTURAS DE DADOS I

|


Vitor Luiz de Almeida

Graduado em Matemática (2009) - habilitação licenciatura - pela Universidade Federal de Ouro Preto (UFOP), mestre em Matemática (2012) pelo Programa de Pós-Graduação em Matemática (PPGMAT) da Universidade Federal de Minas Gerais (UFMG) e doutor em Matemática (2017) pelo mesmo programa (PPGMAT). Atualmente, é professor Adjunto I da Pontifícia Universidade Católica de Minas Gerais (PUC Minas). As áreas de pesquisa e interesse são os sistemas dinâmicos, em especial, a teoria de bilhares em superfícies de curvatura constante.

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • GEOMETRIA ANALÍTICA E ÁLGEBRA LINEAR

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • CÁLCULO I

CURSO DE MATEMÁTICA - PMG

  • GEOMETRIA ESPACIAL


Walisson Ferreira de Carvalho

Possui grande experiência em gestão acadêmica, especialmente na elaboração de currículos e na formação docente. Cursou Especialização em Training of Trainers. University of Tampere, UTA, Tampere, Finlândia e Especialização em Teaching and Learning In Higher Education. (Carga horária: 270h). University of Tampere, UTA, Tampere, Finlândia Atualmente cursa doutorado na Pontifícia Universidade Católica de Minas Gerais na área de Aprendizado de Máquina e Análise de Dados no tema Causalidade, com previsão de conclusão em setembro de 2021. Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (1992) e mestrado em Administração Pública pela Fundação João Pinheiro (2000).

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PLF

  • LABORATÓRIO DE INICIAÇÃO À PROGRAMAÇÃO

CURSO DE CIÊNCIA DA COMPUTAÇÃO - PMG

  • ALGORITMOS E ESTRUTURAS DE DADOS II
  • LABORATÓRIO DE INICIAÇÃO À PROGRAMAÇÃO

CURSO DE ENGENHARIA DE COMPUTAÇÃO - PMG

  • ALGORITMOS EM GRAFOS
  • PROJETO E ANÁLISE DE ALGORITMOS

CURSO DE SISTEMAS DE INFORMAÇÃO - PSG

  • FUNDAMENTOS DE PROJETO E ANÁLISE DE ALGORITMOS