Lines and Research Structures

 

Concentration Area

Computer Science
Name Description
Bioinformatics and Bio-inspired Computation To follow are some of the topics this line of research will cover: Bioinformatics; Structural Bioinformatics; Biomathematics; Modeling and Simulation of Biological and Molecular Processes; Methods and Algorithms for Protein 3D Structure Prediction; Molecular Docking; Molecular Dynamics; Computer-assisted Drug Design; Visualization in Modeling and Simulation; Data Mining in Bioinformatics.
Computational Intelligence Intelligent Agents; Agent-Oriented Programming Languages; Cognitive Agents; Automatic Planning; Probabilistic Planning; Autonomous Reasoning; Semantic Computing; Knowledge Representation; Ontologies; Context-aware Computing; Semantic Web; Ontology Learning; Natural Language Processing; Textual Information Extraction; Text Data Mining, Generation of Multilingual Linguistic Resources; Multi-agent Systems; Normative Systems; Agent Communication; Formal Verification of Multi-agent Systems; Applications of Intelligent Systems; Robotics; Ubiquitous Computing; Urban Mobility; Intelligent Electricity Networks; Sentiment Analysis; Profile and Health Analysis.
Computer Graphics, Image Processing, Virtual Reality and Computer Human Interaction To follow are some of the topics this line of research will cover: Human-Computer Interaction; Quality in the Use of Interactive Systems (Accessibility, Communicability, and Usability); Assessment Techniques and User Interface Design; Social Interactions; Multimodal Interaction; Interaction in Virtual Environments; Assistive Technology; Data Visualization; Image Processing; Computer Vision; Medical Imaging; Computer Graphics Applications; Virtual Reality; Crowd Simulation; Virtual Humans Simulation; Computer Facial Animation; Algorithms Applied to Real-Time Games and Simulations.
Embedded Systems and Digital Systems Embedded Systems; Software Project for Embedded Systems; Embedded Operating Systems; Real-Time Systems; Virtualization of Embedded Systems; Middleware for Embedded Systems; RFID; Wireless Sensor Networks; Architecture of Embedded Microprocessors; Microelectronics; Integrated Circuits Project; Intra-chip Communication; Intra-chip Multiprocessing (Multi-core, MPSoC); Intra-chip Networks, Hardware Description Language; FPGA Prototyping; VLSI Project Aiming ASICs; Functional Verification of VLSI Systems; VLSI System Testing; Hardware Reliability; Hardware for Critical Applications; Hardware Applied to Robotics; Asynchronous Circuits and Systems/GALS; Non-synchronous System Project; Synchronizers; Modeling of Embedded Systems; Models of Computation (MoCs); Programming Languages for the Implementation of MoCs, Telecommunication Applications.
Parallel and Distributed Processing Parallel and Distributed Processing; Parallel Architectures; Operating Systems; Computer Networks; Formal Specification and Verification of Distributed Systems; Systems Performance Evaluation; Stochastic Modeling; Fault-Tolerance; Fault Detection; Fault Injection; Theoretical Models for Fault-Tolerance; Computer Systems Security; Cryptography; Cloud Computing; Grid Computing; Virtualization; IT Infrastructure Management; High Performance Computing; Parallel Algorithms; Parallel Programming Paradigms; Parallel Programming Environments; Scheduling; Modeling of Parallel Applications; Green Computing;
Software Engineering and Databases Software Development Process; Software Project Management; Software Engineering for Multi-agent Systems; Ontology-Based Software Development; Software Quality; Software Testing; Software Modeling; Distributed Software Development; Agile Methodologies for Software Development; Experimental Software Engineering; Software Product Line; Software Reuse; Integration between IHC Techniques and Software Engineering; User Interface Assessment and Design Techniques; User eXperience; Knowledge-discovery in Databases; Data Mining; Data Warehousing; Active and Temporal Databases; Modeling and Control of Business Processes; Scientific Workflow Systems.

RESEARCH STRUCTURES

Research Center
Name Coordinator
Centro de Pesquisa em Visualização Avançada (CPVA) MARCIO SARROGLIA PINHO