În această secțiune reunesc lucrările mele din zona teoretică a informaticii – acele contribuții care privesc formalizarea, limbajele, traducerea și modelele matematice ale calculului. Unele texte au fost folosite și ca suport didactic, dar sunt prezentate aici în primul rând ca bază conceptuală pentru direcțiile mele ulterioare din ingineria software, inteligență artificială și informatică medicală.
Materialul este structurat pe axe conceptuale (nu pe biografie). Pentru fiecare axă există o pagină separată; acolo voi integra treptat descrieri, liste de lucrări și (unde este cazul) fragmente publicabile.
Interesul meu pentru fundamente a început cu preocupări legate de descrierea formală a semanticii limbajelor de programare și de relația dintre construcțiile teoretice și comportamentul efectiv al programelor. În acest cadru se înscrie și lucrarea mea de diplomă la Facultatea de Matematică, dedicată definirii semanticii cu ajutorul Metodei Vienna.
Teoria automatelor este una dintre pietrele de temelie ale informaticii teoretice: modele de calcul, recunoaștere de limbaje, echivalențe, minimalizare, proprietăți de închidere, legături cu descrierile algebrice și cu modelele de programare.
Limbajele formale și gramaticile oferă cadrul matematic pentru descrierea sintaxei și pentru construcția translatoarelor.
În 1980 am susținut teza de doctorat „Implementarea unui limbaj pentru un sistem interactiv de prelucrare a datelor”, un proiect care a unit rigoarea formală cu construirea unui compilator conversațional ALGOL-60 folosit în formarea programatorilor. Compilatorul era capabil să compileze și să execute programe linie cu linie, oferind feedback imediat utilizatorilor. Proiectul combină teoria limbajelor formale cu practica inginerească.
În această subsecțiune voi grupa sintezele dedicate limbajelor de programare și tehnicilor de compilare in cartea mea "Limbaje de programare și compilatoare" publicată in 1987: anatomia stratificată a unui compilator, analiza lexicală și sintactică, analiza semantică traducerea orientată pe sintaxă, reprezentările intermediare și generarea de cod.
