O grupi
Grupa za programske jezike i alate (PLATO - Program Languages And TOols) se bavi istraživanjima u oblasti programskih jezika i alata za razvoj softvera. Interesovanja grupe uključuju teorijske i praktične aspekte narednih oblasti:
- Oblikovanje i implementacija programskih jezika,
- Alati za prevođenje i tehnike optimizacije koda,
- Alati za statičku analizu koda i verifikaciju softvera.
Takođe, pored pomenutih, interesovanja obuhvataju i druge alate i tehnike koje se koriste u razvoju softvera.