Marcelo d'Amorim Assistant Professor Department of Computer Science Federal University of Pernambuco Office: A104 Phone: +55 (81) 2126-8430, ext. 4379 Skype: mdamorim Email: damorim@cin.ufpe.br Address:    Universidade Federal de Pernambuco - UFPE    Centro de Informática - CIn    Av. Jornalista Anibal Fernandes, S/N    Cidade Universitária, PE, Brazil    50.740-560

Students (ordered by last name) Paulo Barros (UROP)     Mateus Borges (MS)     Adriana Libório (UROP)     Sabrina Souto (PhD)     Past Students Time Schedule Talks Publication List Service: 2013: ASE, CBSoft [SBLP, SBMF, TOOLS, WTD], ENASE. 2012: JPF workshop, SCP, ASE, CBSoft, CSTVA, ENASE, IPL, TC, TOSEM. 2011: ASE, CBSoft [1, 2, 3], CSTVA, IPL, JPF workshop. 2010: CBSoft, SAST (co-chair), TOSEM. 2009: SAST, SBES. 2008: SBMF.

My research goal is to improve software quality through program analysis and systematic testing. I want to make existing techniques more accurate, more automated, more user-friendly, and, when needed, more efficient. All these can result in less cost to Software Engineering. I am generally interested in the creation of new techniques (and improvement of existing ones) to programming models of rising interest (e.g, distributed, mobile, etc.) and in the application of techniques to domains with significant socio-economical impact (e.g., medical, aeronautical, gaming, etc.). Find more information on the web pages of our group. I obtained my PhD in Computer Science in 2007 at the University of Illinois at Urbana-Champaign, where I worked at the group led by Prof. Darko Marinov. In Jan. 2009, I joined the CS faculty at UFPE.

MSR SEIF 2013 recipient