Augusto Sampaio

| dblp =

| dblp =

}}

}}

'''Augusto Cezar Alves Sampaio''' (norn 1964) is a Brazilian [[computer scientist]] who works with [[formal methods]] and [[Computer language|language]] [[Semantics (computer science)|semantics]].

'''Augusto Cezar Alves Sampaio''' (born 1964) is a Brazilian [[computer scientist]] who works with [[formal methods]] and [[Computer language|language]] [[Semantics (computer science)|semantics]].

Augusto Sampaio is from [[Recife]], [[Pernambuco]], [[Brazil]]. He graduated from the Centro de Informática (CIn) at the [[Federal University of Pernambuco]] (UFPE) (with a BSc degree in 1985 and MSc degree in 1988). He undertook his [[PhD]] studies under the supervision of Prof. Sir [[Tony Hoare]] at the [[Oxford University Computing Laboratory]] (finishing in 1993).{{cite thesis |last1=Sampaio |first1=Augusto |title=An algebraic approach to compiler design |type=Ph.D. thesis |institution=[[University of Oxford]] |date=1993 |oclc=556622584 |id=EThOS [http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334903 uk.bl.ethos.334903]}} In 2013, Sampaio became [[National Order of Scientific Merit|Commander of the Scientific Merit Order]], awarded by the [[Ministry of Science, Technology and Innovation (Brazil)|Brazilian Science and Technology Ministry]].{{fact|date=April 2026}} In July 2016 Sampaio received the title of [[Doctor Honoris Causa]] from the [[University of York]], UK.{{cite web| url=https://www.cs.ox.ac.uk/people/tony.hoare/ | title=Tony Hoare | publisher=[[Department of Computer Science, University of Oxford]] | accessdate=31 May 2016 }}

Augusto Sampaio is from [[Recife]], [[Pernambuco]], [[Brazil]]. He graduated from the Centro de Informática (CIn) at the [[Federal University of Pernambuco]] (UFPE) (with a BSc degree in 1985 and MSc degree in 1988). He undertook his [[PhD]] studies under the supervision of Prof. Sir [[Tony Hoare]] at the [[Oxford University Computing Laboratory]] (finishing in 1993).{{cite thesis |last1=Sampaio |first1=Augusto |title=An algebraic approach to compiler design |type=Ph.D. thesis |institution=[[University of Oxford]] |date=1993 |oclc=556622584 |id=EThOS [http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334903 uk.bl.ethos.334903]}} In 2013, Sampaio became [[National Order of Scientific Merit|Commander of the Scientific Merit Order]], awarded by the [[Ministry of Science, Technology and Innovation (Brazil)|Brazilian Science and Technology Ministry]].{{fact|date=April 2026}} In July 2016 Sampaio received the title of [[Doctor Honoris Causa]] from the [[University of York]], UK.{{cite web| url=https://www.cs.ox.ac.uk/people/tony.hoare/ | title=Tony Hoare | publisher=[[Department of Computer Science, University of Oxford]] | accessdate=31 May 2016 }}