Vadim Malvone

• Homepage
• Publications
• Teaching
• Join Us
• Contact Information

---

Postdoctoral positions

---

Doctoral positions

Dynamic cybersecurity strategies for automotive CPS

---

Internship positions

Defining nudging strategies in the specification of properties for multi-agent systems

Towards the verification of smart contracts

Defining dynamic coalitions within the specification of properties for multi-agent systems

---