Artificial intelligence and Human Language Technologies

Leader of IA and HLT groups
Prof. Liviu P. Dinu

Logic and Security (LCS)

The leader of the LCS group
Prof. Laurențiu Leuștean

Teorie

The leader of the Teorie group
Prof. Andrei Păun

Formal Methods and Software Engineering (MFIS)

The leader of the MFIS group
Prof. Florentin Ipate

Models of Computation, Algorithms and Cryptography (MOCALC)

The leader of the MOCALC group
Prof. Victor Mitrana

Center for Data Science (CDS)

The leader of the CDS group
Prof. Marius Popescu