FCUP - Master in Computer Science

1st Semester
Code	Acronym	Name	Obs.	Credits
CC4010	CC4010	Algorithms		6
		Conditional Options	(1)
		Generic Options 2	(2)
		Generic Options 1	(3)

2nd Semester
Code	Acronym	Name	Obs.	Credits
		Conditional Options	(1)
		Generic Options 2	(2)
		Generic Options 1	(3)

Comments:

(1) Students must choose one of these 3 UC's and are prevented from taking it as an option. Each year the Scientific Council, at the proposal of the study cycle's scientific committee, will define the set of optional curricular units that will take place in each semester.
(2) Each year the Scientific Council, at the proposal of the study cycle's scientific committee, will define the set of optional curricular units that will take place in each semester.
(3) Each year the Scientific Council, at the proposal of the study cycle's scientific committee, will define the set of optional curricular units that will take place in each semester.

2nd Year

Yearly
Code	Acronym	Name		Obs.	Credits
CC5002	CC5002	Dissertation			48

1st Semester
Code	Acronym	Name	Obs.	Credits
		Professional and Social Practice Option	(1)
		U.Porto Option and/or Transversal/Transferable Skills	(2)

Comments:

(1) Each year the Scientific Council, at the proposal of the study cycle's scientific committee, will define the set of optional curricular units that will take place in each semester.
(2) To be carried out among FCUP's 2nd Cycle training offer, including the Transversal Skills Catalog, upon prior validation by Scientific Commission.

Generic Options 2

Code	Acronym	Name	Credits	Year	Period
M4110	M4110	Statistical Analysis and Signal Processing	6	1st	1S
CC4089	CC4089	Automata and Formal Languages	6	1st	1S
CC4014	CC4014	Parallel Computing	6	1st	1S
CC4017	CC4017	Cryptography	6	1st	1S
M4166	M4166	Applied Statistics in Science and Engineering	6	1st	1S
CC4072	CC4072	Foundations of Data Science	6	1st	1S
CC4013	CC4013	Foundations of Programming Languages	6	1st	1S
CC4005	CC4005	Software Project Management	6	1st	1S
CC4001	CC4001	Processing of Structured Documents	6	1st	1S
CC4065	CC4065	Symbolic Reasoning	6	1st	1S
CC4031	CC4031	Network Security	6	1st	1S
CC4003	CC4003	Distributed Systems	6	1st	1S
CC4022	CC4022	Advanced Topics on Artificial Intelligence	6	1st	1S
CC4084	CC4084	Verification of Systems	6	1st	1S
CC4016	CC4016	Computer Vision	6	1st	1S
CC4093	CC4093	Big Data and Cloud Computing	6	1st	2S
CC4021	CC4021	Bioinformatics	6	1st	2S
CC4063	CC4063	Network Science	6	1st	2S
CC4011	CC4011	Computational Complexity	6	1st	2S
CC4009	CC4009	Computer Graphics	6	1st	2S
CC4023	CC4023	Implementation of Programming Languages	6	1st	2S
CC4086	CC4086	Advanced Logic and Applications	6	1st	2S
M4144	M4144	Stochastic Processes and Applications	6	1st	2S
CC4039	CC4039	Mobile Communication Networks	6	1st	2S
CC4030	CC4030	Systems and Data Security	6	1st	2S
CC4040	CC4040	Embedded Systems	6	1st	2S
CC4019	CC4019	Information Theory	6	1st	2S
CC4020	CC4020	Advanced Topics in Algorithms	6	1st	2S
CC4007	CC4007	Advanced Topics in Databases	6	1st	2S
CC4061	CC4061	Advanced Topics in Data Science	6	1st	2S
CC4087	CC4087	Advanced Topics in Cryptography	6	1st	2S
CC4028	CC4028	Advanced Topics in Functional Programming	6	1st	2S
CC4090	CC4090	Advanced Topics in Networking	6	1st	2S
CC4085	CC4085	Verification of Programs	6	1st	2S

Obtain approval in:

at least 18 credits and a maximum of 18 credits

Professional and Social Practice Option

Code	Acronym	Name		Credits	Year	Period
GES4000	GES4000	Management and Entrepreneurship		6	2nd	1S
DPI4001	DPI4001	Sociology and Ethics in Informatics		6	2nd	1S

Obtain approval in:

at least 6 credits and a maximum of 6 credits

U.Porto Option and/or Transversal/Transferable Skills

Code	Acronym	Name		Credits	Year	Period
		Qualquer unidade curricular do 2º ciclo da Universidade do Porto
		Qualquer unidade curricular do catálogo CT_FCUP-Competências Transversais

Obtain approval in:

at least 6 credits and a maximum of 6 credits

Code	Acronym	Name		Credits	Year	Period
CC4013	CC4013	Foundations of Programming Languages		6	1st	1S

Code	Acronym	Name		Credits	Year	Period
CC4003	CC4003	Distributed Systems		6	1st	1S

Code	Acronym	Name		Credits	Year	Period
CC4007	CC4007	Advanced Topics in Databases		6	1st	2S

Generic Options 1

Code	Acronym	Name	Credits	Year	Period
CC4089	CC4089	Automata and Formal Languages	6	1st	1S
CC4014	CC4014	Parallel Computing	6	1st	1S
CC4017	CC4017	Cryptography	6	1st	1S
CC4072	CC4072	Foundations of Data Science	6	1st	1S
CC4013	CC4013	Foundations of Programming Languages	6	1st	1S
CC4005	CC4005	Software Project Management	6	1st	1S
CC4001	CC4001	Processing of Structured Documents	6	1st	1S
CC4065	CC4065	Symbolic Reasoning	6	1st	1S
CC4031	CC4031	Network Security	6	1st	1S
CC4003	CC4003	Distributed Systems	6	1st	1S
CC4022	CC4022	Advanced Topics on Artificial Intelligence	6	1st	1S
CC4084	CC4084	Verification of Systems	6	1st	1S
CC4016	CC4016	Computer Vision	6	1st	1S
CC4093	CC4093	Big Data and Cloud Computing	6	1st	2S
CC4021	CC4021	Bioinformatics	6	1st	2S
CC4063	CC4063	Network Science	6	1st	2S
CC4011	CC4011	Computational Complexity	6	1st	2S
CC4009	CC4009	Computer Graphics	6	1st	2S
CC4023	CC4023	Implementation of Programming Languages	6	1st	2S
CC4086	CC4086	Advanced Logic and Applications	6	1st	2S
CC4039	CC4039	Mobile Communication Networks	6	1st	2S
CC4030	CC4030	Systems and Data Security	6	1st	2S
CC4040	CC4040	Embedded Systems	6	1st	2S
CC4019	CC4019	Information Theory	6	1st	2S
CC4020	CC4020	Advanced Topics in Algorithms	6	1st	2S
CC4007	CC4007	Advanced Topics in Databases	6	1st	2S
CC4061	CC4061	Advanced Topics in Data Science	6	1st	2S
CC4087	CC4087	Advanced Topics in Cryptography	6	1st	2S
CC4028	CC4028	Advanced Topics in Functional Programming	6	1st	2S
CC4090	CC4090	Advanced Topics in Networking	6	1st	2S
CC4085	CC4085	Verification of Programs	6	1st	2S

Obtain approval in:

at least 30 credits and a maximum of 30 credits

Academic year:
Comments:	DGES \| Consultar Regras de Transição para 2025/2026 \| Consultar The	DGES \| Consultar Regras de Transição para 2025/2026 \| Consultar The study cycle is made up of: a) a specialization course, made up of an organised set of curricular units corresponding to 72 ECTS credits. It confers a Specialization in Computer Science; b) a dissertation of a scientific nature, corresponding to 48 credits of the total 120 ECTS credits of the study cycle, the defence of which in public examinations will enable the award of a master's degree in computer science. The study plan includes several tables of optional curricular units, which illustrate the programme on offer. This list may be subject to changes approved by the Faculty's scientific bodies. Each year, the Scientific Committee of the study cycle will establish which optional courses will be offered and in which semesters, within the current list.

Courses

Master in Computer Science

Study plan since academic year 2025/2026

Generic Options 2

Professional and Social Practice Option

U.Porto Option and/or Transversal/Transferable Skills

Conditional Options

Generic Options 1

Type of Classification: OFICIAL

Course units belonging to the academic fields defined in the active curricular structure(s) in the current academic year

Keyword	Code	Acronym	Name	Credits	Mandatory
Computer Science	CC4010	CC4010	Algorithms	6	Yes
Computer Science	CC4089	CC4089	Automata and Formal Languages	6
Computer Science	CC4093	CC4093	Big Data and Cloud Computing	6
Computer Science	CC4021	CC4021	Bioinformatics	6
Computer Science	CC4063	CC4063	Network Science	6
Computer Science	CC4011	CC4011	Computational Complexity	6
Computer Science	CC4009	CC4009	Computer Graphics	6
Computer Science	CC4014	CC4014	Parallel Computing	6
Computer Science	CC4017	CC4017	Cryptography	6
Computer Science	CC5002	CC5002	Dissertation	48	Yes
Computer Science	CC4072	CC4072	Foundations of Data Science	6
Computer Science	CC4013	CC4013	Foundations of Programming Languages	6
Computer Science	CC4005	CC4005	Software Project Management	6
Computer Science	CC4023	CC4023	Implementation of Programming Languages	6
Computer Science	CC4086	CC4086	Advanced Logic and Applications	6
Computer Science	CC4001	CC4001	Processing of Structured Documents	6
Computer Science	CC4065	CC4065	Symbolic Reasoning	6
Computer Science	CC4039	CC4039	Mobile Communication Networks	6
Computer Science	CC4031	CC4031	Network Security	6
Computer Science	CC4030	CC4030	Systems and Data Security	6
Computer Science	CC4003	CC4003	Distributed Systems	6
Computer Science	CC4040	CC4040	Embedded Systems	6
Computer Science	CC4019	CC4019	Information Theory	6
Computer Science	CC4020	CC4020	Advanced Topics in Algorithms	6
Computer Science	CC4007	CC4007	Advanced Topics in Databases	6
Computer Science	CC4061	CC4061	Advanced Topics in Data Science	6
Computer Science	CC4087	CC4087	Advanced Topics in Cryptography	6
Computer Science	CC4022	CC4022	Advanced Topics on Artificial Intelligence	6
Computer Science	CC4028	CC4028	Advanced Topics in Functional Programming	6
Computer Science	CC4090	CC4090	Advanced Topics in Networking	6
Computer Science	CC4085	CC4085	Verification of Programs	6
Computer Science	CC4084	CC4084	Verification of Systems	6
Computer Science	CC4016	CC4016	Computer Vision	6

Keyword	Code	Acronym	Name	Credits
Mathematics	M4110	M4110	Statistical Analysis and Signal Processing	6
Mathematics	M4166	M4166	Applied Statistics in Science and Engineering	6
Mathematics	M4144	M4144	Stochastic Processes and Applications	6