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.
Professors Home time Lattes
AVELINO FRANCISCO ZORZO 33 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Advanced Topics I
COD Workload Description
44613-01 15 This course will look at current topics of relevance to research in Computer Science.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Advanced Topics in Computer Science VII
COD Workload Description
54601-02 30 This course will look at current topics of relevance to research in Computer Science
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Required
Computer Science Doctorate Required
Research line Description
Analysis and Visualization of Heterogeneous Data
COD Workload Description
5461A-03 45 The topics this course addresses are as follows: Introduction to video data mining models; Text editing for information analysis; Strategies for communicating results from the visualization of heterogeneous data.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Autonomous Agents
COD Workload Description
198BT-02 30 Autonomous Agents, Agent Architectures, BDI Agents, Programming Languages based on the BDI Architecture, use of planning and learning techniques in agent programming, intelligent agent applications.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Communication, Natural Language and Ontologies
COD Workload Description
54666-03 45 To follow are some of the topics this course will address: Artificial Intelligence and Communication; Communication and the processing of natural language; Communication and ontologies; Communication in intelligent agents.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
DUNCAN DUBUGRAS ALCOBA RUIZ 31 years and 8 months Link
Concentration area Type Required
Computer Science Master's Required
Computer Science Doctorate Required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Computational Platforms for Distributed Systems.
COD Workload Description
19802-02 30 This course offers a practical perspective on distributed systems. Review of distributed abstractions and fundamental algorithms in distributed systems. Evaluation of different distributed platforms supporting consensus. Implementation of fundamental algorithms for distributed computing. Use of specific platforms in implementations.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Computer animation;
COD Workload Description
54602-02 30 This course will provide an introduction to Computer Animation, modeling and animation of virtual characters, behavioral animation and "intelligent" virtual environments.
Professors Home time Lattes
SORAIA RAUPP MUSSE 19 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Cryptography
COD Workload Description
54668-02 30 This course will provide students with deeper insights into Classical cryptography, stream ciphers and block ciphers, Message Authentication Codess as well as symmetric cryptography.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
ISABEL HARB MANSSOUR 25 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Deep Neural Networks
COD Workload Description
19801-02 30 This course introduces the main concepts related to deep neural networks and their applications to unstructured data analysis. For such, the following topics will be covered throughout the course: Introduction to unstructured data analysis; Nearest neighbors and linear classifiers to image and text classification; Neural networks and the backpropagation algorithm; Architectures and components of convolutional neural networks; Architectures and components of recurrent neural networks; Applications to classification, segmentation, and object detection in images and videos; Applications to image captioning, machine translation, and automatic text generation; Overview of deep learning frameworks.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Engineering and Materials Technology Master's Not required
Engineering and Materials Technology Doctorate Not required
Materials and Related Processes Doctorate Not required
Scientific Education Master's Not required
Scientific Education Doctorate Not required
Research line Description
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.
Distributed Algorithms Construction
COD Workload Description
198KL-02 30 Importance of distributed algorithms. Complexity factors for building distributed algorithms. Consistency levels for distributed algorithms. Measures of computational complexity. Modeling and specification strategies for distributed algorithms. Properties of distributed algorithms. Reasoning about properties. Implementation of distributed algorithms. Evaluation metrics. Practical case studies.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
FERNANDO LUIS DOTTI 26 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Experimental Research Methods
COD Workload Description
198BS-02 30 Introduction to scientific research, the experimental research cycle, experimental research methods, data collection and analysis methods.
Professors Home time Lattes
SABRINA DOS SANTOS MARCZAK 15 years and 5 months Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Extraction and visual analysis of heterogeneous data
COD Workload Description
1983J-02 30 Introduction to video data extraction models. Data processing for information analysis. Strategies for communicating results through visualization of heterogeneous data.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Engineering and Materials Technology Master's Not required
Engineering and Materials Technology Doctorate Not required
Materials and Related Processes Doctorate Not required
Research line Description
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.
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
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Engineering and Materials Technology Master's Not required
Engineering and Materials Technology Doctorate Not required
Materials and Related Processes Doctorate Not required
Research line Description
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.
Fundamentals of Machine Learning and Artificial Intelligence
COD Workload Description
198MA-02 30 The course covers fundamental principles of Artificial Intelligence (AI) and Machine Learning (ML). The course first briefly reviews some fundamental mathematical methods used in AI and ML such as metrics, distances, maximum likelihood and information theory. The course discusses the main conventional clustering and classification methods such as K-means, K nearest neighbors, naïve bayes, support vector machines, neural networks, regression trees and random forest. In addition, the course briefly introduces some of the main models used in deep learning and generative models such as convolutional neural networks, autoencoders, and reinforcement learning.
Professors Home time Lattes
LUCAS SILVEIRA KUPSSINSKU 2 years and 8 months Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Introduction to Research Supervision
COD Workload Description
198B6-02 30 Learning supervision styles and techniques in research. Application of the scientific methodology technique. Practical assessment of the importance of reproducibility in research. Planning and administration of collaborative work.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Model Checking Concurrent Systems
COD Workload Description
1987J-02 30 Deductive approaches and models checking approaches for systems verification. Emphasis on model checking. Languages, abstractions and tools for: describing systems; specification of behavior and properties; evaluation of the system against properties. Exemplification. Application of concepts in practical case studies.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Multiprocessor Systems on Chip - Communication and Computing
COD Workload Description
198BR-02 30 ntroduction to communication mechanisms used in integrated circuits. Study of the concepts of buses, standardized buses (e.g., AXI), and dedicated buses. Evolution of communication infrastructures for on-chip networks (NoCs). NoC implementation case study. Presentation of multiprocessor-on-chip (many-core) architectures. Analyses of problems related to energy consumption (dark silicon) and issues related to the security of many-core systems that use NoC as communication infrastructure.
Professors Home time Lattes
FERNANDO GEHM MORAES 28 years and 1 month Link
CESAR AUGUSTO MISSIO MARCON 28 years and 8 months Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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).
Professors Home time Lattes
CESAR AUGUSTO FONTICIELHA DE ROSE 25 years and 6 months Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Parallel Programming with Message Passing
COD Workload Description
1983K-02 30 Modelling and programming of parallel applications with the message passing paradigm. Optimization techniques. Performance evaluation.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
MILENE SELBACH SILVEIRA 29 years and 8 months Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Reinforcement Learning
COD Workload Description
1987I-02 30 Study of the theory and assumptions behind reinforcement learning algorithms. Decision Theory, Markov Decision Processes, and solution via dynamic programming. Temporal Difference Learning. Value-function approximation. Policy Gradient. Planning and Learning. Exploration and exploitation. Applications of Reinforcement Learning.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Engineering and Materials Technology Master's Not required
Engineering and Materials Technology Doctorate Not required
Materials and Related Processes Doctorate Not required
Scientific Education Master's Not required
Scientific Education Doctorate Not required
Research line Description
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.
Scalable Data Stream Processing
COD Workload Description
198B5-02 30 Understand the concept and theoretical foundations of the data stream processing model. Know the challenges of developing scalable applications on different computing platforms and architectures. Understand the key technologies (e.g., Apache Storm, Apache Flink e Spark Streaming) and the performance optimization strategies (load balancing, scheduling, state and stream management, operator placement, and state partitioning). Develop prototypes of scalable data stream applications. Know the recent research advances for data stream processing.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
FABIANO PASSUELO HESSEL 31 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Software Development Process
COD Workload Description
34678-03 45 Concepts about the software development process, software development life cycle models, software development methodologies and trends in software development.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Special Topics in Embedded and Digital Systems I
COD Workload Description
34663-01 15 This course will look at current topics of relevance to the line of research in Embedded and Digital Systems
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
Professors Home time Lattes
AFONSO HENRIQUE CORREA DE SALES 12 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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
LUCAS SILVEIRA KUPSSINSKU 2 years and 8 months Link
Concentration area Type Required
Computer Science Master's Required
Computer Science Doctorate Required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Trends in Computer Science Research
COD Workload Description
198LB-01 15 Current topics of interest in research and innovation in Computer Science.
Professors Home time Lattes
RAFAEL PRIKLADNICKI 20 years and 1 month Link
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Trends in Software Engineering Research
COD Workload Description
198H4-01 15 Current topics of interest in research and innovation in the area of Software Engineering
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
Trends in Software Engineering Research
COD Workload Description
198HL-02 30 Current topics of interest in research and innovation in the area of Software Engineering.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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 Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description
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.
No offer for current semester
Concentration area Type Required
Computer Science Master's Not required
Computer Science Doctorate Not required
Research line Description