Coordonator: Profesor Doctor Virgil Emil Cazanescu
E-mail: vec@funinf.cs.unibuc.ro
Obiectivele programului
- Asimilarea
de cunoștințe avansate în domeniul informaticii teoretice cum ar fi: sisteme
de rescriere, teoria codurilor, teoria modelelor.
Se urmărește de asemenea realizarea
de conexiuni concrete cu informatica teoretică prin cursuri de semantică
a limbajelor de programare și programare declarativă.
