With this function you can construct your weekly calendar of lessons, which is customized on the basis of the courses that you intend to follow. Warning: the personal schedule does not replace the presentation of the study plan! It's an informal tool that can help you better manage the organization of class attendance before the study plan presentation. After the study plan presentation we recommend you to use the Lecture timetable service in your Online Services.
To create your customized schedule follow these instructions:
- Click on the "Enable" link to proceed. You will be asked your surname and first name in order to determine your alphabetic grouping.
-
To add or remove courses from your personal schedule, use the small icons which are found next to the courses:
addition of the course
removal of the course
selection of the section of the Laboratory of Architecture (Note: the effective area in which the teaching will be carried out will be determined after the presentation of the Study Plans)
-
The sidebar on the left displays the number of lessons included in schedule.
There are also these commands:
View the schedule: allows the viewing of the weekly synoptic schedule
Delete the schedule: cancels the selections made
When you have finished the entry, you can print the calendar you have made.
Semester (Sem) | 1 | First Semester | 2 | Second Semester | A | Annual course | (1) | First Half-semester | (2) | Second Half-semester |
Language
|
|
Course completely offered in italian
|
|
Course completely offered in english
|
--
|
Not available
|
Note on the teaching activities
|
In case of structured courses taught by more lecturers, the number of students enrolled is related to the individual lecturer module, while the students opinion of the teaching is related to the course as a whole.
The data related to the last academic years (number of students enrolled and students opinion of the teaching) have not yet been defined.
|
|
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the lecturer, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Office hours | Department | Floor | Office | Day | Timetable | Telephone | Fax | Notes |
---|
Elettronica, Informazione e Bioingegneria | Ed 22, III piano | 322 | Monday | From 15:30 To 16:30 | 3495 | --- | Please contact me by email to organize a meeting, also in other dates and timeframes. |
| E-mail | matteo.pradella@polimi.it | Personal website | https://pradella.faculty.polimi.it/ |
List of publications and reserach products for the year 2025 |
No product yet registered in the year 2025 |
List of publications and reserach products for the year 2024 (Show all details | Hide all details) |
Type |
Title of the Publicaiton/Product |
Recensioni su riviste |
Author/s |
Pradella, Matteo |
Number of pages |
2 |
Title of the review |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
Volume |
36 |
Brochure |
1 |
Pages |
1 - 2 |
Item link |
http://hdl.handle.net/11311/1275983 |
|
Conference proceedings |
Cyclic Operator Precedence Grammars for Improved Parallel Parsing (Show >>)(Hide <<)
|
Author/s |
Chiari, M.; Mandrioli, D.; Pradella, M. |
Title of the convention |
28th International Conference on Developments in Language Theory, DLT 2024 |
Location of the convention |
deu |
Period of the convention |
2024 |
Title of the review |
--
|
Pages |
98 - 113 |
Item link |
http://hdl.handle.net/11311/1275981 |
|
SMT-Based Symbolic Model-Checking for Operator Precedence Languages (Show >>)(Hide <<)
|
Author/s |
Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M. |
Title of the convention |
36th International Conference on Computer Aided Verification, CAV 2024 |
Location of the convention |
Montreal, CANADA |
Period of the convention |
JUNE 24-27, 2024 |
Title of the review |
--
|
Pages |
387 - 408 |
Item link |
http://hdl.handle.net/11311/1275979 |
|
List of publications and reserach products for the year 2023 (Show all details | Hide all details) |
Type |
Title of the Publicaiton/Product |
Journal Articles |
Author/s |
Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M. |
Title of the review |
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (ISSN: 0164-0925) |
Volume |
45 |
Brochure |
3 |
Pages |
1 - 66 |
Item link |
http://hdl.handle.net/11311/1253477 |
|
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES (Show >>)(Hide <<)
|
Author/s |
Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S. |
Title of the review |
LOGICAL METHODS IN COMPUTER SCIENCE (ISSN: 1860-5974) |
Volume |
19 |
Brochure |
4 |
Pages |
1 - 55 |
Item link |
http://hdl.handle.net/11311/1257142 |
|
List of publications and reserach products for the year 2022 (Show all details | Hide all details) |
Type |
Title of the Publicaiton/Product |
Conference proceedings |
Static Analysis of Infrastructure as Code: A Survey (Show >>)(Hide <<)
|
Author/s |
Chiari, M.; De Pascalis, M.; Pradella, M. |
Title of the convention |
19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022 |
Location of the convention |
usa |
Period of the convention |
2022 |
Title of the review |
--
|
Pages |
218 - 225 |
Item link |
http://hdl.handle.net/11311/1218760 |
|
Journal Articles |
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES (Show >>)(Hide <<)
|
Author/s |
Chiari, M.; Mandrioli, D.; Pradella, M. |
Title of the review |
LOGICAL METHODS IN COMPUTER SCIENCE (ISSN: 1860-5974) |
Volume |
18 |
Brochure |
3 |
Pages |
1 - 49 |
Item link |
http://hdl.handle.net/11311/1221410 |
|
Author/s |
Droste, M.; Duck, S.; Mandrioli, D.; Pradella, M. |
Title of the review |
INFORMATION AND COMPUTATION (ISSN: 0890-5401) |
Volume |
282 |
Brochure |
-- |
Pages |
104658 - 104683 |
Item link |
http://hdl.handle.net/11311/1199465 |
|
List of publications and reserach products for the year 2021 (Show all details | Hide all details) |
Type |
Title of the Publicaiton/Product |
Conference proceedings |
Author/s |
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo |
Title of the convention |
Computer Aided Verification, 33rd International Conference |
Location of the convention |
Virtual Event |
Period of the convention |
20/07/2021-23/07/2021 |
Title of the review |
--
|
Pages |
387 - 410 |
Item link |
http://hdl.handle.net/11311/1183241 |
|
Verification of Programs with Exceptions Through Operator Precedence Automata (Show >>)(Hide <<)
|
Author/s |
Pontiggia, F.; Chiari, M.; Pradella, M. |
Title of the convention |
19th International Conference on Software Engineering and Formal Methods, SEFM 2021 |
Location of the convention |
Virtual Online |
Title of the review |
--
|
Pages |
293 - 311 |
Item link |
http://hdl.handle.net/11311/1199461 |
|
|
|