Warren received a Ph.D.[1] in artificial intelligence from the University of Edinburgh in 1977 under advisor Robert Kowalski, and (a second advisor) Donald Michie.
[2] Warren worked for the Artificial Intelligence Center at SRI International in the 1980s.
[3][4] He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd to commercialize the Prolog compiler, Quintus Prolog.
[6] He has also held an academic position at the University of Bristol Department of Computer Science.
This biographical article relating to a computer specialist is a stub.