Истраживачке групе

На Катедри ради више истраживачких група, које се баве различитим областима рачунарства и његовим применама. Свака група има своју страницу са описом рада и везама ка свом сајту.

• Аутоматско резоновање Група за аутоматско резоновање (ARGO) бави се аутоматским и интерактивним доказивањем теорема, како у домену чисте математике, тако и у домену формалне верификације алгоритама и софтвера.
• Биоинформатика Група за биоинформатику се бави истраживањима у области развоја и примене рачунарских метода у истраживањима у биологији, медицини и другим повезаним наукама.
• Истраживање података Група истраживача бави се методама истраживања података и њиховом применом у проблемима предиктивног моделовања и откривања законитости у подацима.
• Језичке технологије Група за језичке технологије бави се креирањем и одржавањем ресурса и алата за обраду српског језика.
• Математичка оптимизација Група се бави истраживањима из области вештачке интелигенције са фокусом на теорију, примене и развој рачунарске интелигенције и математичке оптимизације.
• Машинско учење Група за машинско учење бави се развојем модела и алгоритама машинског учења и њиховим практичним применама.
• Моделирање и оптимизација Истраживачи из ове групе се баве математичким моделирањем и решавањем сложених оптимизационих проблема, као и математичким моделирањем понашања и усавршавањем различитих метода метахеуристичке оптимизације.
• Програмски језици и алати