28 May 2024

Short Course on Software Security and Protection

A 24-hour seminar on Software Security and Protection will be held in July. The seminar is open to students enrolled in the MSc in Computer Engineering, Cybersecurity and Artificial Intelligence (2 credits) or the PhD Program in Electronic and Computer Engineering (3 credits). The seminar will encompass multiple aspects of the broad field of software security. 

27 May 2024

Course "Finite-State Dynamical Systems" by Prof. Kuize ZHANG

The course contains basic knowledge on two classes of finite-state dynamical systems --- finite automata and weighted automata. For the former, basic tools --- concurrent composition and observer will be introduced, how to use them to verify basic inference-based properties and concealment-based properties in discrete-event systems modelled by finite automata will be introduced as well. For the latter, only basic definitions will be introduced and compared over semirings and monoids. Students will acquire basic knowledge in control theory and computer science based on these two classes of systems, and will also catch a glimpse of similarities and differences between them.

Questionnaire and social

Share on:
Impostazioni cookie