O IME-USP conta com diversos projetos de pesquisa em andamento. Estão listados abaixo alguns dos mais relevantes, com destaque para o INCT de Cidades Inteligentes e o CEPID Neuromat.
InterSCity
Coordenado pelo Prof. Dr. Fabio Kon, o InterSCity é um projeto de pesquisa colaborativo vinculado ao Instituto Nacional de Ciência e Tecnologia (INCT) da Internet do Futuro para Cidades Inteligentes. O projeto abrange 9 instituições brasileiras, além de parceiros e abordagens internacionais, desafios e iniciativas de pesquisa em três frentes: rede e computação distribuída de alto desempenho, internet de engenharia de software para o futuro e análise e modelagem matemática para a internet futura e cidades inteligentes. Os pesquisadores visam desenvolver uma plataforma de código aberto integrada contendo todos os principais blocos de construção para o desenvolvimento de aplicativos robustos, integrados e sofisticados para as cidades inteligentes do futuro. O financiamento do InterSCity é realizado por meio de convênio com as agências INCT/CNPq, CAPES e FAPESP.
NeuroMat
Criado pela Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) em 2013 e coordenado pelo Prof. Dr. Jefferson Antonio Galves, o CEPID NeuroMat tem como objetivo de longo prazo compreender e explicar fenômenos neurocientíficos, com foco no aprendizado e na memória, numa confluência da Teoria das Probabilidades, da estatística e da neurociência. Esse objetivo requer a definição de uma nova classe de modelos matemáticos para descrever e explicar de maneira parcimoniosa as diferentes escalas da atividade neural, suas relações e consequências comportamentais. A construção desses modelos ocorre em conjunto com o desenvolvimento de novos métodos estatísticos e computacionais. O CEPID NeuroMat promove e lidera uma rede mundial de matemáticos, neurobiólogos, cientistas computacionais, estatísticos, físicos e clínicos aplicados.
Projetos temáticos (FAPESP)
Outros Projetos
| Título | Fomento | Pesquisador responsável | Vigência |
| Métodos numéricos para a nova geração de modelos de previsão de tempo e clima | Fapesp (auxílio a pesquisa – apoio a jovens pesquisadores) | Pedro da Silva Peixoto | [JP2]: 05.2022 a 04.2027 |
| Teoria de Representações | CNPq (universal) | Vyacheslav Futorny | 03.02.2022 a 28.02.2025 |
| Desenvolvimento de infraestrutura para integração e melhoria de acessibilidade de dados socioambientais e subsídio de políticas públicas | Fapesp (auxílio a pesquisa – regular) | Kelly Rosa Braghetto | 01.08.2023 a 31.07.2025 |
| Starling: segurança e alocação de recursos em B5G via técnicas de inteligência artificial | Fapesp (auxílio a pesquisa – regular) | Daniel Macêdo Batista | 01.08.2023 a 31.07.2025 |
| Teoria paraconsistente de conjuntos | Fapesp (auxílio a pesquisa – apoio a jovens pesquisadores) | Aldo Figallo Orellano | 01.07.2023 a 30.06.2028 |
| Ações polares em espaços simétricos de tipo não-compacto | Fapesp (auxílio a pesquisa – regular) | Claudio Gorodski | 01.06.2023 a 31.05.2024 |
| EMU concedido no projeto: 2019/26702-8: máquina paralela heterogênea | Fapesp (auxílio a pesquisa – programa equipamentos multiusuários) | Alfredo Goldman | 01.06.2023 a 31.05.2030 |
| Problemas de classificação e espaços de moduli de estruturas geométricas via Teoria de Lie | Fapesp (auxílio a pesquisa – regular) | Ivan Struchiner | 01.04.2023 a 31.03.2025 |
| Dinâmica geométrica entre São Paulo e Nova Iorque | Fapesp (auxílio a pesquisa – regular) | Paolo Piccione | 01.03.2023 a 28.02.2025 |
| Interação entre turbulência e métodos numéricos em modelos atmosféricos | Fapesp (auxílio a pesquisa – regular) | Pedro da Silva Peixoto | 01.03.2023 a 31.08.2024 |
| Indução de programas lógico-probabilístico-neurais | Fapesp (auxílio a pesquisa – projeto inicial) | Denis Deratani Mauá | 01.02.2023 a 31.01.2028 |
| Teoremas clássicos em superálgebras não-associativas de dimensão finita | Fapesp (auxílio a pesquisa – regular) | Ivan Chestakov | 01.01.2023 a 31.12.2024 |
| Ações Hamiltonianas em stacks, cohomologia equivariante e localização | Fapesp (auxílio a pesquisa – regular) | Cristián Andrés Ortiz González | 01.11.2022 a 31.10.2024 |
| Álgebras de Jordan: representações, homologia e geometria | Fapesp (auxílio a pesquisa – regular) | Iryna Kashuba | 01.03.2022 a 29.02.2024 |
| Regularidade analítica e suave em geometria CR | Fapesp (auxílio a pesquisa – regular) | Paulo Domingos Cordaro | 01.01.2022 a 31.12.2024 |
| Criptografia e criptoanálise: algoritmos e protocolos | Fapesp (auxílio a pesquisa – regular) | Routo Terada | 01.01.2022 a 31.12.2023 |
| Representações de álgebras de Artin | Fapesp (auxílio a pesquisa – regular) | Flavio Ulhoa Coelho | 01.07.2022 a 30.06.2024 |
| Espaços topológicos e conjuntos | Fapesp (auxílio a pesquisa – regular) | Artur Hideyuki Tomita | 01.07.2021 a 30.09.2023 |
| Análise (espectral) de grafos/hipergrafos para comparar redes metabólicas do patógeno Trypanosoma sp. | Fapesp (auxílio a pesquisa – regular) | André Fujita | 01.12.2020 a 30.11.2023 |
| Classificação de estados do corpo/mente para uma interface homem-máquina baseada na variabilidade da frequência cardíaca | Fapesp (auxílio a pesquisa – programa eSience e DataScience – regular) | André Fujita | 01.10.2020 a 30.09.2023 |
| Abordagens computacionais com o objetivo de explorar interações intra e inter espécies e seu papel em todos os domínios da vida | Fapesp (auxílio a pesquisa – regular) | André Fujita | 01.03.2020 a 29.02.2024 |
| World Wide Web of Plankton Image Curation (www.pic) | Fapesp (auxílio a pesquisa – regular) | Nina Sumiko Tomita Hirata | 01.06.2019 a 30.11.2023 |
| Centro de Pesquisa, Inovação e Difusão em Neuromatemática – NeuroMat | Fapesp (auxílio a pesquisa – CEPIDs) | Jefferson Antonio Galves | 01.08.2013 a 31.07.2024 |
A relação detalhada dos projetos de pesquisa vigentes no IME-USP pode ser consultada na Biblioteca Virtual da FAPESP.