Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea in Bioinformatica - Immatricolazione dal 2025/2026.

Le attività formative di tipologia D sono a scelta dello studente, quelle di tipologia F sono ulteriori conoscenze utili all’inserimento nel mondo del lavoro (tirocini, competenze trasversali, project works, ecc.). In base al Regolamento Didattico del Corso, alcune attività possono essere scelte e inserite autonomamente a libretto, altre devono essere approvate da apposita commissione per verificarne la coerenza con il piano di studio. Le attività formative di tipologia D o F possono essere ricoperte dalle seguenti attività.

1. Insegnamenti impartiti presso l'Università di Verona

Comprendono gli insegnamenti sotto riportati e/o nel Catalogo degli insegnamenti (che può essere filtrato anche per lingua di erogazione tramite la Ricerca avanzata).

Modalità di inserimento a libretto: se l'insegnamento è compreso tra quelli sottoelencati, lo studente può inserirlo autonomamente durante il periodo in cui il piano di studi è aperto; in caso contrario, lo studente deve fare richiesta alla Segreteria, inviando a carriere.scienze@ateneo.univr.it il modulo nel periodo indicato.

2. Attestato o equipollenza linguistica CLA

Oltre a quelle richieste dal piano di studi, per gli immatricolati dall'A.A. 2021/2022 vengono riconosciute:

  • Lingua inglese: vengono riconosciuti 3 CFU per ogni livello di competenza superiore a quello richiesto dal corso di studio (se non già riconosciuto nel ciclo di studi precedente).
  • Altre lingue e italiano per stranieri: vengono riconosciuti 3 CFU per ogni livello di competenza a partire da A2 (se non già riconosciuto nel ciclo di studi precedente).

Tali cfu saranno riconosciuti, fino ad un massimo di 6 cfu complessivi, di tipologia F se il piano didattico lo consente, oppure di tipologia D. Ulteriori crediti a scelta per conoscenze linguistiche potranno essere riconosciuti solo se coerenti con il progetto formativo dello studente e se adeguatamente motivati.

Gli immatricolati fino all'A.A. 2020/2021 devono consultare le informazioni che si trovano qui.

Modalità di inserimento a librettorichiedere l’attestato o l'equipollenza al CLA e inviarlo alla Segreteria Studenti - Carriere per l’inserimento dell’esame in carriera, tramite mail: carriere.scienze@ateneo.univr.it

3. Competenze trasversali

Scopri i percorsi formativi promossi dal TALC - Teaching and learning center dell'Ateneo, destinati agli studenti regolarmente iscritti all'anno accademico di erogazione del corso https://talc.univr.it/it/competenze-trasversali

Modalità di inserimento a libretto: non è previsto l'inserimento dell'insegnamento nel piano di studi. Solo in seguito all'ottenimento dell'Open Badge verranno automaticamente convalidati i CFU a libretto. La registrazione dei CFU in carriera non è istantanea, ma ci saranno da attendere dei tempi tecnici.

4. CONTAMINATION LAB

Il Contamination Lab Verona (CLab Verona) è un percorso esperienziale con moduli dedicati all'innovazione e alla cultura d'impresa che offre la possibilità di lavorare in team con studenti e studentesse di tutti i corsi di studio per risolvere sfide lanciate da aziende ed enti. Il percorso permette di ricevere 6 CFU in ambito D o F. Scopri le sfide: https://www.univr.it/clabverona

ATTENZIONE: Per essere ammessi a sostenere una qualsiasi attività didattica, incluse quelle a scelta, è necessario essere iscritti all'anno di corso in cui essa viene offerta. Si raccomanda, pertanto, ai laureandi delle sessioni di dicembre e aprile di NON svolgere attività extracurriculari del nuovo anno accademico, cui loro non risultano iscritti, essendo tali sessioni di laurea con validità riferita all'anno accademico precedente. Quindi, per attività svolte in un anno accademico cui non si è iscritti, non si potrà dar luogo a riconoscimento di CFU.

 5. Periodo di stage/tirocinio

Oltre ai CFU previsti dal piano di studi (verificare attentamente quanto indicato sul Regolamento Didattico): qui informazioni su come attivare lo stage. 

Verificare nel regolamento quali attività possono essere di tipologia D e quali di tipologia F.

Insegnamenti e altre attività che si possono inserire autonomamente a libretto

Academic year:
Semester 1 From 10/3/22 To 1/27/23
years Modules TAF Teacher
2° 3° Introduction to Docker D Franco Fummi (Coordinator)
2° 3° Introduction to Robotics for students of scientific courses. D Paolo Fiorini (Coordinator)
2° 3° Matlab-Simulink programming D Bogdan Mihai Maris (Coordinator)
2° 3° Mobile app design by using React Native D Graziano Pravadelli (Coordinator)
2° 3° Rapid prototyping on Arduino D Franco Fummi (Coordinator)
2° 3° Programming Challanges D Romeo Rizzi (Coordinator)
Semester 2 From 3/6/23 To 6/16/23
years Modules TAF Teacher
2° 3° Introduction to 3D printing D Franco Fummi (Coordinator)
2° 3° LaTeX Language D Enrico Gregorio (Coordinator)
2° 3° Python programming language D Carlo Combi (Coordinator)
2° 3° HW components design on FPGA D Franco Fummi (Coordinator)
2° 3° Protection of intangible assets (SW and invention)between industrial law and copyright D Roberto Giacobazzi (Coordinator)
List of courses with unassigned period
years Modules TAF Teacher
Subject requirements: mathematics D Franco Zivcovich

Teaching code

4S001413

Teacher

Romeo Rizzi

Coordinator

Romeo Rizzi

Credits

6

Also offered in courses:

Language

Italian

Scientific Disciplinary Sector (SSD)

NN - -

Period

Semester 1 dal Oct 3, 2022 al Jan 27, 2023.

Learning objectives

Do you like problems and puzzles with a math-algorithmic flavour?
Are you interested to participate to competitions and challanges in problem solving and programming?
In this year's edition, the "Programming Challenges" course offers you a space to train to take part in competitive programming events.
The course provides and reinforces the theoretical, practical and attitudinal bases and offers a meeting point to meet other students with these interests, organize teams, or venture into common projects. At the end of the course the student will be more aware and mature not only in his particular interests and abilities but also in relating to others by interacting actively and proactively in the context of study and work.
The course can be taken by students of any degree course in the Department of Computer Science. It is worth 6 type D credits (Activities of the student's choice).

Prerequisites and basic notions

Interest in problem solving and computational thinking. Rudimentary knowledge of at least one programming language with a minimum of practical experience in its use.

Program

The course covers the knowledge and techniques of competitive programming.
Competitive programming (or competitive programming) is a discipline where the participants
they try to create a program that solves some given algorithmic problem.
Among the most important competitions in this field are:
International Olympiad in Informatics (IOI): An individual competition at the high school level
International Collegiate Programming Contest (ICPC): a university-level square competition
Google Code Jam: a competition organized by Google for everyone, also used for recruitment purposes
The topics of this course, in addition to being useful for participation in this type of competitions,
they are the ones that are also found in interviews conducted by large IT companies, such as
Google, Meta and Microsoft, to evaluate a candidate's problem-solving ability.

Books:
- [Competitive Programmer’s Handbook - Antti Laaksonen](https://cses.fi/book/book.pdf)
- [Competitive Programming 4 - Felix Halim and Suhendry Effendy](https://cpbook.net/details?cp=4)
- [Introduction to Algorithms - Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein](https://mitpress.mit.edu/9780262046305/introduction-to-algorithms/)

Competitive programming platforms:
- [Training Olinfo (ex CMSocial)](https://training.olinfo.it/)
- [Terry](https://territoriali.olinfo.it/)
- [Codeforces](https://codeforces.com/)
- [Kattis](https://open.kattis.com/)

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

The meetings take place in Ca Vignal and comprise the exposition of a piece of theory or of a technique, the proposal of one or more problems, and the practical part where you are required to produce an effective code that solves the assigned problem efficiently. Unless we will be assigned a laboratory, for this last part you are expected to bring your own laptop or to team up with a classmate. You can also conduct this last part as an homework, in fact it is expected you anyhow put in this kind of investment to prepare to the exam or to participate in competitions.

Learning assessment procedures

The exam can be taken, at the student's choice, in one of the following ways:
- Laboratory test
- Project agreed with the teacher
- Be selected in the university team for the SWERC 2022-2023 and finish in the top 50% of the ranking

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

Strict but fair and reasonable.

Criteria for the composition of the final grade

As agreed with the students before the activities that generate the grade.

Exam language

English is fine. Italiano va benissimo.