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)




