Career Summary

Augusto Sampaio is a graduate of Centro de Informática (CIn) at Universidade Federal de Pernambuco (UFPE) (BSc 1985 and MSc 1988) and Oxford PhD, 1993. From 1995 to 2007 he was an Associate professor at CIn-UFPE, and since 2007 he is a Software Engineering Full Professor at the same institution. In 2010 he received the title of Comendador da Ordem Nacional do Mérito Científico (Commander of the National Order of Scientific Merit) awarded by the Brazilian President. He holds a scholarship as Productive Researcher from CNPq (the Brazilian National Research Agency), since 1995.

As a result of his PhD thesis, he contributed an innovative approach to compilation based on algebraic transformations; the work has been published as a book in 1997. A joint work with C.A.R Hoare and He Jifeng resulted in establishing a formal link between algebraic and operational semantics. Linking theories and tools, model and program analysis and transformation, and model based testing are among his major research topics.

He has coordinated several national and international projects, including three projects jointly funded by NSF (USA) and CNPq (Brazil). More recently, he was the Brazilian coordinator (Principal Investigator - PI) of the COMPASS project (, funded by the European Commission under an FP7 call.

He has also significantly focused on cooperation with industry: particularly, since 2002 he is the PI of a long term collaboration with Motorola, on the development and application of formal testing and analysis techniques to mobile phone applications. This programme is part of what became known as the Brazil Test Center, which has attracted a significant amount in funding over the years, with the participation of more than a thousand collaborators, including students, engineers and researchers. It is responsible for the test of most applications that run on Motorola’s mobile phones, worldwide. The current infrastructure includes some 4G testing Labs that are unique in the south hemisphere. The Brazil Test Center has received several prizes for excellence in research and development and for innovation. Concerning academic qualifications in the context of this project, Augusto Sampaio has had a major role in the conception and implementation of a novel educational programme that is now widely known in Brazil as Software Residency; this gives young Software Engineers the kind of experience that medical doctors obtain with a residency in a hospital. The course involves a theoretical background and hands-on training, at an industry site, and has been extensively exercised in the context of the cooperation with Motorola, where the emphasis was on a specialised background on Software Testing. As a result, more than 500 students have graduated, from all over Brazil, and the course model has been awarded a Prize on Software Quality and Productivity by the Brazilian Ministry of Science, Technology and Innovation; this has inspired subsequent calls from CNPq to spread the model throughout the country. Since 2006, Augusto Sampaio has also established a cooperation project with Embraer, both on testing and on qualitative and quantitative analysis of models of avionics applications.

He has co-organised two international summer schools that gave rise to two books in Springer LNCS; one was on Testing Techniques in Software Engineering, where he has contributed both as co-editor and as co-author of one of the chapters. Augusto Sampaio has been participating in the PC of the main national and international conferences related to formal methods (FM, SEFM, ICFEM, ICTAC, IFM, FMi, ICTSS, ISOLA, UTP, VSTTE. SBMF, SBES, among others), and has participated in panels and delivered calls as invited speakers; particularly related to the theme of the current project, he was a keynote at ICFEM-2010 and gave invited talks at Motorola Labs at Basingstoke (2006), at the Oxford University Computing Lab (2009), Kent University (2013), Universidade do Minho (2015) and the British Computer Society Provably Correct Systems workshop (2015). He is a member of the Editorial Board of Formal Aspects of Computing (Springer), one of the major journals of the field. He constantly reviews papers for journals, including Theoretical Computer Science, Science of Computer Programming, Acta Informatica, Software Testing Verification and Reliability, Journal of The Brazilian Computer Society, among others. He is a member of the Steering Committee of ICTAC since 2004 and is the PC chair for ICTAC 2016, in Taiwan. Since 2013 he is a member of the Technical Committee 1 (TC1) of IFIP. Since 2014 he is also a member of the Awards Committee for Formal Methods Europe, responsible for two awards: the FME fellowship for distinguished service to the formal methods community; and the FM Symposium's most-influential paper. He has supervised more than 40 graduate students (PhD and MSc) and has published more than 100 journal and conference papers.

At CIn-UFPE, Augusto Sampaio has been Vice-Coordinator for Undergraduate Studies (1996-1998), Vice-Coordinator for Graduate Studies (1998-2001), Coordinator for Graduate Studies (2001-2003), Research Coordinator (2005-2013), and since 2006 he is the Head of the Computer Science Department (one of the three departments in the center for informatics at CIn-UFPE); also, since 2013 he is the Coordinator for Industry-Academia Cooperation.

Augusto Sampaio has also contributed to shape the policies for education and research in Computer Science as the Planning Director of the Brazilian Computer Society, and as a member of the expert committees of the Brazilian Research Councils (CNPq and CAPES) that evaluate all the higher-education institutions in Brazil and the major applications for funding.

Augusto Sampaio is one of the most distinguished Brazilian Computer Scientists in the area of Software Engineering with emphasis on Formal Methods; he was one of the founders of the Brazilian Commission for Formal Methods, and has continuously contributed to consolidate the conference organized by this commission (SBMF) with international standards. SBMF is already a well-established conference in the Formal Methods international community, and since 2010 its proceedings are published by Springer, in the LNCS series. He has also significantly contributed with the Commission for Software Engineering, and the associated conference (SBES).