Artur d'Avila Garcez
Artur 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. His contributions include neural-symbolic learning systems and nonclassical models of computation combining robust learning and reasoning. He is Reader in Computer Science at City University London.
Garcez is co-author of Neural-Symbolic Learning Systems (Springer, 2002, ISBN 978-1-85233-512-0) and Neural-Symbolic Cognitive Reasoning (Springer, 2009, ISBN 978-3-540-73245-7). 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. He is listed in Marquis Who's Who in the World and Marquis Who's Who in Science and Engineering.
The first character of his password is rumoured to be ‘S’ but this is, as yet, unconfirmed.