Paulo Sérgio Lopes de Souza.

Serão feitas 02 visitas monitoradas ao ICB sob a coordenação da CCEx/ICB, programadas para os dias 24/4 e 29/5/2025. Nelas desenvolveremos as oficinas que já foram elaboradas para outras atividades extensionistas envolvendo as distintas áreas do Instituto (Anatomia, com o MAH Alfonso Bovero; Biologia Celular, com a apresentação de imagens teciduais aos visitantes; Fisiologia, com ênfase no curso de extensão direcionado para professores dos ensinos básicos sobre aspectos fisiológicos para hábitos de vida saudáveis, combate à obesidade e o desenvolvimento de doenças metabólicas associada a ela; microbiologia, com aspectos das microbiotas tanto do meio ambiente quanto dos corpos humanos; farmacologia, aspectos envolvendo a toxicologia, poluentes, fármacos e a divulgação da ciência; parasitologia, contando sobre o ICB/USP na Amazônia com o ICB5; imunologia, falando sobre vacinas, além de outros temas correlatos, como descoberta de potencial de fármacos a partir de elementos vivos dos oceanos). A intenção é apresentarmos algo lúdico e prático, além da visitação aos prédios do Instituto e que possa ser inclusive repetida em outros locais, como o próprio Museu Catavento, onde estamos fazendo um acordo de cooperação para atividades extensionistas programadas ao longo de cada ano do acordo.

O foco da atividade envolve o suporte ao uso das oficinas desenvolvidas previamente pelos membros do Projeto Biocientista Mirim (ICB) e aos 4 games desenvolvidos pelo grupo coordenado pelo Prof. Paulo Sergio Souza (ICMC), com os cursistas do Curso de Extensão que acontecerá a partir do dia 04 de agosto, na modalidade EaD e utilizando o sistema moodle USP. Será dada preferência para estudantes dos cursos de biológicas, de saúde, de computação, que efetivamente tenham disponibilidade a fazer a interface com os cursistas, através do fórum e de pelo menos 1 encontro síncrono quinzenal durante todo o período do curso. A interação via forúm não tem horário pré-estabelecido, mas deverá ser feito semanalmente, no mínimo. Já a interação síncrona, precisará ser organizada e articulada com o conjunto dos demais estudantes extensionistas e com os cursistas, em geral, 1 hora dentro do período das 18h30 até 20h30 em um dia fixo da semana é a opção que melhor proporciona presença dos cursistas.Os estudantes extensionsitas deverão organizar um formato de interação com os cursistas de modo a proporcionar encontros síncronos para exercitar as oficinas e os games, dando suporte aos cursistas para uso dessas ferramentas em suas salas de aula. Além disso, deverão participar do processo de avaliação da usabilidade dos games como recurso de ensino aberto, especialmente direcionado ao público de estudantes dos últimos anos do ensino fundamental e do ensino médio. Como o curso é constituído de 6 módulos, cada um sendo disponibilizado aos cursistas a cada 15 dias. Assim, será essencial pelo menos três encontros entre a coordenação e os inscritos da AEX para discutirmos o conteúdo e como deverá ser o acompanhamento do fórum e a programação para os encontros síncronos e definição das oficinas e games.

(AEX-ICMC-00005.01) Desenvolvimento de recursos computacionais (apps e sistemas web) para promover a integração de conhecimentos técnicos e científicos sobre a biologia reprodutiva de espécies arbóreas ao conteúdo do ensino infantil, fundamental e médio.Grupo social alvo da atividade:Professores e alunos do ensino infantil, fundamental e médio; e comunidade que visita o campus da ESALQ/USP.Objetivos, metas e resultados esperados:Desenvolvimento de recursos computacionais (apps e sistemas web) para promover a integração de conhecimentos técnicos e científicos sobre a biologia reprodutiva de espécies arbóreas ao conteúdo do ensino infantil, fundamental e médio. Metas: 1) Preparar recursos didáticos sobre a biologia reprodutiva das árvores, para os diferentes perfis de alunos e professores; 2) Realizar visitas guiadas nos campus da USP, assim como, se possível aproveitar da infraestrutura das escolas para apresentar o conteúdo no ambiente de ensino escolar e 3) Desenvolver jogos educativos com a temática em questão. Resultados Esperados: Espera-se proporcionar aos alunos de graduação um ambiente oportuno de interação com professoras e alunos do ensino infantil, fundamental e médio de escolas da região, assim como divulgar os matérias desenvolvidos para uso de toda comunidade. Essa interação possibilitará aos acadêmicos uma imersão nas áreas de conhecimento deste programa.

Público Alvo:Professores dos ensinos médio e fundamental e demais agentes de educação em escolas públicas e privadasObjetivo:Revisar o conteúdo sobre aspectos de hábitos saudáveis como alimentação saudável e atividade física frequente, bem como os aspectos fisiológicos que estão por trás do controle metabólico adequado das pessoas. Tudo isso acrescentando material paradidático como jogos presenciais e virtuais aos professores com objetivo de usarem em suas respectivas salas de aula.Justificativa:Nosso curso está em sintonia com a proposta da OMS, na campanha lançada em 2016 Beat Diabetes; com a agenda 2030, para, pelo menos os seguintes objetivos 2 (Boa Saúde e Bem estar), 3 (Educação de Qualidade) e 12 (Consumo e Produção Responsáveis); e com a formação final humanística que as atividades de extensão são capazes de promover com os discentes da Universidade que participam tanto da criação desta atividade quanto a sua realização.

No Programa " Reprodução das árvores" serão realizadas atividades de contato direto e indireto com o público alvo envolvido nesta proposta. As atividades de contato direto serão realizadas com Professores do ensino infantil, fundamental, médio e seus respectivos alunos. Essas serão planejadas pelos docentes e acadêmicos da ESALQ e de outras unidades da USP, de forma que o conteúdo relacionado à "Reprodução das árvores" seja abordado de forma integrada com as atividades desenvolvidas pelo público alvo, em seu conteúdo formativo. Dentro da proposta além do preparo de material didático complementar serão realizadas visitas guiadas no campus da ESALQ/USP, para a aplicação do conhecimento do conteúdo, em situações da rotina de cada participante, reuniões e oficinas com os professores para definir a conexão do conteúdo com o tema e ajustes. As atividades, aqui denominadas de contato indireto, serão realizadas através do preparo de conteúdos sobre a morfologia de algumas espécies arbóreas, fases reprodutivas e a criação de um sistema digital interativo para que o público que visita o campus da ESALQ/USP possa além de contemplar a beleza das árvores do campus, registrar sua percepção relacionada as fases de florescimento de algumas espécies chaves. Assim após alguns eventos reprodutivos compartilharemos informações sobre o clima e os eventos reprodutivos, fazendo conexões sobre a relação planta atmosfera.Grupo social alvo da atividade:Professores e alunos do ensino infantil, fundamental e médio; e comunidade que visita o campus da ESALQ/USP.

Público Alvo:Professores dos ensinos médio e fundamental e demais agentes da educação em escolas públicas e privadas.Objetivo:Revisar o conteúdo sobre aspectos de hábitos saudáveis como alimentação saudável e atividade física frequente, bem como os aspectos fisiológicos que estão por trás do controle metabólico adequado das pessoas. Tudo isso acrescentando material paradidático como jogos presenciais e virtuais aos professores com objetivo de usarem em suas respectivas salas de aula.Justificativa:Nosso curso está em sintonia com a proposta da OMS, na campanha lançada em 2016 Beat Diabetes; com a agenda 2030, para, pelo menos os seguintes objetivos 2 (Boa Saúde e Bem estar), 3 (Educação de Qualidade) e 12 (Consumo e Produção Responsáveis); e com a formação final humanística que as atividades de extensão são capazes de promover com os discentes da Universidade que participam tanto da criação desta atividade quanto a sua realização.

(ODS-ONU 2021 - PRCEU-02/2021) Este projeto é para elaboração e realização da 7a edição do curso de atualização para professoras e professores dos ensinos fundamental e médio do país, preferencialmente ensino público, denominado Metabolismo e Obesidade: uma abordagem fisiológica. A motivação para dar continuidade a realização deste curso, que tem tido ofertas anuais desde 2005, mas com o tema atual e em formato EaD desde 2016 envolve dois aspectos: (1) incluir estudantes de graduação e PG e PD em atividades de extensão universitária para a troca de saberes e vivência das realidades da comunidade geral e (2) resposta à campanha lançada pela OMS em 2016 intitulada "Beat Diabetes". Afinal, diante da ocorrência crescente de sobrepeso e obesidade entre homens, mulheres e crianças, que são fatores de risco importante para doenças crônicas degenerativas não transmissíveis, como o diabetes a doença cardiovascular, as dislipidemias, a síndrome metabólica, o fígado gorduroso e até alguns tipos de cânceres escolhemos uma ação que poderá ter impacto na sociedade como um todo através da troca de experiências envolvendo o conhecimento científico e estratégias pedagógicas para municiar os professores dos ensinos fundamental e médio do país. Certamente auxiliaremos a divulgação do conhecimento científico, propiciaremos a discussão crítica dos temas envolvidos e promoveremos a atualização dos professores e professoras bem como a visão social e empática necessária dos nossos estudantes em prol de melhora da saúde da população geral. Haverá vídeo-aulas, fóruns de discussão, atividades síncronas, material de apoio como textos, atividades lúdicas relacionadas aos temas desenvolvidas em conjunto com o Projeto de Extensão do ICB denominado Biocientista Mirim, produção de gameficação para uso pelos professores com seus respectivos alunos e mesmo sociedades locais, edição de 1 ebook e pelo menos uma atividade presencial usando o onibus da PRCE para segundo semestre de 2022.

Público Alvo:Este curso de programação tem como foco alunos de graduação em cursos de computação.Objetivo:Abordar de maneira abrangente os principais conceitos e princípios norteadores dos sistemas operacionais de computadores.Justificativa:É cada vez maior a necessidade por profissionais que consigam desenvolver soluções de software para os atuais sistemas computacionais, explorando corretamente os benefícios dos recursos de software e hardware. Este curso aborda os principais conceitos atuais de Sistemas Operacionais de computadores. O curso estimulará os estudantes a entenderem como os sistemas operacionais funcionam e estão estruturados, permitindo o uso futuro desse entendimento em soluções computacionais durante e depois da graduação.

Público Alvo:Este curso de programação tem como foco alunos de primeiro ano da graduação em cursos de computação, e demais interessados da área.Objetivos:- Estimular o "pensar paralelo" dos alunos em soluções computacionais;- Introduzir aspectos práticos da programação concorrente com threads em OpenMP com C;- Permitir que alunos de começo de curso, mesmo com poucos conhecimentos de programação sequencial, arquitetura de computadores e sistemas operacionais possam desenvolver algoritmos paralelos;- Introduzir conceitos práticos de avaliação de desempenho através de soluções paralelas.Justificativa:É cada vez maior a necessidade por profissionais que consigam desenvolver soluções de software para os atuais processadores multi e manycore, explorando corretamente os benefícios da programação paralela. Este curso introduz a programação em OpenMP com a linguagem C. O curso tem um foco totalmente prático, em laboratório, baseado em desafios de uma maratona paralela. Serão propostos diferentes desafios paralelos aos alunos ao longo do curso, sempre visando explorar o paralelismo existente nos mesmos. Nosso intuito será estimular o "pensar paralelo" nos alunos ingressantes em computação e, assim, permitir o uso futuro desse conhecimento em soluções computacionais durante e depois da graduação.

Público Alvo: Este curso de programação tem como foco alunos de primeiro ano da graduação em cursos de computação, e demais interessados da área.Justificativa: É cada vez maior a necessidade por profissionais que consigam desenvolver soluções de software para os atuais processadores multi e manycore, explorando corretamente os benefícios da programação paralela. Este curso introduz a programação em C já trazendo conceitos básicos de programação paralela com OpenMP. O curso tem um foco totalmente prático, em laboratório. Serão desenvolvidas diferentes aplicações sempre com um olhar para o paralelismo existente nas mesmas, de modo a estimular o "pensar paralelo" nos alunos e, assim, permitir o uso futuro desse conhecimento em soluções computacionais durante e depois da graduação.Objetivos: - Estimular o pensar dos alunos em soluções paralelas;- Introduzir aspectos práticos da programação concorrente com threads;- Permitir que alunos de começo de curso, mesmo sem conhecimentos de programação sequencial, arquitetura de computadores e sistemas operacionais possam desenvolver algoritmos paralelos;- Introduzir conceitos práticos de avaliação de desempenho através de soluções paralelas.

Curso de Extensão de Difusão Cultural voltado para alunos que estão cursando o primeiro ano da graduação em cursos de computação e comunidade em geral com conhecimentos básicos de programação estruturada em C. Os objetivos deste projeto são: estimular os alunos de computação de começo de curso a pensarem em paralelo no desenvolvimento de algoritmos; introduzir a programação de threads para máquinas MIMD com memória compartilhada; e introduzir o modelo de programação C/OpenMP.

Curso de Extensão de Difusão Cultural voltado para alunos que estão cursando o primeiro ano da graduação em cursos de computação e comunidade em geral com conhecimentos básicos de programação estruturada em C. Os objetivos deste projeto de extensão são: estimular os alunos de computação de começo de curso a pensarem em paralelo no desenvolvimento de algoritmos;introduzir a programação de threads para máquinas MIMD com memória compartilhada; eintroduzir o modelo de programação C/Pthreads.

De forma geral, ao final do curso os alunos deverão ser capazes de desenvolver programas concorrentes usando um modelo de programação heterogêneo centrado em CUDA e com MPI/OpenMP.De maneira específica, os objetivos deste curso de extensão são:-Transmitir conhecimentos básicos de computação de alto desempenho em unidades de processamento gráfico (Graphics Processing Unit - GPU), utilizando CUDA e a linguagem C.-Capacitar o estudante na resolução de problemas não gráficos que requerem alto poder de processamento com GPU e CUDA.-Ensinar o desenvolvimento de programas paralelos que utilizam CUDA, MPI e OpenMP.

Projeto submetido ao ICMC em atendimento ao edital 01/2014 - Programa de Incentivo às Atividades de Extensão do ICMC.

Este curso visa realizar uma introdução à Tecnologia das Memórias Transacionais. Tem como audiência alvo todos aqueles que tenham alguma experiência prévia em computação concorrente / paralela e pretendam conhecer e aprender outros mecanismos de sincronização alternativos aos tradicionais semáforos (locks) e variáveis de condição (condition variables).No final deste módulo, a audiência irá compreender o que são Memórias Transacionais e como podem ser utilizadas na especificação de programas concorrentes nas linguagens de programação mais comuns. A audiência irá também compreender a problemática da implementação de memórias transacionais, tanto por software como por hardware. Este conhecimento permitirá aos membros da audiência experimentar autonomamente com Memórias Transacionais e decidir quanto à sua utilização ou não nos seus programas concorrentes.

Difusão cultural destinada aos alunos da graduação da USP em São Carlos e a Comunidade em Geral, a fim de transmitir conhecimentos práticos sobre as atividades desenvolvidas pelas empresas durante seus processos seletivos de contratação de estagiários. A proposta do curso é trazer aos alunos de Ciências Exatas e de Tecnologia, aspectos pertinentes a dinâmicas de grupo, entrevistas e análise de currículos, estes realizados pelas empresas durante seus processos seletivos. Espera-se como este curso fornecer aos participantes uma visão sobre aspectos comportamentais, preparando-os para esta etapa da sua vida profissional, p potencializando, com isso, seu ingresso em boas empresas.O objetivo do curso é transmitir aos alunos aspectos práticos da participação em dinâmicas de grupo, entrevistas para seleção de estagiários e elaboração de currículos aos alunos vitae.

Instalação e configuração de cluster diskfull; instalação e configuração de cluster diskless; instalação e configuração de RAMDISK; instalação e configuração de ambientes de passagem de mensagens; exemplos de aplicações paralelas, desenvolvidas com ambientes de passagem de mensagens.

Um Ensaio de Proficiência consiste na avaliação do desempenho de um conjunto de participantes com base em critérios pré-estabelecidos. Ele geralmente é aplicado em contextos onde organismos que realizam a avaliação da conformidade de determinado produto necessitam ter a competência dos participantes demonstrada por meio de uma inter comparação. Embora os Ensaios de Proficiência tenham métodos e procedimentos muito bem definidos em diferentes áreas do conhecimento, o mesmo não ocorre quando os organismos responsáveis têm que avaliar produtos de software. Tal dificuldade se dá principalmente em função da inerente subjetividade associada à avaliação da conformidade de um produto de software, bem como da dificuldade em se determinar métricas eficientes para se verificar quão eficiente é um determinado procedimento de avaliação. Em resposta a isso, o presente projeto propõe o desenvolvimento de uma metodologia própria para especificação de Ensaios de Proficiência em Avaliação de Software, que inclua procedimentos e métricas eficientes para determinar o grau de competência com que um organismos ou laboratório pode avaliar e atestar a conformidade de produtos software. Esta iniciativa é de grande interesse da academia, indústria e governos, considerando-se que cada vez mais provedores de soluções baseadas em software recorrem a avaliações de terceira parte para atestar a conformidade de seus produtos, e consequentemente precisam confiar que os organismos que prestam esses serviços são devidamente competentes.

Este projeto está sendo desenvolvido em parceria com pesquisadores da ESALQ/USP - Escola Superior de Agricultura Luiz de Queiroz. O projeto está inserido no Plano de Agricultura de Baixo Carbono do Ministério da Agricultura, Pecuária e Floresta, compreendendo as ações em que o componente florestal integra o sistema de produção. O projeto visa desenvolver um software/aplicativo que contemple informações relacionadas a clima, solo, altitude, etc., e apresente ao produtor rural informações sobre aptidão de diferentes espécies florestais/clones para cultivo na região do Cerrado Brasileiro. O software/aplicativo deverá apresentar ao público alvo, de forma amigável e usando recursos de informação geográfica (mapas e localização geográfica), as recomendações de espécies florestais adaptadas ao cultivo em sistema de monocultivo e de Integração Lavoura Pecuária e Floresta na região de abrangência do bioma Cerrado no Brasil, de acordo com as características de solo e clima da propriedade rural indicada.

In this project we join efforts and expertise from several Computer Science re- searchers on High Performance Computing (HPC). Our main goal is to promote high impact research on two areas of HPC: Resource Management and on New Computer Architectures. Each area is divided in various topics. Each topic is lead by an experienced researcher and it will be tackled with the help of collaborators and students. With this project we want to provide not only the research itself but also the synergy of São Paulo State researchers.

Há no contexto atual, diversos laboratórios relevantes para o ensino de computação no ICMC-USP. Em geral, esses laboratórios são utilizados pelos alunos como estações de trabalho para desenvolver códigos, fazer trabalhos de graduação das mais variadas disciplinas, mas não podem ser utilizados e preparados dinamicamente, para atender disciplinas relacionadas à infraestrutura computacional (DevOps). Por exemplo, diversas disciplinas exigem atividades que requerem que o aluno tenha acesso a privilégio de administração do computador. Tais atividades não podem ser realizadas em ambientes convencionais e necessitam de uma infraestrutura SaaS/IaaS. Disciplinas como Computação Distribuída, Programação Paralela, Computação em Nuvem, Internet das Coisas e novas disciplinas como Stream de Dados, Micros Serviços e Containers, carecem de equipamentos e ambientes dinâmicos e mais adequados, para que alunos dos cursos de ciências de computação, sistemas de informação, engenharia de computação, matemática e estatística, possam lidar com o ambiente computacional. Embora haja uma vasta disponibilidade de nuvens computacionais fora do ambiente acadêmico em que os alunos possam aprender a desenvolver soluções computacionais atuais, elas são custosas para os discentes e também para a universidade. Esses ambientes requerem contratos compagamentos pelos usuários e que são inviáveis de serem financiados a médio e longo prazo. Ademais, os cursos de computação por falta de equipamentos que possam ser ajustados para alunos e docentes lidarem de forma completa com o ambiente computacional, inviabiliza a formação de profissionais que têm sido demandados para lidar com problemas que envolve vasto processamento paralelo, distribuído e, com enorme volume de dados. Novas abordagens e metodologias nesse campo somente podem ser implementadas se houver infraestrutura adequada que permita uma sinergia entre alunos e professores. Neste contexto,o objetivo desta proposta é construir um projeto piloto de uma infraestrutura como serviço para o ensino de computação, matemática e estatística em disciplinas do ICMC-USP que carecem de ambientes para lidar não somente com aplicações, mas como essas aplicações possam ser dispostas em plataformas computacionais e consequentemente ajustadas na infraestrutura. A proposta pode ampliar a formação dos alunos, pois estes terão condições de estarem preparados para resolverem problemas complexos do mundo real que requeremconhecimento em produzir aplicações com alta escalabilidade, alta conectividade e que tenham capacidade de criar arquiteturas computacionais associadas a infraestrutura para armazenamento, processamento e otimização de grandes volumes de dados gerados no nosso cotidiano. Ainda, que nossos alunos de matemática e estatística estejam preparados para entender os ambientes densos de infraestrutura computacional, quando utilizados em processos de mineração de dados, bigdata e inteligência artificial.

Esta proposta visa construir uma forte relação de pesquisa entre as equipes da QUB e da USP na área de Teste de Software. Para isso, estão planejadas atividades de intercâmbio (missões de pesquisa), nas quais organizaremos uma ou mais palestras e cursos de curta duração pelo pesquisador convidado, workshops interativos intensivos de um dia e também reuniões individuais entre o pesquisador convidado e os pesquisadores locais.

Ensinar a atividade de teste de software não é trivial, também pela dificuldade em elaborar exercícios práticos. Poroutro lado, sabe-se que professores produzem recursos educacionais com conceitos, exemplos e atividades práticas sobre a atividade de teste. No entanto, a disseminação desses recursos dificulta a localização desse tipo de material.Este projeto visa estimular a divulgação de recursos educacionais da área de teste de software, objetosde aprendizagem, jogos educacionais, listas de exercícios), reunindo metadados dos mesmos em um único ambiente. Espera-se criar um catálogo inspirado na teoria do design, centrado no usuário, para conceber um sistema que facilite a localização dos recursos educacionais e estimule a reusabilidade desse tipo de material. Com este catálogo de recursos educacionais, espera-se beneficiar professores da área e encorajar autores a disponibilizar os seus recursoseducacionais.

Providing parallel programming education is an emerging challenge, requires teaching ap-proaches to further the learning process and a complex infrastructure to provide a suitableenvironment for the laboratory practical classes. Do not prioritize parallel programming re-quirements in future computing professionals learning can lead to a significant training gap,negatively impacting the efficient use of current computing platforms. To popularize "parallelthinking," it is essential to adopt practical learning approaches and means to facilitate softwareconfiguration and the infrastructure necessary for laboratory classes. Unfortunately, many publicand private institutions do not have a cluster or an infrastructure to run parallel programs. Also,there is an operational cost to create and maintain a required environment for these laboratory classes. Another point that culminates in barriers to the adoption of parallel education, manytimes, is the lack of teachers without research in high-performance computing and difficulties inmanaging the execution environment. This research aims to evaluate whether developing a tool to assist practical classes in parallel programming can advance this teaching in institutions without infrastructure or qualified personnel. This project seeks to develop an instructional unit for the teaching of parallel computing in the course of computer science, using test methodologies, making the learning environment highly configurable and scalable with the use of containers. We extensively studied existing works to determine how practical teaching was carried out inthe institutions to create the tool. We define the requirements, development, and experimentscarried out with professionals in the computer area and students to assess its practical teaching effectiveness. As a result, we propose Iguana, an open-source tool for teaching parallel program-ming, thinking about students who do not have access to this type of infrastructure, usually low-income persons.

Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.

Projeto FAPESP nr 2017/25410-8 aprovado pela FAPESP sobre Computação de Alto Desempenho Aplicada à Predição de Estrutura de Proteínas, para a IC de Matheus Henrique Junqueira Saldanha.

Projeto FAPESP nr 2018/08343-8 para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018.
O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. 
Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela.

Projeto aprovado no CNPq para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018.
O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. 
Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela.

Projeto CAPES nr 88887.191254/2018-00 para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018.
O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. 
Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela.

CAPES processo nr 88881.123431/2016-01
A 8ª ERAD-SP, ou ERAD-SP 2017, (http://www.sbc.org.br/eradsp2017) foi realizada de 08/04/2017 a 10/04/2017 no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP), em São Carlos. Além da instituição sede (ICMC/USP), o comitê organizador deste evento também contou com colaboradores de diferentes instituições, como: Universidade Federal de São Carlos (UFSCar), Universidade Federal de São Paulo (UNIFESP), Universidade Federal do ABC (UFABC), Universidade Presbiteriana Mackenzie (Mackenzie), Instituto Federal de Educação de São Paulo (IFSP - São Carlos, Catanduva e Araraquara), Faculdade de Tecnologia de São Paulo (FATEC) e Universidade Paulista (UNIP).
 O principal objetivo da ERAD-SP 2017 foi disseminar a importância, os desafios e as perspectivas dos conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos, a estudantes de graduação (em especial), pós-graduação e profissionais das ciências exatas de todo o nosso país. Além deste, a ERAD-SP 2017 visou integrar pesquisadores, estudantes e profissionais, alinhando a comunidade em relação ao presente e ao futuro da Computação de Alto Desempenho.

Projeto aprovado no CNPq nr 441761/2016-0 para a realização da ERAD-SP 2017
A 8ª ERAD-SP, ou ERAD-SP 2017, (http://www.sbc.org.br/eradsp2017) foi realizada de 08/04/2017 a 10/04/2017 no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP), em São Carlos. Além da instituição sede (ICMC/USP), o comitê organizador deste evento também contou com colaboradores de diferentes instituições, como: Universidade Federal de São Carlos (UFSCar), Universidade Federal de São Paulo (UNIFESP), Universidade Federal do ABC (UFABC), Universidade Presbiteriana Mackenzie (Mackenzie), Instituto Federal de Educação de São Paulo (IFSP - São Carlos, Catanduva e Araraquara), Faculdade de Tecnologia de São Paulo (FATEC) e Universidade Paulista (UNIP).
 O principal objetivo da ERAD-SP 2017 foi disseminar a importância, os desafios e as perspectivas dos conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos, a estudantes de graduação (em especial), pós-graduação e profissionais das ciências exatas de todo o nosso país. Além deste, a ERAD-SP 2017 visou integrar pesquisadores, estudantes e profissionais, alinhando a comunidade em relação ao presente e ao futuro da Computação de Alto Desempenho.

MISSÃOFornecer amplos recursos e mecanismos para conectar cientistas, engenheiros, matemáticos e especialistas em computação, a fim de enfrentar os desafios científicos e tecnológicos em um ambiente colaborativo e envolvente, formando recursos humanos de alto nível, bem como desenvolvendo novas técnicas matemáticas transformadoras e explorando suas aplicações em benefício da sociedade.VISÃOSer líder e referência em ciências matemáticas no Brasil e no mundo, aumentando seu impacto no setor produtivo e servindo de ponte entre a matemática de mais alto nível e problemas de importância científica e tecnológica. Ser visto como Centro de excelência em áreas estratégicas para o desenvolvimento tecnológico do País, expandindo e fortalecendo a base de talentos em ciências matemáticas que possuam habilidades para aplicações interdisciplinares. E assim, futuramente, transformar-se em um Instituto Especializado.OBJETIVOS ESPECÍFICOS 1. O CEPID-CeMEAI deverá constituir-se num centro irradiador de informação em aplicações das ciências matemáticas, identificando problemas e áreas que possam beneficiar-se de novas pesquisas em ciências matemáticas e colocando-as em contato com pesquisadores de alta qualidade. O Centro deverá promover o contato de especialistas em ciências matemáticas com empresários, agentes de inovação, trabalhadores da indústria, pesquisadores e praticantes de outras áreas do conhecimento para a discussão de problemas comuns.2. O CEPID-CeMEAI proporcionará um ambiente e terá uma programação, propícios ao desenvolvimento de pesquisas aplicadas ao setor produtivo. O Centro possibilitará a colaboração com outras áreas e a difusão do conhecimento em ciências matemáticas aplicadas.3. O CEPID-CeMEAI deverá contribuir no sentido de construir uma comunidade multidisciplinar mais sólida e duradoura, treinando estudantes para que possam colaborar na resolução de problemas práticos e estejam preparados para propagar a filosofia do Centro a outras regiões do país.4. O CEPID-CeMEAI promoverá a educação multidisciplinar de matemáticos e estatísticos desde o início de suas carreiras, contribuindo para a formação de uma comunidade mais aberta ao diálogo com outras áreas do conhecimento, o que deve contribuir para a utilização da matemática e da estatística numa gama maior de aplicações.5. O CEPID-CeMEAI deverá promover as ciências matemáticas como uma ferramenta útil no desenvolvimento científico e tecnológico do Brasil e não apenas como uma arte de interesse puramente acadêmico.6. O CEPID-CeMEAI se tornará uma referência internacional na cooperação entre universidade e indústria/governo em aplicações das ciências matemáticas.

Projeto FAPESP nr 2016/25819-0
A ERAD-SP 2017 dissemina conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos a alunos de graduação, pós-graduação e profissionais das ciências de todo o nosso país. A Escola tradicionalmente tem unido jovens talentos da academia, pesquisadores e profissionais em torno de um tema estratégico para a geração de conhecimento, vantagem competitiva e riqueza para São Paulo. A ERAD-SP mostra as pesquisas que vêm sendo desenvolvidas na academia, tanto aos profissionais que atuam no mercado de trabalho quanto para novos alunos que buscam entender o que significa trabalhar com a computação de alto desempenho. Pesquisa de ponta, reciclagem e disseminação de conhecimento são características inerentes da ERAD-SP em todas as suas edições. A ERAD-SP 2017 inova em relação às edições anteriores, alterando sua programação para dar ênfase aos minicursos e ao caráter de escola do evento. Fechando os minicursos, no último dia será realizado um desafio de programação paralela, para que os participantes apliquem os novos conhecimentos adquiridos. A ERAD-SP é, portanto, uma oportunidade única em São Paulo para que profissionais da indústria, academia e alunos participem de minicursos, palestras, apresentem trabalhos com foco em tecnologias de ponta e sejam desafiados a aprimorar seus conhecimentos. Minicursos básicos apresentam conceitos e tecnologias já consolidados na atualidade para novos e jovens talentos. Minicursos avançados abordam tecnologias emergentes em Computação de Alto Desempenho. Palestras norteadoras apresentam temas específicos, desenvolvimentos em curso e novas tendências na área. Sessões de Pós-Graduação e a Sessão de Iniciação Científica oferecem a oportunidade de alunos apresentarem seus trabalhos acadêmicos em desenvolvimento, além de aproximar pessoas, fomentar o ingresso de novos alunos e consolidar a comunidade científica que atua em Computação de Alto Desempenho em São Paulo.

Este projeto visa o desenvolvimento de Recursos Educacionais Abertos (REA) para o ensino da computação para alunos da graduação e da pós-graduação. Os REA desenvolvidos estão disponíveis em 
http://rea.lasdpc.icmc.usp.br/en/

A computação na atualidade é considerada pervasiva e distribuída. Sistemas computacionais estão presentes em diferentes setores da sociedade e interagem para melhorar nossa qualidade de vida. A programação concorrente está presente em tais sistemas, oferecendo primitivas para a interação (comunicação e sincronização) de processos. Estas primitivas são muito utilizadas e são responsáveis por defeitos difíceis de serem revelados, pois tais defeitos são fortemente influenciados pelo não determinismo inerente à programação concorrente. O teste de programas concorrentes insere-se nesse contexto como uma atividade essencial à busca de defeitos, valendo-se de critérios de teste específicos e do apoio de ferramentas de teste. O projeto TestPar, em desenvolvimento no ICMC/USP, visa aprimorar o teste de programas concorrentes, porém, um problema ainda está em aberto: o alto custo de aplicação deste teste. Este projeto de pesquisa em particular aborda o problema do custo, propondo a paralelização da atividade de teste estrutural de programas concorrentes desenvolvidos nos paradigmas de passagem de mensagens e memória compartilhada. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos.

A computação distribuída é impulsionada constantemente por avanços tecnológicos que oferecem novas soluções e novos serviços. No centro dessa evolução há aspectos de software concorrente que norteiam o desenvolvimento de aplicações distribuídas. Apesar do uso intenso de processos concorrentes, observa-se uma grande carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade nesse contexto. O projeto interdisciplinar TestPar, em desenvolvimento no ICMC/USP, visa auxiliar a validação dessas aplicações e envolve pesquisadores da Engenharia de Software e de Sistemas Distribuídos. O TestPar investiga modelos e critérios de teste para fornecer uma medida de cobertura da atividade de teste no contexto de aplicações distribuídas. Este projeto de pós-doutorado dá continuidade às pesquisas realizadas pelo candidato no projeto TestPar. O objetivo deste projeto de pós-doutorado é investigar possíveis extensões aos modelos e critérios de teste aplicados aos processos concorrentes, permitindo que esses representem outras semânticas de primitivas de comunicação e sincronização, considerando passagem de mensagens. Atualmente apenas as semânticas de primitivas ponto-a-ponto bloqueantes foram investigadas no TestPar. Serão investigadas as semânticas das primitivas não bloqueantes, coletivas e também diferentes modos da primitiva send bloqueante e não bloqueante. Os principais resultados esperados são: a extensão do modelo e dos critérios de teste para processos concorrentes com primitivas de comunicação para passagem de mensagens, a implementação de tais extensões na ferramenta de teste ValiPar. Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton/UK. O IAM destaca-se internacionalmente pelas suas pesquisas no desenvolvimento de grandes e complexos sistemas distribuídos, onde diferentes agentes interagem de maneira flexível para atingir suas metas.

O projeto visa estender os resultados já obtidos pelos pesquisadores com o projeto ValiPVM, investigando e propondo um modelo de teste que representa os requisitos de teste necessários à validação de aplicações concorrentes, englobando os dois principais paradigmas de comunicação e sincronização: troca de mensagens e memória compartilhada. A proposta é que esse modelo seja genérico o suficiente para permitir que uma aplicação concorrente desenvolvida sob esses paradigmas possa ser testada utilizando os critérios de teste propostos. Outro objetivo é investigar as técnicas para tratar o não-determinismo e o problema de geração de pares de sincronização. Espera-se definir um método eficiente para testar esses problemas na ferramenta de teste ValiPar, em desenvolvimento pelo grupo. Como subproduto dessa investigação, a ferramenta ValiPar será estendida para que ela possa ser aplicada em programas concorrentes que utilizemm tanto memória compartilhada como troca de mensagens.

O uso de clusters de web services é comum no dia-a-dia de empresas que desenvolvem e integram suas aplicações baseando-se em serviços sobre a web. A implementação desses serviços por parte de aplicações é conhecida como SOA (Service Oriented Architecture). Apesar do uso de clusters nesse contexto tornar-se cada vez mais comum, há ainda uma lacuna para a distribuição eficiente de requisições aos servidores, pois o máximo que as ferramentas de software oferecem é uma distribuição round-robin. Uma distribuição das requisições deve considerar diferentes regras e objetivos. Devem ser usadas heurísticas eficientes e adaptadas à realidade das execuções em andamento. A heterogeneidade da plataforma e a influência de cargas externas aos serviços também devem ser consideradas. Em um ambiente assim, uma distribuição de requisições correta assume um papel importante para o melhor aproveitamento da estrutura computacional. Este projeto de pesquisa visa otimizar o desempenho de clusters de web services, no contexto de SOA. Pretende-se desenvolver um novo modelo e o protótipo de uma nova ferramenta capazes de incluir a atividade de escalonamento de requisições diretamente nos servidores de web services de maneira flexível, dinâmica, transparente e tolerante a falhas; viabilizando com isso um uso mais eficiente da plataforma computacional distribuída. Outro objetivo é investigar e adequar as ferramentas de monitoração de plataformas distribuídas ao contexto de SOA.

Este projeto tem por objetivo pesquisar e desenvolver novas tecnologias voltadas à QoS, no contexto Web Services.

O objetivo deste projeto é desenvolver o Amnésia, um simulador da hierarquia de memória para máquinas de von Neumann, voltado ao ensino da matéria Arquitetura de Computadores nos cursos de graduação em computação. O Amnésia simulará o funcionamento dos registradores, caches, memória principal e virtual, sendo dividido em três módulos: memória cache, memória virtual e processador. O módulo Memória Cache contemplará os diferentes níveis de cache que antecedem o acesso à RAM. O módulo Memória Virtual converterá endereços virtuais em reais, abordando inclusive o uso de discos para armazenamento temporário de posições de memória. O módulo Processador fará a geração das chamadas ao subsistema de memória, permitindo a simulação dos registradores. Como resultado espera-se contribuir para o ensino na graduação e determinar a eficiência do uso da UML na modelagem dos dispositivos básicos de hardware e software envolvidos com memória.

CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00.
A atividade de teste de software é crucial para garantir a qualidade do software, entretanto, o alto custo de aplicação compromete sua utilização prática. Este custo ocorre devido à falta de pessoas qualificadas, de ferramentas de apoio e de técnicas adequadas para a condução desta atividade. Esses problemas se agravam quando são considerados softwares paralelos. Assim, a atividade de validação de programas paralelos ainda é considerada um problema no contexto de tecnologia da informação. Muitas questões caracterizadas para programas seqüenciais não são suficientes para programas paralelos, devido às características adicionais que precisam ser consideradas durante a validação como: não determinismo, sincronização, concorrência e comunicação. Este projeto tem por objetivo principal estudar novas técnicas e critérios na área de teste de aplicações paralelas em ambientes de passagem de mensagens. Como resultado principal deste projeto pretende-se disponibilizar uma ferramenta de teste que automatize as técnicas e critérios de teste definidos e que possa ser aplicada em problemas reais que necessitem desta tecnologia. A ferramenta irá propiciar as seguintes atividades: geração, seleção e execução de testes, avaliação da cobertura dos testes, depuração e análise dos resultados. Em um primeiro momento, pretende-se definir a ferramenta voltada para o ambiente de passagem de mensagem PVM - Parallel Virtual Machine e, na seqüência, para o ambiente MPI - Message Passing Interface. Com a disponibilidade da ferramenta, pretende-se capacitar pessoas para atuarem na área de teste de software, disseminando a cultura de validação de softwares paralelos em empresas e centros de pesquisa da região. Outro objetivo que se pretende atingir é identificar parcerias com empresas da região que possam ser favorecidas com o fruto desta pesquisa, fortalecendo a interação entre Universidade e Empresa.

CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00.
O uso de pesticidas está associado ao aumento da produção de alimentos. O Brasil, ocupa a quinta posição entre os países que mais utilizam pesticidas. No entanto, o fator mais preocupante é que não há a contrapartida necessária em pesquisa que determine o impacto do uso desses pesticidas, como a Atrazina. A Atrazina (AT) tem sido largamente utilizada no Brasil e no mundo. A modelagem de sistemas moleculares (como os encontrados entre a Atrazina e a MOS) pode ser realizada por meio de métodos de mecânica quântica conhecidos como: métodos semi-empíricos ou ab-initio. O cálculo semi-empírico embora facilite a simulação de moléculas de cadeias médias e longas, apresenta resultados menos precisos que os feitos com ab-initio. O cálculo ab-initio (primeiros princípios) produz resultados precisos com relação às propriedades geométricas e eletrônicas das moléculas, porém, é impraticável para sistemas com um grande (real) número de átomos, simulados em plataformas monoprocessadas. Desse modo, sem um suporte adequado da Computação de Alto Desempenho, o cálculo ab-initio tem sua utilização restrita ao estudo teórico de moléculas pequenas e interação entre pequenas estruturas, estas distantes das moléculas encontradas na realidade. O objetivo deste projeto é empregar técnicas avançadas de computação de alto desempenho para melhorar a qualidade e o desempenho do método da mecânica quântica ab-initio, aplicado ao uso de pesticidas, considerando a Atrazina. Para tanto, este projeto estudará a aplicação de técnicas de computação alto desempenho para a mecânica quântica, como: modelagem e simulação de aplicações paralelas, escalonamento de processos, mecanismos de comunicação e sincronização, plataformas paralelas/distribuídas e arquiteturas avançadas de computadores.