Achievements Artur d"Avila Garcez has been listed as a notable computer scientist by Marquis Who's Who.