Соловэй получил степень доктора философии в Чикагском университете в 1964 году под руководством Саундерса Маклейна, с диссертацией на тему Функториальная форма дифференцирующей теоремы Римана — Роха. Среди его заметных студентов Хью Вудин и Мэттью Форман.
Соловэй имеет ряд достижений и за пределами теории множеств; с Фолькером Штрассеном он разработал тест простоты Соловэя — Штрассена, который используется для идентификации больших натуральных чисел, являющихся с высокой вероятностью простыми, и который имел важные последствия в истории криптографии.
Избранные публикации
- Соловэй, Роберт М. (1970). «Модель теории множеств, в которой каждое множество вещественных чисел является измеримым по Лебегу». Анналы математики. Второе издание 92: 1–56.
- Соловэй, Роберт М. и Фолькер Штрассен (1977). «Быстрый тест Монте-Карло для простоты». SIAM Journal on Computing 6 (1): 84–85. DOI:10.1137/0206006.
- Соловэй, Роберт М. (1967). «Неконструктивируемое ?3 множество целых чисел». Труды Американского математического сообщества 127: 50–75. DOI:10.2307/1994631.