Advanced Cryptography
COD |
Workload |
Description |
54672-02 |
30 |
This course will provide students with insights into modular arithmetic, prime numbers and factorization, pseudo-random functions and generators, asymmetric cryptography and digital signatures. |
No offer for current semester |
Concentration area |
Type |
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. |
Professors |
Home time |
Lattes |
AFONSO HENRIQUE CORREA DE SALES |
12 years and 8 months |
Link |
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. |
Professors |
Home time |
Lattes |
TIAGO COELHO FERRETO |
20 years and 8 months |
Link |
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. |
No offer for current semester |
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. |
Professors |
Home time |
Lattes |
FERNANDO LUIS DOTTI |
26 years and 8 months |
Link |
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. |
No offer for current semester |
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. |
No offer for current semester |
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. |
Professors |
Home time |
Lattes |
LUCAS SILVEIRA KUPSSINSKU |
3 years and 3 months |
Link |
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. |
Professors |
Home time |
Lattes |
JORGE LUIS NICOLAS AUDY |
39 years and 6 months |
Link |
RAFAEL PRIKLADNICKI |
20 years and 8 months |
Link |
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. |
No offer for current semester |
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. |
No offer for current semester |
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. |
No offer for current semester |
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. |
Professors |
Home time |
Lattes |
LUIZ GUSTAVO LEAO FERNANDES |
30 years and 3 months |
Link |
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. |
Professors |
Home time |
Lattes |
DUNCAN DUBUGRAS ALCOBA RUIZ |
32 years and 3 months |
Link |
RODRIGO COELHO BARROS |
10 years and 8 months |
Link |
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. |
No offer for current semester |
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). |
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
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. |
Professors |
Home time |
Lattes |
CESAR AUGUSTO FONTICIELHA DE ROSE |
26 years and 1 month |
Link |
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. |
No offer for current semester |
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. |
Professors |
Home time |
Lattes |
FELIPE RECH MENEGUZZI |
12 years and 8 months |
Link |
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. |
Professors |
Home time |
Lattes |
DALVAN JAIR GRIEBLER |
3 years and 8 months |
Link |
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. |
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. |
Professors |
Home time |
Lattes |
FABIANO PASSUELO HESSEL |
31 years and 8 months |
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 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. |
No offer for current semester |
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. |
No offer for current semester |
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. |
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 |
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
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. |
Professors |
Home time |
Lattes |
MARCIO SARROGLIA PINHO |
34 years and 3 months |
Link |
Concentration area |
Type |
Required |
Computer Science |
Master's |
Not required |
Computer Science |
Doctorate |
Not required |
Research line |
Description |
|
|
|
|
|
|
|
|
|
|
|
|
COD |
Workload |
Description |
34678-02 |
30 |
|
Professors |
Home time |
Lattes |
SABRINA DOS SANTOS MARCZAK |
16 years |
Link |
Concentration area |
Type |
Required |
Computer Science |
Master's |
Not required |
Computer Science |
Doctorate |
Not required |
Research line |
Description |
|
|
|
|
|
|
|
|
|
|
|
|