Artur d'Avila Garcez (born 1970) is a researcher in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information extraction.
[2] He is an editor of the Journal of Logic and Computation, Oxford University Press and associate member of Behavioral and Brain Sciences, Cambridge University Press.
Garcez received his PhD from Imperial College London in 2000 under the supervision of Dov Gabbay.
[3] The title of his thesis is Nonmonotonic Theory Refinement in Artificial Neural Networks.
This article on a computer specialist of the United Kingdom is a stub.