Principal

Also see

ICMC Research

Choose a research area above

Research groups:

Artificial Intelligence (Bio-inspired Computation)
Research lines (Artificial Intelligence (Bio-inspired Computation))
Applied dynamical systems   Artificial neural networks   Bioinformatics and biomedical informatics   Biological databases   Complex networks   Computational neurodynamics   Cooperative robotics   Data Clustering   Data Mining   Data streams   Data warehousing   Evolutionary computation   Human-robot interaction   Intelligent hybrid systems   Machine learning   Meta Learning   Social Robotics   Times series modeling and prediction  
Artificial Intelligence (Computational Linguistics)
Research lines (Artificial Intelligence (Computational Linguistics))
Analysis and parsing tools for varied linguistic levels (part of speech, syntax, semantics and discourse)   Automated evaluation   Computational terminology   Corpus linguistics   Lexicons/dictionaries and corpora creation   Machine learning techniques for natural language processing   Machine translation   Reading and writing assistance tools   Speech processing   Text simplification   Text summarization  
Computation applied to education
Research lines (Computation applied to education)
Data Bases and Images
Research lines (Data Bases and Images)
Big Data   Complex data integration   Content-based image storage and retrieval   Data provenance   Data warehousing   Health and medical information systems   Image and data base management systems   Indexing and query optimization for similarity retrieval   Mining complex data   Picture archiving and communication systems   Visual data mining and visual analytics  
Digital Games
Research lines (Digital Games)
Empathic games   Games for entertainment   Serious games   Therapeutic games  
Distributed Systems and Concurrent Programming
Research lines (Distributed Systems and Concurrent Programming)
Adaptive systems and real-time   Distributed computing: service-oriented architectures, validation and verification of parallel and distributed applications; high performance computing; grid computing; cloud computing; fog computing; green computing.   Internet of Things: architectures and middlewares   Operating systems   Performance evaluation: simulation and distributed simulation; prototyping; benchmark   Tools and methodologies for teaching computing  
Embedded and Evolutionary Systems
Research lines (Embedded and Evolutionary Systems)
Embedded multiprocessors   Embedded Systems Hardware   Evolutive Computation   Hardware Acceleration   Image processing   Robotics  
Inteligência Artificial (Machine Learning and Data Mining)
Research lines (Inteligência Artificial (Machine Learning and Data Mining))
Data Clustering   Distributed computing   Intelligent hybrid systems   Knowledge acquisition   Knowledge discovery and data mining   Machine Learning   Time series processing  
Mobile Robotics
Research lines (Mobile Robotics)
Intelligent vehicles   Machine learning   Mobile Robotics  
Smart Networks
Research lines (Smart Networks)
Adhoc networks   Autonomouos networks   Cloud Computing   Computer Networks   Critical embedded systems   Crowdsourcing   Cyber-physical systems   Internet of the future   Internet of things   Mobile computing   Mobile Health   Network security   Smart cities   Smart Grid   Social Networks   Ubiquitous computing  
Software Engineering and Information Systems
Research lines (Software Engineering and Information Systems)
Application generators   Architectures for developing of educational software   Aspects Oriented Software Development   Business process generation   Collaborative systems   Component-based development   Critical embedded systems   Design and evaluation of educational software interfaces   Design Rationale of Software Documentation   Development and Modeling of Educational Modules   Development, evaluation and analysis of educational games   Distance learning   Domain-Driven Design   Educational data mining   Educational data mining   Educational data mining   Educational ontologies and applications   Experimental software engineering   Frameworks and software patterns   Free Software Development Methodology   Geographical information systems   Information Systems   Information Visualization   Intelligent tutoring systems   Mobile learning   Model-based testing   Modeling and development of educational modules   Multi-agent systems in education   Open educational resources   Personalization and recommender systems   Processes of Software Upgrade   Product lines for developing educational software   Real Time Systems   Semantic web and social semantic web in education   Service-Oriented Development   Social networking in education   Software architecture and reference architecture   Software engineering tools and enviroments   Software Quality   Software Reuse   Verification, Validation and Software Testing   Web Systems Development  
Visualization, Imaging and Computer Graphics
Research lines (Visualization, Imaging and Computer Graphics)
Computational geometry and geometric processing   Image processing and pattern recognition   Validation and evaluation of visualization techniques   Visualization and visual data mining   Visualization applications in data analysis: image, document and music collections, social networks, biosensor measurements, bioinformatics, acoustic landscapes, crime data, volumes from computational simulations and multidimensional data sets   Visualization in data science and big data  
Web and Multimedia Interactive Systems
Research lines (Web and Multimedia Interactive Systems)
AI applied to information retrieval, recommendation system and multimodal processing: machine learning, deep learning and clustering   Computer networks   Context-aware computing   Human-computer interaction   Interactive web systems   Linked open data   Multimedia: video, image, audio and text processing (with deep learning applications)   Multimodal multimedia processing (Big Data, multimedia indexing, multimedia information extraction)   Online social networks   Recommender systems and Information retrieval systems   Semantic web   Text processing (mining, sentiment analysis and natural language processing)   Ubiquitous computing  

Research groups:

Data Science and Statistics
Research lines (Data Science and Statistics)
Data mining   Data visualization   Machine Learning   Risk modelling for big data bases  
Latent Variable Models
Research lines (Latent Variable Models)
Bayesian inference for latent variable modeling   Classical Test Theory   Cognitive diagnostic modeling   Computerized adaptive testing   Factorial analysis and multivariate techniques   Item Response Theory   Latent Profile Analysis   Latent variable classes analysis   Linear and nonlinear mixed models   Planning, sampling and test application   Statistical learning for latent variable modeling   Structural equations  
Risk Assessment
Research lines (Risk Assessment)
Análise de credit scoring, behavior and attrition Statistical modeling for credit scoring, behavior and attrition data   Management and statistical quality control   Statistical data mining   Statistical modeling for dependence   Statistical modeling for finance and insurance data   Statistical modeling for fraud data   Statistical modeling for medical and biological data   Statistical modeling for sport data   Statistical modeling for survival and reliability data  
Statistics
Research lines (Statistics)
Bayesian methods   Errors-in-variables models   Item response theory   Linear and nonlinear models   Probability and stochastic processes   Quality management   Risk modeling   Survival analysis and reliability   System of interacting particles   Time series  

Research groups:

Algebra and algebraic geometry
Research lines (Algebra and algebraic geometry)
Algebraic curves over finite fields   Algebraic K-theory and homology of linear groups   Cohomology Algebra, Local Cohomology   Derivations in Commutative Algebra   Multiplicity theory  
Applied Functional Analysis
Research lines (Applied Functional Analysis)
Analysis on the sphere   Approximation theory   Fourier Analysis   Integral operators   Mercer's Theory   The theory of positive definite and related kernels  
Differential Equations, Dynamical systems and Nonabsolute Integration
Research lines (Differential Equations, Dynamical systems and Nonabsolute Integration)
Control Theory   Dynamic Equations on Time Scales   Functional Differential Equations   Generalized ordinary differential equations   Henstock-Kurzweil Non-Absolute Integration   Impulsive Differential Equations   Impulsive Semidynamic Systems   Integral Equations   Measure Differential Equations   Ordinary Differential Equations   Ruled Dynamical Systems   Stochastic Differential Equations  
Differential Geometry
Research lines (Differential Geometry)
Complex geometry   Geometric analysis   Geometry of minimal surfaces and constant mean curvature in homogeneous three-dimensional spaces   Lie groups   Mathematical physics   Quantization and symplectomorphism into symmetric spaces   Quantum algebra   Submanifolds theory   Symplectic geometry  
Dynamical Systems and Ergodic Theory
Research lines (Dynamical Systems and Ergodic Theory)
  Dynamics on manifolds   Ergodic theory   Geometric and Probabilistics Aspects in Dynamic Systems   Group actions   One-dimensional dynamics   Partially hyperbolic dynamics   Regularity of invariant foliations and rigidity   Renormalization theory  
Linear Partial Differential Equations
Research lines (Linear Partial Differential Equations)
Global hypoellipticity   Global solvability   Local solvability   Semi-global solvability  
Mathematics Education
Research lines (Mathematics Education)
Cognitive and linguistic aspects in mathematics education   Conceptions of mathematical knowledge and their its relations to the teaching-learning processes   Ethnomathematics   History and Philosophy of Mathematics   Information technology applied to math education   Mathematics teachers’ education   Philosophy of mathematics education   Teaching Methodology for Mathematics  
Nonlinear Dynamical Systems
Research lines (Nonlinear Dynamical Systems)
Asymptotic behavior   Conley index theory   Evolution equations, bifurcation, symmetry and synchronization   Existence, uniqueness, continuity and continuation of solutions: critical case   Linear and nonlinear partial differential equations   Quasilinear problems   Semilinear parabolic problems   Smooth linearization   System of elliptic equations with jumping nonlinearities  
Singularities
Research lines (Singularities)
Applications of singularity theory to bifurcation problems   Multiplicity, integral closure and equisingularity   Singularities in differential geometry and implicit equations   Singularities in dynamical systems   Topology and classification of singularities  
Topology
Research lines (Topology)
Algebraic invariants for homotopy and concordance of links   Analytic, Whitehead and Reidemeister torsions for manifolds and for singular manifolds   Applications of game theory to general topology   Bordism, equivariant bordism and cobordism of manifolds   Borsuk-Ulam type theorems   Cellular decomposition and group resolutions   Classification of group actions on manifolds and associated dynamical systems   Fibrations, vector bundles and gauge theory   Foliations   Geometry and topology of submanifolds in euclidean spaces and of surfaces in homogeneous manifolds   Homotopy and simple homotopy theory   Homotopy and topology of mapping spaces   Immersions and embeddings between manifolds   Knots, links and braid theories   Properties of coverings; techniques to obtain weaker topologies; theory of games   Root, fixed point, coincidence and G-coincidence theories   Topology of manifolds  

Research groups:

Applied and Geometrical Analysis
Research lines (Applied and Geometrical Analysis)
Mathematical physics   Non-linear differential equations and dynamical systems   Singularity Theory  
Complex Systems, Particles and Control
Research lines (Complex Systems, Particles and Control)
Analysis and control of switched systems   Automatic identification of authorship   Classical statistical mechanics and quantum field theory   Complex networks   Control and filtering   Control for hydrothermal operation   Control for minimizing fuel in vehicles   Dynamical process on spatial networks   Image segmentation by networks   Internet modeling   Mathematical physics   Models of epidemic and rumor spreading   Particle systems modeling   Probability and interacting particle systems   Stability of control for nonlinear systems   Stochastic differential equations   Structure and dynamics of social networks   Structure of dynamical systems   Synchronization of coupled oscillators  
Computational Fluid Mechanics
Research lines (Computational Fluid Mechanics)
Computational aeroacoustics   Computational rheology   Laminar-turbulent transition flows   Mesh generation and scientific visualization   Modeling and numerical simulation in lubrication   Numerical simulation of moving surfaces flows   Scientific computation applied in biology and medicine  
Optimization
Research lines (Optimization)
Control and filtering problems   Integer linear programming models and methods   Nonlinear programming algorithms and theory   Optimization in inverse problems  
Visual and Geometry Processing
Research lines (Visual and Geometry Processing)
Computational geometry   Geometric modeling and mesh generation   Geometric processing   Numerical and topological analysis of dynamical systems   Visualization and visual data analysis  

Research

posgrad2

 

The ICMC is recognized as a center of national and international excellence in educating researchers and professionals in the areas of Computer Science, Statistics, Mathematics and Applied Mathematics, and in its related areas. The Institute offers eight undergraduate courses and five graduate programs, which are among the best in the country. The graduates, masters and doctors graduated from the Institute today are working in the most prestigious companies and education and research centers in Brazil.

The ICMC's teaching and research activities are also internationally recognized, having approximately 450 annual publications in specialized journals. Faculty members, postdoctorates and students often take part in important scientific events, cooperative projects and agreements with foreign institutions.

The results of research conducted at the ICMC have often been awarded at national and international events and disseminated in newspapers and on TV. In addition, the ICMC promotes and hosts many international events. Research groups receive constant support from development agencies (FAPESP, CNPq, CAPES, FINEP). Also noteworthy is ICMC's cooperation with technological innovation, through collaboration with industry, research centers and governmental agencies, which generates many technological products of high economic and social impact.

Faculty members at the ICMC and students coordinate and participate in thematic research networks, such as the Research, Innovation and Dissemination Centers (CEPIDs, FAPESP), the National Institutes of Science and Technology (INCTs) and Research Support Centers (NAPs, Provost for Research at USP).

See the right menu to know our research groups and lines.

Check the ICMC Research Catalog.

UNIVERSIDADE DE SÃO PAULO
INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO
400 Trabalhador São-carlense Avenue
São Carlos, SP 13566-590 - Brazil

  • PHONE:
    +55 (16) 3373-8889

CONECT WITH US
 

© 2024 Instituto de Ciências Matemáticas e de Computação

In order to provide you with the best online experience this website uses cookies.

By using our website, you agree to our use of cookies. Learn more

I agree