Sabrina Souto

PhD Student
Centro de Informática
Federal University of Pernambuco - UFPE

Since March 2011, I am a PhD student in Computer Science at UFPE, Brazil, working under the supervision of Marcelo d'Amorim.
From 2008 to 2010, I was a Master student in Computer Science at UFCG, Brazil, advised by Dalton Serey.
My research interests include automated verification/testing, program analysis and configurable systems in general.

Curriculum Lattes