Cadeira 05 (Efetivo) - Membro da APC desde 2020

Augusto Cezar Alves Sampaio

Áreas: Computação

Link recomendado:  Biografia Oficial

Augusto Cezar Alves Sampaio nasceu em Recife-PE, em 20 de novembro de 1964. Cursou graduação e mestrado em Ciência da Computação pela UFPE e doutorado pela Oxford University. É Professor Titular do Centro de Informática (CIn) da UFPE e Pesquisador 1A do CNPq, com autoria de mais de 150 publicações, incluindo periódicos, conferências, livros e capítulos de livros. Formou mais de 50 alunos de pós-graduação, incluindo mestres e doutores. Em 2018, recebeu o Prêmio Mérito Científico da Sociedade Brasileira de Computação (SBC). Foi Pesquisador Homenageado pelo Simpósio Brasileiro de Engenharia de Software (SBES), em 2017. Em 2016, recebeu o título de Doutor Honoris Causa da University of York, Reino Unido. Em 2010, foi agraciado com o título de Comendador da Ordem Nacional do Mérito Científico, pela Presidência da República do Brasil. É Chair do Formal Methods Europe Fellowship Award Committee. Sua principal área de interesse na Computação é Engenharia de Software, com ênfase em Métodos Formais. Foi o Coordenador Brasileiro do Projeto COMPASS (Comprehensive Modelling for Advanced Systems of Systems), financiado pela Comunidade Europeia, 2011-2014, e Coordenador da Cooperação entre a Motorola Mobility e o CIn-UFPE, desde 2002, com ênfase na verificação de aplicações para dispositivos móveis. A cooperação com a Motorola é, possivelmente, a mais duradoura e a que trouxe mais recursos em toda a história da UFPE. Uma outra cooperação importante foi estabelecida com a Embraer, no contexto de testes e verificação de aplicações de sistemas aviônicos. É um dos criadores do modelo de formação conhecido como Residência em Software, premiado pelo MCTI e, atualmente, bastante difundido em todo o Brasil. Tem participado ativamente da organização e de comitês de programas das principais conferências nacionais e internacionais em Métodos Formais e Engenharia de Software, bem como de comitês assessores da CAPES, do CNPq e de outras agências de fomento. Foi palestrante convidado do Simpósio Brasileiro de Métodos Formais, do Provably Correct Systems (ProCoS) e da International Conference on Formal Engineering Methods (ICFEM), além de diversas participações em painéis e palestras convidas em universidades como Columbia, East China Normal University, Kent, Minho, NewCastle e Oxford. Foi um dos fundadores da empresa Qualiti Software Processes, atualmente incorporada à Pitang, no Porto Digital. Contribuiu, administrativamente, no CIn-UFPE, como Vice-Coordenador da Graduação, Coordenador da Pós-Graduação, Coordenador de Pesquisa, Coordenador de Cooperação com a Indústria e Chefia do Departamento de Ciência da Computação.

Patrono

João Rodrigues de Sampaio

João Rodrigues de Sampaio, filho de Francisco Rodrigues de Sampaio e de Maria Inácia de Sampaio, nasceu em Novo-Oriente, Ceará, em 3 de março de 1927. Ingressou em 1950, na então Faculdade de Medicina da Universidade do Recife, hoje Faculdade de Medicina da Universidade Federal de Pernambuco, na qual se diplomou em 1955. Ao terminar o curso médico, já com vários anos de experiência como Monitor de Anatomia, foi nomeado Assistente da Cadeira de Anatomia da Faculdade de Medicina da UFPE. Em 1961, foi classificado na função de Professor Assistente, até 1972, quando se tornou Professor Adjunto. Durante os anos de 1969-1970 foi professor Titular de Anatomia da Faculdade de Medicina de Campina Grande. Tornou-se professor livre docente da Cátedra de Neuroanatomia da Faculdade de Medicina da UFPE em 1973. João Sampaio dedicou toda a sua vida profissional à Anatomia na UFPE. Foi Chefe do Departamento no período de 1972 a 1980. Seu olhar extremamente visionário e prático, o fez perceber a necessidade da criação de um material mais acessível (do ponto de vista financeiro) e de conteúdo mais palatável ao aprendizado dos estudantes e elaborar uma série de apostilas que contemplavam todos os sistemas orgânicos (Introdução à Anatomia, Osteologia, Artrologia, Miologia, Sistemas Circulatório, Respiratório, Digestório, Urinário, Genital, Locomotor e Nervoso). Essas apostilas fazem parte do acervo do Departamento e são, até hoje, utilizadas como material no ensino. Além disto, foi o idealizador de vários modelos anatômicos utilizados como recursos adicionais ao ensino, destacando-se as réplicas do córtex cerebral e do tronco encefálico e a representação do Sistema Nervoso Autônomo Simpático. Sempre visando melhorar o ensino de Anatomia, criou, na década de 80, um Núcleo de Tecnologia Educacional, em parceria com a Sony e a Rede de TV Italiana RAI, que objetivava a criação de material audiovisual para desenvolvimento das aulas teórico práticas de Anatomia. Esse projeto e o Núcleo foram precursores na área de tecnologia da educação de ensino da Anatomia, tornando-se bastante conhecidos no País, e serviram de modelo para muitas ações desenvolvidas posteriormente. O Núcleo dispunha de equipamentos de última geração à época, que permitiu a concepção e implantação de um setor de criação e gravação de aulas de Anatomia que eram disponibilizadas por meio de monitores conectados a um circuito interno de televisão e distribuídos nos laboratórios de aulas práticas. Apesar de, na época, não haver programas de pós-graduação na área de Morfologia, em Recife, João Sampaio atuou com muita tenacidade e dedicação, promovendo, enquanto chefe e Professor Titular do Departamento, a formação do corpo docente, seja viabilizando a ida deles para programas de pós-graduação na Região Sudeste, despertando interesse e vocação em atividades de investigação por ele supervisionadas. Além disto, era um professor com uma excelente didática e teve uma efetiva participação, até a ocasião da sua aposentadoria, na formação de várias gerações de médicos formados pela UFPE.