Vineet Rajani

Vineet Rajani is a Lecturer in the School of Computing at the University of Kent. He is affiliated with the Programming Languages and Systems group and the Cyber Security group, and is a core member of the Institute of Cyber Security for Society (iCSS).

His primary research interests lie in logic and verification, security and privacy, and causal inference with machine learning. His work focuses on formal methods for enforcing information flow control, type systems for secure programming, and the intersection of machine learning with program verification. He has made significant contributions to the understanding of labeling granularity, amortized cost analysis, and runtime enforcement in dynamic information flow systems.

His recent publications span top venues including CSF, POPL, OOPSLA, and JCS, with research trends emphasizing type-theoretic foundations for security, probabilistic program analysis, and web-based information flow policies. His work often involves logical and semantic modeling of security properties and their implementation in real systems.

Scientific Awards:

• Distinguished Paper Award, POPL 2019
• Distinguished Paper Award, CSF 2018
• RS3 Best Paper Award, CSF 2015

Vineet actively mentors students and encourages prospective PhD candidates to apply. He has received research grants supporting his work in programming languages and security, though specific grant titles are not listed. His research is conducted within collaborative teams at Kent and through long-standing partnerships with researchers from MPI-SWS and other institutions.

He is involved in academic service, including organizing workshops like PLAS, and contributes to the broader research community through publications and collaborations.