J.A. (Jorge) Perez Parra, Prof

My research has been or is supported by:

• NWO VIDI grant 2018: "Unifying Correctness for Communicating Software".
• NWO TOP2 grant 2018: "Advanced Structures for Correct Communicating Software".
• EU COST Actions on "Behavioral Types" (until 2016), "Runtime Verification" (until 2018), and "Reversible Computing" (until 2018)
• CNRS PICS Project on "Security, Adaptability and time in Communication Centric Software Systems" (until 2018)