Mecanisme formale pentru specificarea limbajelor

Teodor Rus este o figura marcanta in tara si in strainatate pentru domeniul integrarii computerelor in procesul de rezolvare a problemelor. Absolvent al Facultatii de Matematica a Universitatii 'Babes-Bolyai' (1960), s-a format ca cercetator la Institutul de Calcul din Cluj, unde - in 1964- a obtinut titlul stiintific de doctor cu teza Folosirea Arborilor la Rezolvarea Problemelor Nenumerice sub conducerea acad.