Courses

Advanced Cryptography
COD Workload Description
54672-02 30 This course will provide students with insights into modular arithmetic, prime numbers and factorization, pseudo-random functions and generators, asymmetric cryptography and digital signatures.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics I
COD Workload Description
44613-01 15 This course will look at current topics of relevance to research in Computer Science.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics II
COD Workload Description
44614-01 15 To follow are some of the topics this course will address: Quantitative assessment of systems, classification of methods; Discrete simulation techniques; Direct and interactive analytical methods; Markov Chain;
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics III
COD Workload Description
34641-01 15 This course will look at current topics of relevance to research in Computer Science.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics IV
COD Workload Description
34642-01 15 This course will look at current topics of relevance to research in Computer Science.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics V
COD Workload Description
34643-01 15 This course will look at current topics of relevance to research in Computer Science.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics in Computer Science VI
COD Workload Description
54600-02 30 This course will look at current topics of relevance to research in Computer Science.
Professors Home time Lattes
CESAR AUGUSTO FONTICIELHA DE ROSE 20 years and 2 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Advanced Topics in Computer Science VII
COD Workload Description
54601-02 30 This course will look at current topics of relevance to research in Computer Science
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Algorithm Project and Analysis
COD Workload Description
54684-02 30 This course will address Algorithm analysis: summation, recurrences and order of growth. It will also look at algorithm development: greedy algorithms, dynamic programming, Branch and bound methods, divide and conquer and metaheuristic.
Professors Home time Lattes
RODRIGO COELHO BARROS 4 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Required
Computer Science Doctorate Required
Research line 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.
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.
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.
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.
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.
Analysis and Visualization of Heterogeneous Data
COD Workload Description
5461A-03 45 The topics this course addresses are as follows: Introduction to video data mining models; Text editing for information analysis; Strategies for communicating results from the visualization of heterogeneous data.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Analytical Methods
COD Workload Description
34619-02 30 To follow are some of the topics this course will address: Quantitative system assessment; Markov models: Markov chains and stochastic automata networks; Direct and indirect analytical methods to form-product.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Assistive Technology Design
COD Workload Description
54691-02 30 To follow are some of the topics this course will address: Assistive technology, universal design and accessibility; Interaction design for assistive technology; Assistive Technology Prototyping; Assessment of quality of use of Assistive Technologies.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Automatic Planning
COD Workload Description
54667-02 30 To follow are some of the topics this course will address: Automatic planning - formalisms and assumptions; Classical planning - formalisms and algorithms; HTN planning - formalisms and algorithms; Nondeterministic planning - formalisms and algorithms; Planning applications.
Professors Home time Lattes
FELIPE RECH MENEGUZZI 6 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Autonomous Agents
COD Workload Description
54664-02 30 This course will provide students with deeper insights into Autonomous Agents, Agent Architectures, BDI Agents, Programming Languages based on BDI Architecture, the use of planning and learning techniques in agent programming, application of intelligent agents.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Bio-inspired Computing
COD Workload Description
54683-02 30 To follow are some of the topics this course will address: Introduction and motivation; Biology-inspired computing; Evolutionary computation; Collective intelligence; Ant Colony Optimization; Particle Swarm Optimization; Artificial Neural Networks; Artificial Immunological Systems; Applications.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Chip Integrated Systems
COD Workload Description
54660-03 45 This course will provide students with deeper insights into embedded systems, intra-chip communication, buses, intra-chip networks as well as intra-chip multiprocessing.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Cloud Computing
COD Workload Description
19805-02 30 This course has as main objective the presentation of the main concepts associated with Cloud Computing. Hence, the following points will be addressed: Characteristics and types of cloud computing; Main services provided in cloud computing; Main challenges in the area; Case study of a cloud computing environment.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Collaborative Software Design
COD Workload Description
54677-02 30 To follow are some of the topics this course will address: Collaborative systems; Collaborative software design; Trends.
Professors Home time Lattes
SABRINA DOS SANTOS MARCZAK 10 years and 1 month Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Communication, Natural Language and Ontologies
COD Workload Description
54666-03 45 To follow are some of the topics this course will address: Artificial Intelligence and Communication; Communication and the processing of natural language; Communication and ontologies; Communication in intelligent agents.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Comparative Bioinformatics
COD Workload Description
34668-02 30 To follow are some of the topics this course will address: Historical Introduction; Basic Concepts of Structural Molecular Biology; Bioinformatics; Internet and Databases of Biological Structures; Computational Approach to Biological Problems; Computational Analysis of DNA Sequences; Computational Analysis of Protein Sequences; Protein Sequence Alignment; Computational Methods for Protein Sequence Alignment; Dynamic Programming Algorithm; Heuristic Methods for Protein Sequence Alignment; Case study.
Professors Home time Lattes
OSMAR NORBERTO DE SOUZA 16 years and 6 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computational Logics and Algebras
COD Workload Description
34648-02 30 To follow are some of the topics this course will address: Lattices; Boolean algebra; Other algebraic structures; Propositional calculus; First-order Logic; Tarski semantics; Natural deduction; Completeness and correctness of deductive systems; Sequent calculus, axiomatic systems; Clausal form and resolution; Theorems; First-order temporal logic; Other non-classical logics.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Required
Computer Science Doctorate Required
Research line 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.
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.
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.
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.
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.
Computational Modeling for Embedded Systems
COD Workload Description
54689-02 30 To follow are some of the topics this course will address: Definition of embedded systems; Definition of real-time embedded systems; Definition of computational models; Definition of partitioning and mapping; Analysis of project requisites for embedded systems; Assessment of performance and application o quality of service (QoS) with computational models.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computational Platforms for Distributed Systems.
COD Workload Description
19802-02 30 This course offers a practical perspective on distributed systems. Review of distributed abstractions and fundamental algorithms in distributed systems. Evaluation of different distributed platforms supporting consensus. Implementation of fundamental algorithms for distributed computing. Use of specific platforms in implementations.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computer Graphics
COD Workload Description
54603-02 30 To follow are some of the topics this course will address: Fundamentals of Computer Graphics; Rendering Techniques; Collision Detection Algorithms; Acceleration Techniques for Graphic Applications.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computer Intelligence
COD Workload Description
54606-03 45 To follow are some of the topics this course will address: Artificial Computational Intelligence; Representation and Search; Representation and Knowledge; Problem-solving Paradigms; Machine Learning.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computer Networks
COD Workload Description
54670-02 30 To follow are some of the topics this course will address: Evolution of computer networks; Main protocol stacks for computer networks; Computer network management; New network technologies.
Professors Home time Lattes
TIAGO COELHO FERRETO 14 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Computer animation;
COD Workload Description
54602-02 30 This course will provide an introduction to Computer Animation, modeling and animation of virtual characters, behavioral animation and "intelligent" virtual environments.
Professors Home time Lattes
SORAIA RAUPP MUSSE 13 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Cryptography
COD Workload Description
54668-02 30 This course will provide students with deeper insights into Classical cryptography, stream ciphers and block ciphers, Message Authentication Codess as well as symmetric cryptography.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Data Visualization
COD Workload Description
54688-02 30 To follow are some of the topics this course will address: Emergence and historical evolution; Introduction to the area of visualization and its application; Visualization of information, scientific visualization and visual analysis; Types of data and visual representations; Strategies for visualization and interaction.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Database Knowledge Discovery I
COD Workload Description
34674-02 30 To follow are some of the topics this course will address: Data warehouse; Database knowledge discovery; Data mining; Applications. Trends.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Deep Neural Networks
COD Workload Description
19801-02 30 This course introduces the main concepts related to deep neural networks and their applications to unstructured data analysis. For such, the following topics will be covered throughout the course: Introduction to unstructured data analysis; Nearest neighbors and linear classifiers to image and text classification; Neural networks and the backpropagation algorithm; Architectures and components of convolutional neural networks; Architectures and components of recurrent neural networks; Applications to classification, segmentation, and object detection in images and videos; Applications to image captioning, machine translation, and automatic text generation; Overview of deep learning frameworks.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Distributed Programming Models
COD Workload Description
54669-02 30 This course will address the basic concepts of distributed systems; distributed programming models; distributed algorithms; distributed programming environments.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Distributed Systems
COD Workload Description
19803-02 30 This course presents the fundamental concepts and algorithms for building dependable distributed systems. Synchrony models for distributed systems. Distributed computations, local and global states. Logical clocks. Failure models. Impossibility Result(FLP). Failure detectors as abstraction for temporal assumptions. Leader election as a problem analogous to detectors of defects. Broadcast algorithms, reliability levels and order. Regular and uniform consensus, pased consensus, logged consensus. Problems equivalent to consensus.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Embedded Software
COD Workload Description
54661-03 45 To follow are some of the topics this course will address: Definition of embedded software; Real-time embedded software; Programming models; Software project methodology; Software energy consumption; Virtualization; System performance evaluation; End-to-end QoS
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Functional Verification of Digital Systems
COD Workload Description
54644-02 30 To follow are some of the topics this course will address: An overview of verification; Verification planning; Revision of usual techniques; Infrastructure for conducting verification; Verification conclusion, analysis and documentation.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Graphic Simulation
COD Workload Description
54611-02 30 This course will provide an introduction to Graphic Simulation, Modeling of complex problems of graphic simulation, Topics in Computer Animation and Computer Vision as well as Crowd Simulation.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Heterogeneous Parallel Programming
COD Workload Description
54696-02 30 Basic heterogeneous parallel programming concepts (architectures, memory management, etc.); frameworks and parallel programming libraries used in heterogeneous systems (e.g., SkePU, OpenACC, CUDA, Thrust and OpenCL). Emerging solutions for parallelism exploration; challenges and perspectives of the heterogeneous parallel programming interfaces.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
IT Infrastructure Management
COD Workload Description
54671-02 30 To follow are some of the topics this course will address: IT infrastructure management models; Components of IT infrastructure and their functions; Analysis of the use of virtualization techniques in IT infrastructure; Study of Cloud Computing and Green IT.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Image Processing Topics
COD Workload Description
54686-01 15 To follow are some of the topics this course will address: Image processing concepts; Mathematical morphology; Segmentation; Smoothing; Edge detection; Image analysis
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Intelligent Mobile Robotics
COD Workload Description
54694-04 60 This course provides state-of-the-art practice in programming autonomous mobile robots. Other topics it addresses are as follows: Embedded and distributed systems programming with focus on robotics applications; Robotics middleware; Classical mobile robotics problems such as localization, obstacle avoidance and navigation; Artificial intelligence problems in robotics, with emphasis on perception and planning.
Professors Home time Lattes
ALEXANDRE DE MORAIS AMORY 6 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Interface Project
COD Workload Description
34656-02 30 To follow are some of the topics this course will address: Interaction styles; Project guidelines; Interface modeling; Accessibility.
Professors Home time Lattes
MILENE SELBACH SILVEIRA 24 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Machine Learning
COD Workload Description
54676-02 30 To follow are some of the topics this course will address: Data analysis and pre-processing; Supervised learning; Non-supervised learning; Assessment of predictive and descriptive models; Advanced topics in machine learning.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Modeling of Embedded Systems
COD Workload Description
54659-03 45 To follow are some of the topics this course will address: Definition of embedded systems; Definition of real-time embedded systems; Definition of computational models; Definition of partitioning and mapping; Analysis of project requisites for embedded systems; Assessment of performance and application of quality of service (QoS) with computational models.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Multi-agent Systems
COD Workload Description
54665-03 45 This course will address multi-agent systems, cooperation using contract net protocol, game theory, types of auctions for resource allocation, negotiation through monotonic concession protocol, multi-agent systems programming, organizational models, normative systems, communication between agents, message and knowledge content representation, ontologies, speech acts theory, agents' communication languages.
Professors Home time Lattes
RENATA VIEIRA 10 years and 9 months Link
RAFAEL HEITOR BORDINI 6 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Natural Language Processing
COD Workload Description
44639-02 30 This course will look at the problems associated with natural language processing and natural language treatment; linguistic difficulties, computational difficulties and the models of a classical system. As well as that, it will look at the levels of analysis and processing. Lastly, students will be able to build computational systems for natural language processing.
Professors Home time Lattes
RENATA VIEIRA 10 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
New Frontiers in Databases.
COD Workload Description
54679-02 30 To follow are some of the topics this course will address: An overview of data storage and restoration systems; An overview of space-temporal, multimedia, hypermedia, continuous flow data and digital media; An overview of new data applications: Big data, non-structured data, social media data, data mining on social media.
Professors Home time Lattes
DUNCAN DUBUGRAS ALCOBA RUIZ 26 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Ontologies
COD Workload Description
54625-02 30 This course will address the following topics: Ontologies and knowledge representation; Semantic web ontologies; Description and reasoning logics; Construction of ontologies; Applications.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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 Architectures
COD Workload Description
34639-02 30 To follow are some of the topics this course will address: RISC, superscalar, SIMD processors, multiprocessors and multicomputers. Multithread and dataflow processors; Memory hierarchy; Interconnection networks; Performance evaluation of parallel architectures; Evolution of parallel machines and their current evolutionary trends; Aggregate-based parallel machines (Cluster Computing).
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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 Programming
COD Workload Description
34652-04 60 To follow are some of the topics this course will address: Modeling of Distributed and Parallel Programming; Expression of parallelism; Parallel programming paradigms; Distributed and parallel application; Case study
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Planning of Experiments for Computer Systems
COD Workload Description
5461C-02 30 The main goal of this course is to present the different strategies for the planning of experiments for computer systems employing techniques that guarantee the reliability and the accuracy of the results. Therefore, the following topics will be addressed: basic concepts of experiment planning; probability distribution; introduction to the variance analysis method; determination of the number of repetitions; simple and multiple linear regression.
Professors Home time Lattes
AFONSO HENRIQUE CORREA DE SALES 6 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Quality of Interactive Systems
COD Workload Description
34655-02 30 To follow are some of the topics this course will address: Introduction to Evaluation of Interactive Systems; Inspection evaluation; User experience evaluation.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Research Methods in Information Systems II
COD Workload Description
54645-03 45 This course will address the following topics: Scientific research in Information Systems, Research methods in Information Systems, Primary studies, Secondary studies, Case studies, Theory based on Data, Data Collection and Analysis;
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Research Seminars
COD Workload Description
5461B-02 30 Connect lecturers, researchers, Master and Ph.D. students to the recent academic works produced by the Post-Graduate Programs at the School of Technology, including works that are not directly related to the area of study of the students enrolled in the course. Make use of the talks presented by the students and researchers as a formal tool for the dissemination of the scientific process, its constructive aspects, formal and conclusive, aiming at qualifying the research generated by the school.
Professors Home time Lattes
CESAR AUGUSTO MISSIO MARCON 23 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Semantic Technologies
COD Workload Description
54693-02 30 To follow are the topics the course will address: Semantic technologies: Semantics and computational linguistics; Computational semantics and semantic web; Semantics and ontologies; Use of semantic technologies in health, communication and other areas.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Semantic Technologies and their Application in Several Fields of Knowledge
COD Workload Description
54680-03 45 To follow are some of the topics this course will address: Semantic technologies: Computational semantics and linguistics; Computational semantics and Semantic web; Semantics and ontologies; The use of semantic technologies in Medicine, Law Science, Communication and other areas.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Software Development Process
COD Workload Description
34678-03 45 This course will look at the concepts of software development process, models of software development life cycle, software development methodologies, software distributed development and software metric
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Software Development Process Laboratory
COD Workload Description
54678-01 15 To follow are some of the topics this course will address: Software development; Software Development Cycle of Life; Software Processes; Software Development Practical Project.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Bioinformatics and Computer Modeling I
COD Workload Description
34670-01 15 This course will look at current topics of relevance to the line of research in Bioinformatics and Computer Modeling.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Bioinformatics and Computer Modeling II
COD Workload Description
34671-02 30 This course will look at current topics of relevance to the line of research in Bioinformatics and Computer Modeling.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Embedded and Digital Systems I
COD Workload Description
34663-01 15 This course will look at current topics of relevance to the line of research in Embedded and Digital Systems
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Embedded and Digital Systems II
COD Workload Description
34664-02 30 This course will look at current topics of relevance to the line of research in Embedded and Digital Systems.
Professors Home time Lattes
FABIANO PASSUELO HESSEL 25 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Information Systems I
COD Workload Description
34634-01 15 This course will look at current topics of relevance to the line of research in Information Systems.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Information Systems II
COD Workload Description
34635-02 30 The course addresses current topics of interest to Information Systems research.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Interactive Systems I
COD Workload Description
34658-02 30 This course will look at current topics of relevance to the line of research in Interactive Systems I.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Interactive Systems II
COD Workload Description
34659-02 30 This course will look at current topics of relevance to the line of research in Interactive Systems I.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Parallel and Distributed Processing I
COD Workload Description
34632-01 15 This course will look at current topics of relevance to the line of research in Parallel and Distributed Processing.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Parallel and Distributed Processing II
COD Workload Description
34633-02 30 This course will look at current topics of relevance to the line of research in Parallel and Distributed Processing II.
Professors Home time Lattes
FERNANDO LUIS DOTTI 20 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics in Visualization I
COD Workload Description
54675-01 15 To follow are some of the topics this course will address: Emergence and historical evolution; Introduction to the area of visualization and its application; Types of data and visual representations; Visualization and interaction.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Special Topics of Systems Reliability
COD Workload Description
34654-02 30 This course will look at current topics of relevance to the line of research in Systems Reliability.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Structural Bioinformatics
COD Workload Description
34669-02 30 To follow are some of the topics this course will address: Historical Introduction; Basic Concepts of Structural Molecular Biology; Structural Bioinformatics; Internet and Databases of Biological Structures; Computer Analysis of Protein Structures; Protein Structural Alignment; Classification of Protein Structures; Algorithms for the Prediction of Protein Structures; Case study.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Structured Parallel Programming
COD Workload Description
54695-02 30 Basic concepts of structured parallel programming (Parallel Design Patterns and Algorithmic Skeletons) and forms of parallelism exploration (data, tasks and stream); frameworks and high-level abstraction libraries for parallel programming used in multi-core systems (e.g., FastFlow, TBB and SPar); Domain-specific languages; emerging solutions for parallelism exploration; challenges and perspectives of the structured parallel programming interfaces.
Professors Home time Lattes
LUIZ GUSTAVO LEAO FERNANDES 24 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Synchronization in Digital Systems
COD Workload Description
54663-03 45 To follow are some of the topics this course will address: Synchronous circuits and systems; Asynchronous circuits and systems; Globally asynchronous and locally synchronous circuits and systems; GALS; Synchronization and metastability; Synchronizers; Non-synchronous communication protocols; Asynchronous representations of circuits; Delay models; Delay Insensitivity; Quasi Delay Insensitivity; Delay Insensitivity Codifications; Non-synchronous systems project; GALS Project; QDI systems project.
Professors Home time Lattes
NEY LAERT VILAR CALAZANS 32 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
System Evaluation and Performance
COD Workload Description
44626-02 30 To follow are some of the topics this course will address: Quantitative assessment of systems, classification of methods; Discrete simulation techniques; Direct and interactive analytical methods; Markov Chain.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Systems Reliability
COD Workload Description
34653-02 30 This course will address the following topics related to Systems Reliability: Taxonomy; Error; Failure; Defect; Fault-tolerance; Fault-tolerance mechanisms; Agreement in distributed systems; Redundancy.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Theory of Computation
COD Workload Description
54685-02 30 To follow are some of the topics this course will address: Computability theory (Turing); Halting problem undecidability; Chomsky's hierarchy; Complexity classes; NP Problems; Reduction; NP-completude.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Required
Computer Science Doctorate Required
Research line 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.
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.
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.
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.
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.
Topics in Human-Computer Interaction I
COD Workload Description
54687-01 15 This course will look at current topics of relevance to the line of research in Human-Computer Interaction.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
VLSI Project Techniques I
COD Workload Description
54658-03 45 This course will provide students with practice with the use of Hardware Description Languages, FPGA prototyping, use of simulators, and the employment of basic techniques of functional verification of VLSI systems.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
VLSI Project Techniques II
COD Workload Description
54662-03 45 This course will provide students with practice with VLSI project flow with an eye to ASICs project and the use of advanced techniques for functional verification of VLSI systems.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.
Virtual Reality
COD Workload Description
54610-02 30 To follow are some of the topics this course will address: Virtual Reality Concepts; Devices for Visualization and Tracking for Virtual Reality Applications; Interaction Techniques in Virtual Environments; Augmented Reality; Applications of Virtual and Augmented Reality.
Professors Home time Lattes
MARCIO SARROGLIA PINHO 28 years and 4 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Research line 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.
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.
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.
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.
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.