Metode Formale și Inginerie Software (MFIS)

Liderul grupului MFIS
Prof. Florentin Ipate

Logică și Securitate (LCS)

Liderul grupului LCS
Prof. Laurențiu Leuștean

Teorie

Liderul grupului Teorie
Prof. Andrei Păun

Center for Data Science (CDS)

Liderul grupului CDS
Prof. Marius Popescu