Keywords
Fields of Research (FoR)
Computational logic and formal languages, Formal methods for software, Cybersecurity and privacyBiography
Vineet Rajani is a Senior Lecturer (equivalent to US Associate Professor) in the School of Computer Science and Engineering at the University of New South Wales (UNSW) Sydney. Before joining UNSW, Vineet was a Lecturer (equivalent to US Assistant Professor) in the School of Computing at the University of Kent, affiliated with both the Programming languages and Systems group and the Cyber security group. Prior to Kent, he did his PostDoc and...view more
Vineet Rajani is a Senior Lecturer (equivalent to US Associate Professor) in the School of Computer Science and Engineering at the University of New South Wales (UNSW) Sydney. Before joining UNSW, Vineet was a Lecturer (equivalent to US Assistant Professor) in the School of Computing at the University of Kent, affiliated with both the Programming languages and Systems group and the Cyber security group. Prior to Kent, he did his PostDoc and PhD both from the Max Planck Institutes in Germany, and before his PhD Vineet worked at VMware as a R&D staff, and before that he was a graduate student at IIT Madras. More up to date information about Vineet's research can be found on his personal website: https://vineetrajani.github.io/
Location
University of New South Wales, Sydney
Kensington, NSW 2052
Australia