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 |
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. |
| 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. |
| 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. |
| 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 |
|
|
|
|
|
|
|
|
|
|
|
|
