Con questa funzione puoi costruire il tuo calendario settimanale delle lezioni, personalizzato sulla base dei corsi che intendi seguire.
Attenzione: l'Orario Personalizzato non sostituisce la presentazione del piano degli studi! E' uno strumento informale, che ti può aiutare a gestire al meglio l'organizzazione della frequenza alle lezioni prima della presentazione del piano studi.
Dopo aver presentato piano ti raccomandiamo di utilizzare il servizio Orario delle lezioni presente nel tuo elenco dei Servizi Online.
Per creare il calendario personalizzato segui queste istruzioni:
- Clicca sul link "Abilita" per procedere. Ti verrà chiesto il cognome e nome per determinare il tuo scaglione alfabetico.
-
Per aggiungere o togliere insegnamenti dal tuo Orario Personalizzato, utilizza le iconcine che trovi in corrispondenza degli insegnamenti:
 aggiunta dell'insegnamento rimozione dell'insegnamento selezione della sezione del laboratorio di Architettura
(N.B: la sezione effettiva in cui si dovrà seguire la didattica verrà determinata dopo la presentazione dei Piani di Studio)
-
Nella barra laterale a sinistra è indicato il numero degli insegnamenti inseriti nell'Orario.
Sono inoltre presenti questi comandi:
 Visualizza orario: permette di visualizzare l'orario sinottico settimanale Elimina orario: cancella le selezioni effettuate
Al termine dell'inserimento, puoi stampare il calendario che hai costruito.
| Semestre (Sem) | | 1 | Primo Semestre | | 2 | Secondo Semestre | | A | Insegnamento Annuale | | (1) | Primo Emisemestre | | (2) | Secondo Emisemestre |
|
Lingua d'erogazione
|
|
|
Insegnamento completamente offerto in lingua italiana
|
|
|
Insegnamento completamente offerto in lingua inglese
|
|
--
|
Non definita
|
|
Note sulle attività didattiche
|
Nel caso di corsi strutturati in moduli, tenuti da più docenti, il numero di studenti iscritti è riferito al modulo del docente citato nel riquadro.
Il dato sull'opinione degli studenti riguarda il corso strutturato nel suo complesso.
I dati relativi all'ultimo anno accademico (numero di studenti iscritti e l'opinione degli studenti sulla didattica) non sono ancora definitivi.
|
|
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
| Orario di ricevimento | | Dipartimento | Piano | Ufficio | Giorno | Orario | Telefono | Fax | Note |
|---|
| Elettronica, Informazione e Bioingegneria | Ed 22, III piano | 322 | Lunedì | Dalle 15:30
Alle 16:30 | 3495 | --- | Sono disponibile in maniera flessibile al ricevimento: contattatemi via email. |
| | E-mail | matteo.pradella@polimi.it | | Pagina web redatta a cura del docente | https://pradella.faculty.polimi.it/ |
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2025 |
| Nessun prodotto attualmente registrato nell'anno 2025 |
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2024 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Recensioni su riviste |
| Autore/i |
Pradella, Matteo |
| Numero di pagine |
2 |
| Titolo della rivista |
FORMAL ASPECTS OF COMPUTING (ISSN: 0934-5043) |
| Volume |
36 |
| Fascicolo |
1 |
| Pagine |
1 - 2 |
| Link al prodotto |
http://hdl.handle.net/11311/1275983 |
|
| Contributo in Atti di convegno |
| Autore/i |
Chiari, M.; Mandrioli, D.; Pradella, M. |
| Titolo del convegno |
28th International Conference on Developments in Language Theory, DLT 2024 |
| Luogo del convegno |
deu |
| Periodo del convegno |
2024 |
| Titolo della rivista |
--
|
| Pagine |
98 - 113 |
| Link al prodotto |
http://hdl.handle.net/11311/1275981 |
|
| Autore/i |
Chiari, M.; Geatti, L.; Gigante, N.; Pradella, M. |
| Titolo del convegno |
36th International Conference on Computer Aided Verification, CAV 2024 |
| Luogo del convegno |
Montreal, CANADA |
| Periodo del convegno |
JUNE 24-27, 2024 |
| Titolo della rivista |
--
|
| Pagine |
387 - 408 |
| Link al prodotto |
http://hdl.handle.net/11311/1275979 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2023 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Articoli su riviste |
| Autore/i |
Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M. |
| Titolo della rivista |
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (ISSN: 0164-0925) |
| Volume |
45 |
| Fascicolo |
3 |
| Pagine |
1 - 66 |
| Link al prodotto |
http://hdl.handle.net/11311/1253477 |
|
|
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES (Mostra >>)(Nascondi <<)
|
| Autore/i |
Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S. |
| Titolo della rivista |
LOGICAL METHODS IN COMPUTER SCIENCE (ISSN: 1860-5974) |
| Volume |
19 |
| Fascicolo |
4 |
| Pagine |
1 - 55 |
| Link al prodotto |
http://hdl.handle.net/11311/1257142 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2022 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Chiari, M.; De Pascalis, M.; Pradella, M. |
| Titolo del convegno |
19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022 |
| Luogo del convegno |
usa |
| Periodo del convegno |
2022 |
| Titolo della rivista |
--
|
| Pagine |
218 - 225 |
| Link al prodotto |
http://hdl.handle.net/11311/1218760 |
|
| Articoli su riviste |
|
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES (Mostra >>)(Nascondi <<)
|
| Autore/i |
Chiari, M.; Mandrioli, D.; Pradella, M. |
| Titolo della rivista |
LOGICAL METHODS IN COMPUTER SCIENCE (ISSN: 1860-5974) |
| Volume |
18 |
| Fascicolo |
3 |
| Pagine |
1 - 49 |
| Link al prodotto |
http://hdl.handle.net/11311/1221410 |
|
| Autore/i |
Droste, M.; Duck, S.; Mandrioli, D.; Pradella, M. |
| Titolo della rivista |
INFORMATION AND COMPUTATION (ISSN: 0890-5401) |
| Volume |
282 |
| Fascicolo |
-- |
| Pagine |
104658 - 104683 |
| Link al prodotto |
http://hdl.handle.net/11311/1199465 |
|
| Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2021 (Mostra tutto | Nascondi tutto) |
| Tipologia |
Titolo Pubblicazione/Prodotto |
| Contributo in Atti di convegno |
| Autore/i |
Chiari, Michele; Mandrioli, Dino; Pradella, Matteo |
| Titolo del convegno |
Computer Aided Verification, 33rd International Conference |
| Luogo del convegno |
Virtual Event |
| Periodo del convegno |
20/07/2021-23/07/2021 |
| Titolo della rivista |
--
|
| Pagine |
387 - 410 |
| Link al prodotto |
http://hdl.handle.net/11311/1183241 |
|
|
Verification of Programs with Exceptions Through Operator Precedence Automata (Mostra >>)(Nascondi <<)
|
| Autore/i |
Pontiggia, F.; Chiari, M.; Pradella, M. |
| Titolo del convegno |
19th International Conference on Software Engineering and Formal Methods, SEFM 2021 |
| Luogo del convegno |
Virtual Online |
| Titolo della rivista |
--
|
| Pagine |
293 - 311 |
| Link al prodotto |
http://hdl.handle.net/11311/1199461 |
|
|
|
