Currently I am a PhD student working on compiler and runtime support for software transactional memory. More precisely, I am researching new techniques using static analysis, based on Separation Logic, to detect execution anomalies when programs are executed under relaxed isolation levels.