Tietojenkäsittelytieteen jatkotutkimus (GRE) on jaettu neljään pääosaan. Näitä osia ovat: Tietokonearkkitehtuuri ja -organisaatio, joka muodostaa 15 prosenttia testiluokasta; Ohjelmistomenetelmät ja -järjestelmät, joiden osuus testiluokasta on 40 prosenttia; Matemaattinen teoria ja tausta, joka muodostaa 40 prosenttia testiluokasta; ja sateenvarjoluokka nimeltä Muut aiheet, joka muodostaa loput 5 prosenttia testiluokasta.
Tietokonearkkitehtuuri ja organisaatio -alueella on viisi ensisijaista alikenttää. Ensimmäinen on ohjausyksiköt ja prosessorit. Tällä alalla Computer Science GRE sisältää kysymyksiä, kuten lukujen ja aritmeettisen esityksen, datapolut ja ohjaussekvenssin, sekä yleisiä kysymyksiä ohjesarjoista.
Toinen alikenttä on Digital Logic Design, ja se sisältää analyysi- ja optimointikysymyksiä sekä peräkkäisen ja yhdistelmäpiirin toteutuksen. Kolmas on muistoja ja hierarkioita, joihin kuuluu välimuisti ja tallennustyypit, sivutus, segmentointi, virtuaalimuisti ja kysymyksiä suorituskyvystä ja toteutuksesta. Neljäs on Communications and Networks, johon kuuluu verkkolaitteita, kuten reitittimiä ja kytkimiä, tulo-lähtöjärjestelmiä ja synkronointitietokoneita. Viimeinen on High-Performance Architecture, joka sisältää hajautetun ja rinnakkaisarkkitehtuurin sekä superskalaarisen putkilinjan ja järjestämättömät suoritusprosessorit.
Tietojenkäsittelytieteen GRE: n ohjelmistomenetelmät ja -järjestelmät-kentässä on viisi alikenttää. Ensimmäinen on Dataorganisaatio, joka sisältää tietojen toteuttamistekniikat, tietorakenteet ja tietotyypit. Toinen on ohjelman rakenne ja ohjaus, joka sisältää kysymyksiä synkronoinnista, samanaikaisuudesta ja viestinnästä; rekursio ja iterointi; ja toiminnot, menetelmät, menettelyt ja poikkeuskäsittelijät.
Tietojenkäsittelytieteen GRE: n ohjelmistomenetelmät ja järjestelmät -kentän kolmas alikenttä on ohjelmointimerkinnät ja kielet, joihin sisältyy lausekkeiden arviointi, parametrien välitys, sitominen, laajuus ja ohjelmanhallinta-/tietoorganisaatiorakenteet. Neljäs on Software Engineering, joka sisältää varmennustekniikoita, eritelmiä, väitteitä, kehitysmalleja, työkaluja ja malleja. Viimeiseen alakenttään kuuluu järjestelmiin liittyviä kysymyksiä, mukaan lukien tietokannat, järjestelmäanalyysi, resurssienhallinta, tulkit, ajonaikaiset järjestelmät, kääntäjät, käyttöjärjestelmät, Internet ja verkkoyhteyskysymykset.
Tietojenkäsittelytieteen GRE: n matemaattisessa teoriassa ja taustalla on kolme ensisijaista alikenttää. Ensimmäinen on monimutkaisuus ja algoritmit, ja se sisältää kysymyksiä algoritmien suunnittelutekniikoista, asymptoottisesta ja tarkasta algoritmin analyysistä, laskennallisesta monimutkaisuudesta ja monimutkaisuuden ylä- ja alarajoista. Toinen osa on Kieliteoria ja automaatit, joka sisältää laskentamalleja, päätettävyyttä ja muodollista kielioppia ja kieltä. Viimeinen on diskreetit rakenteet, joihin kuuluu graafiteoria, alkeisyhdistelmä, lukuteoria, toistuvat suhteet ja matemaattinen logiikka.
Tietotekniikan GRE: n viimeinen alue on nimeltään Muut aiheet. Se sisältää kysymyksiä esimerkiksi salauksesta, tietokonegrafiikasta, numeroanalyysistä, tekoälystä ja turvallisuudesta. Tämä osio sisältää myös sosiaalisia kysymyksiä.