logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
Quantitative data
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Lecturer
Lecturer's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
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.
Information
LecturerPradella Matteo
QualificationAssociate professor full time
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorIINF-05/A - Information Processing Systems
Curriculum VitaeDownload CV (135.42Kb - 28/07/2024)
OrcIDhttps://orcid.org/0000-0003-3039-1084

Contacts
Office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
Elettronica, Informazione e BioingegneriaEd 22, III piano322MondayFrom 15:30
To 16:30
3495---Please contact me by email to organize a meeting, also in other dates and timeframes.
E-mailmatteo.pradella@polimi.it
Personal websitehttps://pradella.faculty.polimi.it/

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

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
Review on Verified Functional Programming in Agda (Show >>)
Conference proceedings
Cyclic Operator Precedence Grammars for Improved Parallel Parsing (Show >>)
SMT-Based Symbolic Model-Checking for Operator Precedence Languages (Show >>)


List of publications and reserach products for the year 2023 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A Model Checker for Operator Precedence Languages (Show >>)
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES (Show >>)


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 >>)
Journal Articles
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES (Show >>)
Weighted operator precedence languages (Show >>)


List of publications and reserach products for the year 2021 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Model-Checking Structured Context-Free Languages (Show >>)
Verification of Programs with Exceptions Through Operator Precedence Automata (Show >>)
manifesti v. 3.9.3 / 3.9.3
Area Servizi ICT
24/04/2025