Der Informatiker forschte am Institut für Informationssysteme der Technischen Universität Wien. Seit 2006 ist Gottlob an der Universität Oxford tätig. Seine Schwerpunkte liegen in den Bereichen der Computationalen Logik, der Künstlichen Intelligenz und der Datenbanken.