Researcher

Keywords

Fields of Research (FoR)

Software testing, verification and validation, Programming languages, Concurrency theory, Software and application security, Logic

Biography

Vincent is a Postdoctoral Researcher, working at the Trustworthy Systems Group, in the School of Computer Science and Engineering.

My Trustworthy Systems profile page can be found here.

Location

Engineering
Level 3, K13

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-8737-4202

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation