Джордж Э. Коллинз (10 января 1928 г. в Стюарт, Айова - 21 ноября 2017 года в Мэдисоне, Висконсин ) был американским математиком и ученым-компьютерщиком. Он является изобретателем сборки мусора с помощью подсчета ссылок и метода исключения кванторов с помощью цилиндрической алгебраической декомпозиции.
Он получил докторскую степень в Корнельский университет в 1955 году. Он работал в IBM, Университете Висконсин-Мэдисон (1966–1986) Государственный университет Огайо, RISC-Linz, Университет штата Делавэр и Государственный университет Северной Каролины.
G60. | Джордж Коллинз: метод перекрытия и стирания Списков, Комм. ACM, volume 3, number 12, 1960. |
G75. | Джордж Э. Коллинз: Исключение кванторов для элементарной теории вещественных замкнутых полей с помощью цилиндрического алгебраического разложения, Вторая конференция GI Conf. Теория автоматов и формальные языки, Springer LNCS 33, 1975. |
.