Skip to content

Sorren Hanvey

  • PhD
  • Post-Doctoral Researcher
  • University of Limerick
  • 4PublicationsNumber of items in Sorren's My Publications folder on Mendeley.
  • 3Followers

Recent publications

  • On the Use of Formal Methods to Enforce Privacy-Aware Social- Networking

    • Collazos N
  • Verification of JML Generic Types with Yices

    • Cataño N
    • Rueda C
    • Hanvey S

Professional experience

Post-Doctoral Researcher

University of Limerick

July 2014 - Present

Research Assistant

Universidade da Madeira

October 2009 - May 2013(4 years)


PhD Software Engineering

Universidade da Madeira

October 2009 - February 2013(3 years)

MSc Software Engineering

University of York

October 2006 - September 2007(a year)

BSc Computer Science

University of Pune School of Science

July 2003 - June 2006(3 years)


I am a Post-Doctoral researcher at LERO (Ireland) and am based at the University of Limerick. I have been part of LERO since July 2014. I have previously worked for the Madeira Interactive Technologies Institute, Portugal and Critical Software Technologies Ltd., UK. My research interests include Formal Methods based Privacy, Security and Adaptation focused on Social Networks, the Cloud and Cyber-Physical systems.