Zoltan Kocsis
Zoltan Kocsis Staff
I work in the Trustworthy Systems group at CS&E. At Trustworthy Systems, we study and use rigorous formal methods to develop trustworthy software systems: systems that come with provable security, safety and reliability guarantees.
| Office | Level 3, Building K17 |
| Office Number | N/A |
z.kocsis@unsw.edu.au