Paolo Pasini

Paolo Pasini is a Fixed-term Assistant Professor at the Department of Electronics and Telecommunications (DET) within Politecnico di Torino. His academic roles span teaching and research, with a focus on algorithms, formal verification, and hardware optimization.

• Scientific Branch: IINF-01/A - Electronics (Area 0009 - Industrial and Information Engineering)
• ERC Sectors: Algorithms, Software Engineering, Theoretical Computer Science, Web Systems

Research interests center on hardware model-checking algorithms, portfolio-based verification engines, pre-simplification steps, circuit manipulation, and interpolation-based techniques. His recent publications highlight applications in FPGA optimization, edge computing, and machine learning classification.

• 2025: Low-Power Subgraph Isomorphism at the Edge Using FPGAs
• 2025: NN2FPGA: Optimizing CNN Inference on FPGAs
• 2024: Bounded Model Checking with Interpolation

Teaching roles include:

• PhD: Data Structures in Python (2022/23)
• Master’s: Edge Computing Systems for AI and ML (2023/24-2025/26), Modeling and Optimization of Embedded Systems (2023/24-2024/25)
• Bachelor’s: Digital Electronic Design (2024/25-2025/26), Algorithms and Data Structures (2019/20-2022/23)