Informazioni di contatto
- Office
- Ca' Vignal 2, Room 59, Floor1
- franco.fummi@univr.it
- Phone
- 045 802 7994
- Curriculum ( EN | 144Kb | 2023-05-11 )
Introduction
The main research directions exploited by Franco Fummi are:
- Embedded system verification (Static verification - Dynamic verification- Semi-formal verification - Hybrid and real-time systems – Smart systems integration);
- Networked embedded systems (System/Network co-simulation - System/Network co-design - QoS-enabled design - Sensor networks and M2M systems);
- Embedded systems design (TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multi/many core systems - Middleware-based design).
- Cyber-physical production systems modeling, design, simulation and testing.
Other information
Roles in university bodies- componente Computer Science Teaching Committee
- Referente di sezione Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione
- componente Information Engineering Teaching Committee
- componente Faculty Board of PhD in Computer Science
- Chair of Referenti del Dipartimento di Ingegneria e medicina di Innnovazione
- componente Collegio dei Docenti del Dottorato in Ingegneria dei Sistemi Intelligenti
- componente (in composizione ristretta) I Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione
Insegnamenti
| A.A. | Corso | Nome | Online | Moduli svolti da questo docente |
|---|---|---|---|---|
| 2024/2025 | Dottorato in Ingegneria dei Sistemi Intelligenti | Modellazione e verifica di sistemi digitali | ||
| 2024/2025 | Laurea in Ingegneria dei sistemi robotici e intelligenti | Digital design and computer architecture | (Teoria) | |
| 2023/2024 | Laurea in Informatica | Computer Architecture [Matricole dispari] | (Teoria base) | |
| 2023/2024 | Laurea in Informatica | Computer Architecture [Matricole pari] |
|
(Teoria base) |
| 2023/2024 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Industrial IoT and Cyber-Physical Production Systems) |
| 2023/2024 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Embedded and IoT Systems) |
| 2023/2024 | Laurea interateneo in Ingegneria dei sistemi medicali per la persona | Introduction to Docker |
|
|
| 2023/2024 | Laurea interateneo in Ingegneria dei sistemi medicali per la persona | HW components design on FPGA |
|
|
| 2023/2024 | Laurea interateneo in Ingegneria dei sistemi medicali per la persona | Rapid prototyping on Arduino |
|
|
| 2023/2024 | Laurea in Bioinformatica | Firmware development with bluetooth low energy (BLE) protocol and freertos operating system |
|
|
| 2023/2024 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Systems verification & testing |
|
|
| 2022/2023 | Laurea in Informatica | Computer Architecture [Matricole dispari] |
|
(Teoria base) |
| 2022/2023 | Laurea in Informatica | Computer Architecture [Matricole pari] |
|
(Teoria base) |
| 2022/2023 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Embedded and IoT Systems) |
| 2022/2023 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Industrial IoT and Cyber-Physical Production Systems) |
| 2022/2023 | Laurea in Bioinformatica | Introduction to Docker |
|
|
| 2022/2023 | Laurea in Bioinformatica | Introduction to 3D printing | ||
| 2022/2023 | Laurea in Bioinformatica | HW components design on FPGA |
|
|
| 2022/2023 | Laurea in Bioinformatica | Rapid prototyping on Arduino |
|
|
| 2022/2023 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Systems verification & testing |
|
|
| 2021/2022 | Laurea in Informatica | Computer Architecture [Matricole dispari] |
|
(Teoria base) |
| 2021/2022 | Laurea in Informatica | Computer Architecture [Matricole pari] | (Teoria base) | |
| 2021/2022 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Teoria) |
| 2021/2022 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Embedded & IoT Systems Design |
|
(Laboratorio) |
| 2021/2022 | Laurea in Bioinformatica | Introduction to 3D printing |
|
|
| 2021/2022 | Laurea in Bioinformatica | HW components design on FPGA |
|
|
| 2021/2022 | Laurea in Bioinformatica | Rapid prototyping on Arduino |
|
|
| 2021/2022 | Laurea magistrale in Computer Engineering for Robotics and Smart Industry | Systems verification & testing |
|