Un creyente fuerte en la experimentación, Wos ha usado programas de razonamiento automatizados para contestar asuntos por resolver campos diversos como los que encontramos en la álgebra Booleana, semigrupos finitos, combinaciones de la lógica, y el cálculo equivalencial.