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.
Professors Home time Lattes
LUIZ GUSTAVO LEAO FERNANDES 25 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.
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.
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 VII
COD Workload Description
54601-02 30 This course will look at current topics of relevance to research in Computer Science
Professors Home time Lattes
FERNANDO LUIS DOTTI 21 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.
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
AFONSO HENRIQUE CORREA DE SALES 7 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.
Professors Home time Lattes
SORAIA RAUPP MUSSE 14 years and 9 months Link
ISABEL HARB MANSSOUR 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.
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.
Artificial Intelligence Planning
COD Workload Description
1982D-02 30 Automated planning: formalisms and assumptions. Classical planning: formalisms and algorithms. HTN Planning: formalism and algorithms. Non-deterministic planning: formalisms and algorithms. Applications of automated planning.
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.
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 11 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.
Professors Home time Lattes
RENATA VIEIRA 11 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.
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.
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 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
Signals, Systems and Information Technology Master's 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 Systems This line of research is committed to the development of integrated systems with emphasis on the development of testing and fault-tolerance methodologies that can ensure their robustness. This line is strongly committed to the development of integrated systems using reconfigurable hardware (Field Programmable Gate Array – FPGA), as well as Application Specific Integrated Circuits (ASICs). In addition to that, it addresses topics related to the optimization of Integrated Circuits (ICs), such as Low Power-, Aging-, Temperature and Process Variation-Aware Design, and the development of Electronic Design Automation (EDA) tools. It also looks at techniques aiming at ensuring the development of ICs for Electromagnetic Compatibility – EMC and solutions in hardware and software for the project of Systems-on-Chip (SoC) and Embedded Systems robust to Electromagnetic Interference – EMI and radiation. The researchers involved also deal with the study of emerging technologies, such as graphene, for IC projects. Lastly, this line looks at the analysis of aging of CIs and also when combined to the EMI effects.
Biomedical Engineering Biomedical Engineering is an interdisciplinary and multiprofessional field that employs the knowledge, methods and techniques of exact sciences and engineerings for resolution of problems in biomedical areas. It is intended to provide further insights into biomedical systems by employing new methods and innovative technological solutions for the benefit of society and advancement of human health. The line of research in Biomedical Engineering addresses the following areas: engineering applied to physiology and biopharmaceutical processes (development of therapeutic, pharmaceutical and rehabilitation procedures and devices); aerospace engineering applied to health (simulation in extreme environments and physiological monitoring); processing and analysis of biological signals and medical imaging (processing and digital analysis techniques of images, health informatics, telehealth, artificial intelligence applied to biomedical signals and images); modeling of biomedical systems; biomedical instrumentation (biomedical sensors, systems for acquisition of biomedical signals and images); biomechanics (analysis of kinetics and kinematics of human body, architecture and muscle activation).
Automation and Systems This line of research is intended to advance theory and applied research into the area of automatic control systems. The several stages of control systems design will be addressed, including modeling and identification of systems, analysis and design of controllers with an eye to safe and efficient performance of several applications: robotics, power electronics, autonomous cars, converters and alternative sources of energy, among others. The main research topics include: development of advanced controllers for performance and robustness, modeling and identification of complex systems, analysis and design of controllers for non linear systems and the design of non linear controllers to improve the performance of linear systems.
Telecommunications This Line of Research is devoted to R&D of new technologies for telecommunication aiming at meeting demands for innovation from academia and industry. It develops complex projects, using state-of-the-art technology while consolidating the research in high value-added products and processes. This Line is particularly devoted to advanced communications, wireless and wireless broadband systems, IoT, wireless geolocation, real-time adaptive signal processing, software defined radio, artificial intelligence, software defined radio, cognitive radio, MIMO systems, antennae and electromagnetism, phased arrays and smart antennae, beamforming, microwaves and devices, electromagnetic metamaterials, computer electromagnetism, and design of integrated circuits for telecommunications.
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.
Professors Home time Lattes
FERNANDO LUIS DOTTI 21 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 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 15 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.
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.
Concurrent Programming
COD Workload Description
1982G-02 30 This course deepens the understanding of concurrency problems and existing mechanisms and abstractions to build correct and efficient concurrency systems. Review of concurrency and synchronization concepts. Consistency criteria for concurrent objects (sequential consistency, quiescent, linearizability). Blocking synchronization. Spin locks and containment. Synchronization techniques: coarse-grained, fine grained, optimistic, lazy. Non-blocking synchronization techniques: lock-free, wait-free, obstruction-free. Correctness arguments for concurrent algorithms. Notions of transactional memory by SW and by HW.
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.
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.
Professors Home time Lattes
AVELINO FRANCISCO ZORZO 28 years and 8 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.
Data Management for Big Data
COD Workload Description
1982F-02 30 The understanding of schema-less database management and of new applications: big data, social media data. The study on spatiotemporal, multimedia, hypermedia, streaming and digital media data, and support for schema-less databases. Big data and cloud computing overview: HDFS, Hadoop, MapReduce and Spark. The understanding of transaction and memory management, concurrency control and failover models, as well as of query and transaction optimization by the big data perspective.
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.
Professors Home time Lattes
RODRIGO COELHO BARROS 5 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.
Digital Entrepreneurship - Transforming Knowledge into Development
COD Workload Description
1982K-02 30 This course aims to present the main concepts associated with digital entrepreneurship and the transformation of scientific knowledge in development for society. The following points will be addressed: Entrepreneurship, startups, business model, lean startup, minimum viable product, and real cases of transforming scientific knowledge into innovation and development through entrepreneurship.
No offer for current semester
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Engineering and Materials Technology Master's Don't Required
Engineering and Materials Technology Doctorate Don't Required
Materials and Related Processes Doctorate Don't Required
Scientific Education Master's Don't Required
Scientific Education Doctorate Don't Required
Signals, Systems and Information Technology Master's 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.
Metallic materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Polymeric materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Materials and processes to mitigate and control environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Nanostructured materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and photovoltaic cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Metallic Materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Polymeric Materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Materials and processes for control and mitigation of environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Nanostructured Materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and Solar Cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Learning, teaching and teacher education on Science and Mathematics This line involves knowledge production on the teaching and learning of Science and Mathematics, related to education through research, to interdisciplinarity and transdisciplinarity, to the modeling processes in Science and Mathematics, associated with the initial and continuing education of teachers in Basic and Higher Education.
Culture, Epistemology and Science Education Culture, Epistemology and Scientific Education This line addresses knowledge production on historical, epistemological and sociocultural aspects related to scientific, mathematical and technological development, as well as to the popularization of Science and Mathematics in formal and non-formal learning settings.
Tecnology in Science and Mathematics Education This line addresses knowledge production on information and communication technologies to support the teaching and learning processes in Science and Mathematics in both classroom and also in distance learning.
Computer Systems This line of research is committed to the development of integrated systems with emphasis on the development of testing and fault-tolerance methodologies that can ensure their robustness. This line is strongly committed to the development of integrated systems using reconfigurable hardware (Field Programmable Gate Array – FPGA), as well as Application Specific Integrated Circuits (ASICs). In addition to that, it addresses topics related to the optimization of Integrated Circuits (ICs), such as Low Power-, Aging-, Temperature and Process Variation-Aware Design, and the development of Electronic Design Automation (EDA) tools. It also looks at techniques aiming at ensuring the development of ICs for Electromagnetic Compatibility – EMC and solutions in hardware and software for the project of Systems-on-Chip (SoC) and Embedded Systems robust to Electromagnetic Interference – EMI and radiation. The researchers involved also deal with the study of emerging technologies, such as graphene, for IC projects. Lastly, this line looks at the analysis of aging of CIs and also when combined to the EMI effects.
Biomedical Engineering Biomedical Engineering is an interdisciplinary and multiprofessional field that employs the knowledge, methods and techniques of exact sciences and engineerings for resolution of problems in biomedical areas. It is intended to provide further insights into biomedical systems by employing new methods and innovative technological solutions for the benefit of society and advancement of human health. The line of research in Biomedical Engineering addresses the following areas: engineering applied to physiology and biopharmaceutical processes (development of therapeutic, pharmaceutical and rehabilitation procedures and devices); aerospace engineering applied to health (simulation in extreme environments and physiological monitoring); processing and analysis of biological signals and medical imaging (processing and digital analysis techniques of images, health informatics, telehealth, artificial intelligence applied to biomedical signals and images); modeling of biomedical systems; biomedical instrumentation (biomedical sensors, systems for acquisition of biomedical signals and images); biomechanics (analysis of kinetics and kinematics of human body, architecture and muscle activation).
Automation and Systems This line of research is intended to advance theory and applied research into the area of automatic control systems. The several stages of control systems design will be addressed, including modeling and identification of systems, analysis and design of controllers with an eye to safe and efficient performance of several applications: robotics, power electronics, autonomous cars, converters and alternative sources of energy, among others. The main research topics include: development of advanced controllers for performance and robustness, modeling and identification of complex systems, analysis and design of controllers for non linear systems and the design of non linear controllers to improve the performance of linear systems.
Telecommunications This Line of Research is devoted to R&D of new technologies for telecommunication aiming at meeting demands for innovation from academia and industry. It develops complex projects, using state-of-the-art technology while consolidating the research in high value-added products and processes. This Line is particularly devoted to advanced communications, wireless and wireless broadband systems, IoT, wireless geolocation, real-time adaptive signal processing, software defined radio, artificial intelligence, software defined radio, cognitive radio, MIMO systems, antennae and electromagnetism, phased arrays and smart antennae, beamforming, microwaves and devices, electromagnetic metamaterials, computer electromagnetism, and design of integrated circuits for telecommunications.
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
Engineering and Materials Technology Master's Don't Required
Engineering and Materials Technology Doctorate Don't Required
Materials and Related Processes Doctorate Don't Required
Signals, Systems and Information Technology Master's 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.
Metallic materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Polymeric materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Materials and processes to mitigate and control environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Nanostructured materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and photovoltaic cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Metallic Materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Polymeric Materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Materials and processes for control and mitigation of environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Nanostructured Materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and Solar Cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Computer Systems This line of research is committed to the development of integrated systems with emphasis on the development of testing and fault-tolerance methodologies that can ensure their robustness. This line is strongly committed to the development of integrated systems using reconfigurable hardware (Field Programmable Gate Array – FPGA), as well as Application Specific Integrated Circuits (ASICs). In addition to that, it addresses topics related to the optimization of Integrated Circuits (ICs), such as Low Power-, Aging-, Temperature and Process Variation-Aware Design, and the development of Electronic Design Automation (EDA) tools. It also looks at techniques aiming at ensuring the development of ICs for Electromagnetic Compatibility – EMC and solutions in hardware and software for the project of Systems-on-Chip (SoC) and Embedded Systems robust to Electromagnetic Interference – EMI and radiation. The researchers involved also deal with the study of emerging technologies, such as graphene, for IC projects. Lastly, this line looks at the analysis of aging of CIs and also when combined to the EMI effects.
Biomedical Engineering Biomedical Engineering is an interdisciplinary and multiprofessional field that employs the knowledge, methods and techniques of exact sciences and engineerings for resolution of problems in biomedical areas. It is intended to provide further insights into biomedical systems by employing new methods and innovative technological solutions for the benefit of society and advancement of human health. The line of research in Biomedical Engineering addresses the following areas: engineering applied to physiology and biopharmaceutical processes (development of therapeutic, pharmaceutical and rehabilitation procedures and devices); aerospace engineering applied to health (simulation in extreme environments and physiological monitoring); processing and analysis of biological signals and medical imaging (processing and digital analysis techniques of images, health informatics, telehealth, artificial intelligence applied to biomedical signals and images); modeling of biomedical systems; biomedical instrumentation (biomedical sensors, systems for acquisition of biomedical signals and images); biomechanics (analysis of kinetics and kinematics of human body, architecture and muscle activation).
Automation and Systems This line of research is intended to advance theory and applied research into the area of automatic control systems. The several stages of control systems design will be addressed, including modeling and identification of systems, analysis and design of controllers with an eye to safe and efficient performance of several applications: robotics, power electronics, autonomous cars, converters and alternative sources of energy, among others. The main research topics include: development of advanced controllers for performance and robustness, modeling and identification of complex systems, analysis and design of controllers for non linear systems and the design of non linear controllers to improve the performance of linear systems.
Telecommunications This Line of Research is devoted to R&D of new technologies for telecommunication aiming at meeting demands for innovation from academia and industry. It develops complex projects, using state-of-the-art technology while consolidating the research in high value-added products and processes. This Line is particularly devoted to advanced communications, wireless and wireless broadband systems, IoT, wireless geolocation, real-time adaptive signal processing, software defined radio, artificial intelligence, software defined radio, cognitive radio, MIMO systems, antennae and electromagnetism, phased arrays and smart antennae, beamforming, microwaves and devices, electromagnetic metamaterials, computer electromagnetism, and design of integrated circuits for telecommunications.
Functional Verification of Digital Systems II
COD Workload Description
19854-02 30 Review hardware verification languages; Languages to describe assertions; fault simulation; equivalence verification; property verification; Formal verification methods for VLSI
Professors Home time Lattes
ALEXANDRE DE MORAIS AMORY 7 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Engineering and Materials Technology Master's Don't Required
Engineering and Materials Technology Doctorate Don't Required
Materials and Related Processes Doctorate Don't Required
Signals, Systems and Information Technology Master's 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.
Metallic materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Polymeric materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Materials and processes to mitigate and control environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Nanostructured materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and photovoltaic cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Metallic Materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Polymeric Materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Materials and processes for control and mitigation of environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Nanostructured Materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and Solar Cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Computer Systems This line of research is committed to the development of integrated systems with emphasis on the development of testing and fault-tolerance methodologies that can ensure their robustness. This line is strongly committed to the development of integrated systems using reconfigurable hardware (Field Programmable Gate Array – FPGA), as well as Application Specific Integrated Circuits (ASICs). In addition to that, it addresses topics related to the optimization of Integrated Circuits (ICs), such as Low Power-, Aging-, Temperature and Process Variation-Aware Design, and the development of Electronic Design Automation (EDA) tools. It also looks at techniques aiming at ensuring the development of ICs for Electromagnetic Compatibility – EMC and solutions in hardware and software for the project of Systems-on-Chip (SoC) and Embedded Systems robust to Electromagnetic Interference – EMI and radiation. The researchers involved also deal with the study of emerging technologies, such as graphene, for IC projects. Lastly, this line looks at the analysis of aging of CIs and also when combined to the EMI effects.
Biomedical Engineering Biomedical Engineering is an interdisciplinary and multiprofessional field that employs the knowledge, methods and techniques of exact sciences and engineerings for resolution of problems in biomedical areas. It is intended to provide further insights into biomedical systems by employing new methods and innovative technological solutions for the benefit of society and advancement of human health. The line of research in Biomedical Engineering addresses the following areas: engineering applied to physiology and biopharmaceutical processes (development of therapeutic, pharmaceutical and rehabilitation procedures and devices); aerospace engineering applied to health (simulation in extreme environments and physiological monitoring); processing and analysis of biological signals and medical imaging (processing and digital analysis techniques of images, health informatics, telehealth, artificial intelligence applied to biomedical signals and images); modeling of biomedical systems; biomedical instrumentation (biomedical sensors, systems for acquisition of biomedical signals and images); biomechanics (analysis of kinetics and kinematics of human body, architecture and muscle activation).
Automation and Systems This line of research is intended to advance theory and applied research into the area of automatic control systems. The several stages of control systems design will be addressed, including modeling and identification of systems, analysis and design of controllers with an eye to safe and efficient performance of several applications: robotics, power electronics, autonomous cars, converters and alternative sources of energy, among others. The main research topics include: development of advanced controllers for performance and robustness, modeling and identification of complex systems, analysis and design of controllers for non linear systems and the design of non linear controllers to improve the performance of linear systems.
Telecommunications This Line of Research is devoted to R&D of new technologies for telecommunication aiming at meeting demands for innovation from academia and industry. It develops complex projects, using state-of-the-art technology while consolidating the research in high value-added products and processes. This Line is particularly devoted to advanced communications, wireless and wireless broadband systems, IoT, wireless geolocation, real-time adaptive signal processing, software defined radio, artificial intelligence, software defined radio, cognitive radio, MIMO systems, antennae and electromagnetism, phased arrays and smart antennae, beamforming, microwaves and devices, electromagnetic metamaterials, computer electromagnetism, and design of integrated circuits for telecommunications.
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.
High Performance Computing for Big Data Applications
COD Workload Description
1982E-02 30 High performance computing principles for Big Data applications addressing key architectures, parallel programming, load balancing, scaling, reliability, maintainability and elasticity. The context of the discipline includes, within the scope of Big Data, storage, data management, data types and generating sources, access and communication patterns, replication, partitioning, transactions, consensus and consistency. Batch, micro-batch and stream processing models are presented, as well as high performance Big Data applications, covering different domains and their particularities, requirements, strategies for parallelism exploration, best practices, workloads and performance evaluation. Finally, the course will address the key technologies used in application development for different Big Data processing 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.
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.
Infrastructure for Big Data
COD Workload Description
1982H-02 30 Big Data and IT Infrastructure concepts overview. Understanding the importance of Cluster Computing for Big Data and studying platforms for Big Data. Understanding the operation of distributed file systems for Big Data and its key features. Study on techniques for data ingestion for different types of data. Understanding the operation of Big Data resource management systems and their key features. Overview of Big Data Services using Cloud 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.
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.
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.
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 25 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.
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.
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.
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.
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 27 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.
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.
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
MILENE SELBACH SILVEIRA 25 years and 4 months Link
JULIANO DORNELAS BENFICA 12 years and 9 months Link
Concentration area Type Obligatoriness
Computer Science Master's Don't Required
Computer Science Doctorate Don't Required
Engineering and Materials Technology Master's Don't Required
Engineering and Materials Technology Doctorate Don't Required
Materials and Related Processes Doctorate Don't Required
Signals, Systems and Information Technology Master's 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.
Metallic materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Polymeric materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Materials and processes to mitigate and control environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Nanostructured materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and photovoltaic cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Metallic Materials This line of research aims to study and design metallic alloys for several applications in engineering, involving the purification of raw materials, the study of the fabrication process, thermal and thermochemical treatments and use performance.
Polymeric Materials This line of research involves the synthesis and characterization of polymers and polymer matrix composites, intended for the production of conductive and biodegradable polymers and polymers for coatings, among others.
Materials and processes for control and mitigation of environmental impacts This line of research is intended to design materials and processes used in environmental control (water, air, soil, etc.) by making use of recycling, including those materials that enable safe energy use and application of technologies for the reduction in greenhouse gas emissions.
Modeling and Simulation Applied to Materials and Processes This line of research aims to study, under the perspectives of mathematical modeling and numerical simulation, the processes and technologies involved with materials production, transport and development. Hence, physical phenomena studies, strongly supported by transport phenomena, materials science and thermodynamics, will be looked at.
Biomaterials, Biomechanics and Bioprocesses This line of research aims to develop materials to be used in implants, going over the processes of project design, fabrication and assessment of their performance. It also deals with the processes of separation, purification and fractionation of natural products for applications in engineering.
Nanostructured Materials This line of research aims to design and characterize nanostructured materials for special applications, such as: conductive polymers, superhard lattices, magnetic materials, filters, sensors, etc.
Semiconductors and Solar Cells This line of research is intended for the study and production of semi-conductive materials, as well as the fabrication and characterization of solar cells and the development of conventional and concentrator photovoltaics modules.
Computer Systems This line of research is committed to the development of integrated systems with emphasis on the development of testing and fault-tolerance methodologies that can ensure their robustness. This line is strongly committed to the development of integrated systems using reconfigurable hardware (Field Programmable Gate Array – FPGA), as well as Application Specific Integrated Circuits (ASICs). In addition to that, it addresses topics related to the optimization of Integrated Circuits (ICs), such as Low Power-, Aging-, Temperature and Process Variation-Aware Design, and the development of Electronic Design Automation (EDA) tools. It also looks at techniques aiming at ensuring the development of ICs for Electromagnetic Compatibility – EMC and solutions in hardware and software for the project of Systems-on-Chip (SoC) and Embedded Systems robust to Electromagnetic Interference – EMI and radiation. The researchers involved also deal with the study of emerging technologies, such as graphene, for IC projects. Lastly, this line looks at the analysis of aging of CIs and also when combined to the EMI effects.
Biomedical Engineering Biomedical Engineering is an interdisciplinary and multiprofessional field that employs the knowledge, methods and techniques of exact sciences and engineerings for resolution of problems in biomedical areas. It is intended to provide further insights into biomedical systems by employing new methods and innovative technological solutions for the benefit of society and advancement of human health. The line of research in Biomedical Engineering addresses the following areas: engineering applied to physiology and biopharmaceutical processes (development of therapeutic, pharmaceutical and rehabilitation procedures and devices); aerospace engineering applied to health (simulation in extreme environments and physiological monitoring); processing and analysis of biological signals and medical imaging (processing and digital analysis techniques of images, health informatics, telehealth, artificial intelligence applied to biomedical signals and images); modeling of biomedical systems; biomedical instrumentation (biomedical sensors, systems for acquisition of biomedical signals and images); biomechanics (analysis of kinetics and kinematics of human body, architecture and muscle activation).
Automation and Systems This line of research is intended to advance theory and applied research into the area of automatic control systems. The several stages of control systems design will be addressed, including modeling and identification of systems, analysis and design of controllers with an eye to safe and efficient performance of several applications: robotics, power electronics, autonomous cars, converters and alternative sources of energy, among others. The main research topics include: development of advanced controllers for performance and robustness, modeling and identification of complex systems, analysis and design of controllers for non linear systems and the design of non linear controllers to improve the performance of linear systems.
Telecommunications This Line of Research is devoted to R&D of new technologies for telecommunication aiming at meeting demands for innovation from academia and industry. It develops complex projects, using state-of-the-art technology while consolidating the research in high value-added products and processes. This Line is particularly devoted to advanced communications, wireless and wireless broadband systems, IoT, wireless geolocation, real-time adaptive signal processing, software defined radio, artificial intelligence, software defined radio, cognitive radio, MIMO systems, antennae and electromagnetism, phased arrays and smart antennae, beamforming, microwaves and devices, electromagnetic metamaterials, computer electromagnetism, and design of integrated circuits for telecommunications.
Security in IoT Systems
COD Workload Description
19853-02 30 Introduction to IoT systems. Discussion of the main security challenges related to IoT systems. Discussion of security risks and vulnerabilities of IoT systems. Discussion about the factors that make security in IoT system more complex. Discussion of possible attacks on IoT systems. Discussion about possible security solutions. Analysis and discussion of real cases.
Professors Home time Lattes
FABIANO PASSUELO HESSEL 26 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.
Security in IoT Systems
COD Workload Description
1982J-02 30 Introduction, Contextualization and Definition of the concepts of Internet of Things and Smart Cities. Discussion about the size of the world market related to IoT and Smart Cities, and the future growth potential of this market. Presentation and Discussion on the main challenges related to the development of systems and applications related to IoT and Smart Cities. Hardware and software architecture for IoT and Smart Cities applications. Discussion of present and future opportunities related to IoT and Smart Cities. Presentation and discussion of real cases in different market verticals.
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
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
Professors Home time Lattes
FERNANDO GEHM MORAES 23 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 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.
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 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.
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 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.
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.
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 33 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.
Professors Home time Lattes
NEY LAERT VILAR CALAZANS 33 years and 4 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.
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 29 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.