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

Current Students João P. Oliveira (MS, with Fernando Castor)     Mateus Borges (UROP)     Past Students Teaching 2012.1 (Week Schedule) Compilers Publication List Service: 2012: 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 reliability, 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. I am generally interested in the adaptation of techniques to programming models of rising interest (e.g, concurrent, distributed, cyber-physical, 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 and SPG. 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.