О групи
Група за програмске језике и алате (PLATO - Program Languages And TOols) се бави истраживањима у области програмских језика и алата за развој софтвера. Интересовања групе укључују теоријске и практичне аспекте наредних области:
- Обликовање и имплементација програмских језика,
- Алати за превођење и технике оптимизације кода,
- Алати за статичку анализу кода и верификацију софтвера.
Такође, поред поменутих, интересовања обухватају и друге алате и технике које се користе у развоју софтвера.