M
Marco Paolieri
Senior Research Associate and Part-Time Lecturer of Computer Science
Research Interests
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
Real-Time Systems Scheduling