Training and Research
PhD Programme Courses/classes - 2024/2025
This page shows the PhD course's training activities for the academic year 2024/2025. Further activities will be added during the year. Please check regularly for updates!
Introduction to Blockchain
Credits: 3
Language: English
Teacher: Nicola Fausto Spoto
Principles and Applications of Abstract Interpretation
Credits: 3
Language: English
Teacher: Michele Pasqua
AI and explainable models
Credits: 5
Language: English
Teacher: Lorenza Brusini
Elements of Machine Teaching
Credits: 3
Language: English
Teacher: Ferdinando Cicalese
ACADEMIC WRITING IN LATEX
Credits: 3
Language: English
Teacher: Enrico Gregorio
A practical interdisciplinary PhD course on exploratory data analysis
Credits: 4
Language: English
Teacher: Rui Pedro Fernandes Ribeiro
Automated Software Testing
Credits: 4
Language: English
Teacher: Mariano Ceccato
Cyber-physical systems security
Credits: 3
Language: English
Teacher: Massimo Merro
Genomica informazionale: contenuto informativo dei genomi e s divergenza dalla randomicità
Credits: 3
Language: English
Introduction to Quantum Machine Learning
Credits: 3
Language: English
Teacher: Alessandra Di Pierro
Laboratory of quantum information in classical wave-optics analogy
Credits: 3
Language: English
Teacher: Claudia Daffara
Multi Omics Patient Stratification
Credits: 3
Language: English
Teacher: Rosalba Giugno
Principles and Applications of Abstract Interpretation (2024/2025)
Teacher
Referent
Credits
3
Language
English
Class attendance
Free Choice
Location
VERONA
Learning objectives
Abstract Interpretation is a theory that deals with approximating mathematical structures, specifically those related to the semantic models of computer systems. It offers a systematic approach to constructing methods and effective algorithms for approximating undecidable or complex problems in computer science. A prominent example is program verification, where the correctness of a computer program is checked against a formal specification. Despite being an undecidable problem, Abstract Interpretation-based static analysis has been successful in automatically verifying the correctness of complex computer systems up to a given degree of approximation.
The course is meant to introduce the theory of Abstract Interpretation and to present its application to static analysis (the automatic, compile-time determination of semantic properties of programs) and program verification (conformance to a specification). The course also explores real-world examples of how Abstract Interpretation has been adopted in industry (e.g., by Meta).
Prerequisites and basic notions
Basic knowledge of programming languages and discrete mathematics.
Program
The course program includes the following topics:
- Foundations of Abstract Interpretation Theory
- Introduction to program verification by Abstract Interpretation
- Numerical analyses of imperative programs
- Tools to support automated program analysis and verification
Didactic methods
Frontal lectures.
Learning assessment procedures
Written assignment at the end of the course.
Assessment
Clarity, quality and completeness of the assignment.
Criteria for the composition of the final grade
Assignment evaluation.
Scheduled Lessons
| When | Classroom | Teacher | topics |
|---|---|---|---|
|
Tuesday 08 October 2024 12:30 - 15:30 Duration: 3:00 AM |
Ca' Vignal 1 - Auletta Atrio CV1 [T.H - terra] | Michele Pasqua | Introduction to the Abstract Interpretation and program verification. Mathematical background. |
|
Thursday 10 October 2024 09:30 - 12:30 Duration: 3:00 AM |
Ca' Vignal 2 - Riunioni (II piano) [15 - 2] | Michele Pasqua | Abstract Interpretation primer. Program semantics and fixpoint abstraction. |
|
Tuesday 15 October 2024 12:30 - 15:30 Duration: 3:00 AM |
Ca' Vignal 1 - Auletta Atrio CV1 [T.H - terra] | Michele Pasqua | Application of Abstract Interpretation to static analysis and program verification. Numerical abstractions. |
|
Thursday 17 October 2024 13:30 - 16:30 Duration: 3:00 AM |
Ca' Vignal 1 - Auletta Atrio CV1 [T.H - terra] | Michele Pasqua | Industrial adoption of Abstract Interpretation. Analysis of hyperproperties by Abstract Interpretation. |
PhD school courses/classes - 2024/2025
Please note: Additional information will be added during the year. Currently missing information is labelled as “TBD” (i.e. To Be Determined).
1. PhD students must obtain a specified number of CFUs each year by attending teaching activities offered by the PhD School.
First and second year students must obtain 8 CFUs. Teaching activities ex DM 226/2021 provide 5 CFUs; free choice activities provide 3 CFUs.
Third year students must obtain 4 CFUs. Teaching activities ex DM 226/2021 provide 2 CFUs; free choice activities provide 2 CFUs.
More information regarding CFUs is found in the Handbook for PhD Students: https://www.univr.it/phd-vademecum
2. Registering for the courses is not required unless explicitly indicated; please consult the course information to verify whether registration is required or not. When registration is actually required, instructions will be sent well in advance. No confirmation e-mail will be sent after signing up. Please do not enquiry: if you entered the requested information, then registration was silently successful.
3. When Zoom links are not explicitly indicated, courses are delivered in presence only.
4. All information we have is published here. Please do not enquiry for missing information or Zoom links: if the information you need is not there, then it means that we don't have it yet. As soon as we get new information, we will promptly publish it on this page.
Teaching Activities ex DM 226/2021: Linguistic Activities
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Law and Economics]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Arts and Humanities]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Law and Economics]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 1 st Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 2 nd Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-1st Session]
Credits: 2,5
Language: English
ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-2nd Session]
Credits: 2,5
Language: English
Teaching Activities ex DM 226/2021: Research management and Enhancement
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Arts and Humanities]
Credits: 2,5
Language: Italian
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Law and Economics]
Credits: 2,5
Language: Italian
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Scientific Area]
Credits: 2,5
Language: Italian
Teaching Activities ex DM 226/2021: Statistics and Computer Sciences
CORSO STATISTICA - LIVELLO BASE
Credits: 2,5
Language: English
Introduction to Probability (module I)
Credits: 1
Language: English
Teacher: Marco Minozzo
Introduction to Probability (module II)
Credits: 1
Language: English
Teacher: Marco Minozzo
Introduction to Statistical Inference
Credits: 1
Language: English
Teacher: Marco Minozzo
USO DI R PER L'ANALISI STATISTICA - LIVELLO BASE
Credits: 1
Language: English
Validità e affidabilità delle misure e dei test diagnostici
Credits: 0,5
Language: English
Teacher: Alessandro Marcon
APPLICATION OF META-ANALYSIS TO THE EPIDEMIOLOGICAL OR MEDICAL FIELD
Credits: 1
Language: Inglese
Teacher: Giuseppe Verlato
CORSO STATISTICA - LIVELLO INTERMEDIO
Credits: 2,5
Language: English
DETERMINATION OF SAMPLE SIZE TO ACHIEVE A PREDEFINED PRECISION OR POWER
Credits: 0,5
Language: inglese
Teacher: Giuseppe Verlato
GENERALIZED LINEAR MODELS: LOGISTIC REGRESSION, LOGLINEAR MODEL, POISSON MODEL
Credits: 1
Language: English
Teacher: Lucia Cazzoletti
Disegno dello studio nella ricerca osservazionale e sperimentale
Credits: 1
Language: English
Teacher: Alessandro Marcon
Survival analysis: log-rank test, Kaplan-Meier survival curves, Cox regression model
Credits: 1,5
Language: English - Inglese
Teacher: Simone Accordini
USO DI R PER L'ANALISI STATISTICA - LIVELLO INTERMEDIO
Credits: 0,8
Language: English
Teacher: Alessandro Mantovani
Teaching Activities: Free choice
DOING INTERVIEWS IN QUALITATIVE RESEARCH
Credits: 2
Language: English
Teacher: Chiara Sità
PROGETTAZIONE E CONDUZIONE DI FOCUS GROUP
Credits: 2
Language: Italian
PROTECTING PSYCHOLOGICAL WELL-BEING IN THE PHD PROGRAM. DEVELOPMENT AND ENHANCEMENT OF PERSONAL STRATEGIES AND ATTITUDES PREDISPOSING TO PROFESSIONAL SATISFACTION AND ETHICAL COLLABORATION
Credits: 1
Language: Italian
Teacher: Michela Rimondini
QUANDO LA RICERCA SI FA ETICA (PERCORSO ORGANIZZATO E FINANZIATO DAL TEACHING AND LEARNING CENTER DI UNIVR)
Credits: 2
Language: English
Teacher: Roberta Silva
Workshop /Participatory approaches and methods in doing research with local actors
Credits: 1,5
Language: English
Teacher: Antonietta De Vita
...E SE VOLESSI FARE IMPRESA
Credits: 1
Language: Italian
IMPARA IL MARKETING DIGITALE
Credits: 1
Language: Italian
LA POESIA ITALIANA ALL'ESTERO
Credits: 1
Language: Italian
Teacher: Massimo Natale
THE EMPIRICAL PHENOMENOLOGICAL METHOD (EPM): THEORETICAL FOUNDATION AND EMPIRICAL APPLICATION IN EDUCATIONAL AND HEALTHCARE FIELDS
Credits: 2
Language: English
Teacher: Luigina Mortari
DOTTORATO E MERCATO DEL LAVORO: WORKSHOP FORMATIVI PER DOTTORANDI E NEO-DOTTORI DI RICERCA
Credits: 4
Language: Italian
ARE YOU SURE YOU CAN DEFEAT A CHATBOT?
Credits: 1
Language: Italian
MEETING UKRAINE: THE IMPACT OF WAR AND FUTURE OPPORTUNITIES
Credits: 1
Language: Italian
EMOTIONS, BELIEFS, AND SKILLS TO FACE CLIMATE CHANGE AND EMBRACE CLIMATE ACTION
Credits: 0,5
Language: English
OPEN SCIENCE: THE MIGHTY STICK AGAINST "BAD" SCIENCE
Credits: 2
Language: English
Teacher: Michele Scandola
COMPUTATIONAL MECHANISMS UNDERLYING SENSORIMOTOR LEARNING
Credits: 4,5
Language: English
Teacher: Matteo Bertucco
CSF DYNAMICS: ANATOMICAL AND FUNCTIONAL FEATURES
Credits: 0,5
Language: English
Teacher: Alberto Feletti
Differential diagnosis of demyelinating diseases of the central nervous system
Credits: 2
Language: English
Teacher: Alberto Gajofatto
sleep related disoders: focus on REM and NREM parasomnia and SR movement disorders
Credits: 1,5
Language: italiano o inglese
Teacher: Elena Antelmi
Tecniche di immagine per l'analisi della composizione corporea
Credits: 1
Language: Inglese/English
Teacher: Carlo Zancanaro
Tecniche di ricerca in neuroscienze: misurare e modulare l'attività neuronale
Credits: 2,3
Language: non prevista
Teacher: Giuseppe Busetto
PhD students
martina.luca@univr.it
cesare.montresor@univr.it
Loading...
Guidelines for PhD students
Below you will find the files that contain the Guidelines for PhD students and rules for the acquisition of ECTS credits (in Italian: "CFU") for the Academic Year 2023/2024.
Documents
| Title | Info File |
|---|---|
Dottorandi: linee guida generali (2024/2025)
|
pdf, it, 104 KB, 29/10/24 |
|
PhD students: general guidelines (2024/2025)
|
pdf, en, 107 KB, 29/10/24 |
