Oblast rada

• Sistemsko modelovanje
• Sistem sa više procesora
• Dizajn složenih digitalnih sistema
• Formalna verifikacija hardvera
• Hardverska implementacija algoritama
• Mašinsko učenje

Predmeti

Projektovanje elektronskih uredjaja na sistemskom nivou

Formalne metode projektovanja i verifikacije hardvera

Multiprocesorski sistemi