Istraživačke grupe
Na Katedri radi više istraživačkih grupa, koje se bave različitim oblastima računarstva i njegovim primenama. Svaka grupa ima svoju stranicu sa opisom rada i vezama ka svom sajtu.
- Automatsko rezonovanje Grupa za automatsko rezonovanje (ARGO) bavi se automatskim i interaktivnim dokazivanjem teorema, kako u domenu čiste matematike, tako i u domenu formalne verifikacije algoritama i softvera.
- Bioinformatika Grupa za bioinformatiku se bavi istraživanjima u oblasti razvoja i primene računarskih metoda u istraživanjima u biologiji, medicini i drugim povezanim naukama.
- Istraživanje podataka Grupa istraživača bavi se metodama istraživanja podataka i njihovom primenom u problemima prediktivnog modelovanja i otkrivanja zakonitosti u podacima.
- Jezičke tehnologije Grupa za jezičke tehnologije bavi se kreiranjem i održavanjem resursa i alata za obradu srpskog jezika.
- Matematička optimizacija Grupa se bavi istraživanjima iz oblasti veštačke inteligencije sa fokusom na teoriju, primene i razvoj računarske inteligencije i matematičke optimizacije.
- Mašinsko učenje Grupa za mašinsko učenje bavi se razvojem modela i algoritama mašinskog učenja i njihovim praktičnim primenama.
- Modeliranje i optimizacija Istraživači iz ove grupe se bave matematičkim modeliranjem i rešavanjem složenih optimizacionih problema, kao i matematičkim modeliranjem ponašanja i usavršavanjem različitih metoda metaheurističke optimizacije.
- Programski jezici i alati