Researcher

Keywords

Fields of Research (FoR)

Computational logic and formal languages, Formal methods for software, Cybersecurity and privacy

Biography

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/

View less

Location

School of Computer Science and Engineering (Building K17)
University of New South Wales, Sydney
Kensington, NSW 2052
Australia