Virgil Emil Căzănescu

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare
Virgil Emil Căzănescu
Date personale
Născut[1] Modificați la Wikidata
Decedat (77 de ani) Modificați la Wikidata
CetățenieFlag of Romania.svg România Modificați la Wikidata
Activitate
Domeniuinformatică  Modificați la Wikidata
Număr Erdős3[2][3][4]  Modificați la Wikidata
Alma MaterUniversitatea din București[5]  Modificați la Wikidata
Conducător de doctorat Sergiu Rudeanu[*][[Sergiu Rudeanu (Ph.D. from University of Bucharest in 1964 on "Boolean Equations And Their Applications" supervised by Grigore C. Moisil)|​]][5]  Modificați la Wikidata
Cunoscut pentruscheme de programe, programare prin rescriere

Virgil Emil Căzănescu (n. [1] – d. ) a fost un informatician român, profesor universitar la Universitatea din București.

Biografie[modificare | modificare sursă]

Pe linie paternă, familia sa se trage din satul Căzănești (Râmnicu Vâlcea), Vâlcea, străbunicul său, Grigore F. Căzănescu fiind el înșuși licențiat în matematică al Universității din București și fondator al liceului Frații Buzești din Craiova⁠(en).[6]

A absolvit în anul 1966 Facultatea de Matematică și Informatică din Universitatea București cu specializarea Mașini de calcul[7] și în anul 1976 a obținut doctoratul în Matematică (cu teza Categorii de algebre universale) la aceeași facultate, sub îndrumarea profesorilor Grigore Moisil și Sergiu Rudeanu.[8]

A început cariera didactică în anul 1967 și a avansat în ierarhia academică până la gradul de profesor universitar obținut în anul 1992 având o activitate de peste 46 de ani la Facultatea de Matematică și Informatică din Universitatea București.

În anul 1993 a înființat catedra de Fundamentele Informaticii la Facultatea de Matematică a Universității București, pe care a condus-o până la pensionare, cu excepția perioadei 2000-2004.

Contribuții academice[modificare | modificare sursă]

În îndelungata sa carieră academică, profesorul Căzănescu a publicat peste 80 de articole științifice în jurnale de prestigiu și volume de conferințe.[8]

Este recunoscut și citat pentru primele aplicații ale teoriei categoriilor în studiul automatelor și a mașinilor, precum și pentru cercetarea sa în domeniul modelelor algebrice pentru sintaxa și semantica limbajelor de programare.[9][10][11][12]

Cărți și manuale[modificare | modificare sursă]

  • Logica matematica și teoria mulțimilor, (cu M. Becheanu, C. Năstăsescu și S. Rudeanu), Editura Didactica și Pedagogica, 1973
  • Curs de bazele informaticii (3 fascicole), Tipografia Universității București, 1974/75
  • Curs de bazele informaticii: Limbaje raționale și automate, Tipografia Universității București, a) ediția I, 1975 b) ediția II, 1976
  • Curs de bazele informaticii: Partea I, Tipografia Universității București, 1976
  • Curs de scheme de programe: Latici continue, Tipografia Universității București, 1980
  • Curs de scheme de programe: Ecuații recursive cu domenii, Tipografia Universității București, 1981
  • Curs de bazele informaticii: Introducere în logica matematica, Tipografia Universității București, 1981
  • Curs de bazele informaticii: Volumul I, Tipografia Universității București, 1983
  • Curs de bazele informaticii: Volumul II, Tipografia Universității București, 1983
  • Introducere în teoria limbajelor formale, Editura Academiei, 1983
  • Bazele informaticii: Lecții de logica matematica, (cu C. Calude) Tipografia Universității București, 1984
  • Programare prin rescriere, Editura Universității din București, 2020. ISBN 978-606-16-1191-1

Studenți notabili[modificare | modificare sursă]

Note[modificare | modificare sursă]

  1. ^ a b (PDF) http://www.imar.ro/~snsb/files/CD-Acreditare-SNSB/14.CVuri/Virgil%20Emil%20Cazanescu.pdf  Lipsește sau este vid: |title= (ajutor)
  2. ^ https://mathscinet.ams.org/mathscinet-getitem?mr=523084  Lipsește sau este vid: |title= (ajutor)
  3. ^ https://mathscinet.ams.org/mathscinet-getitem?mr=2014322  Lipsește sau este vid: |title= (ajutor)
  4. ^ https://mathscinet.ams.org/mathscinet-getitem?mr=95456  Lipsește sau este vid: |title= (ajutor)
  5. ^ a b Genealogia matematicienilor, accesat în  
  6. ^ Iacob, Valentin (). „Prof. univ. VIRGIL CĂZĂNESCU - "Abstractul și logica nu dispar niciodată din viața unui matematician". Formula AS. Accesat în . 
  7. ^ Vlada, Marin (coord.) (). Istoria Informaticii Românești : Apariție, Dezvoltare și Impact (volumul II). Matrix ROM București. p. 40. 
  8. ^ a b Virgil Emil Căzănescu. „Prof.dr. Cazanescu Emil”. Facultatea de Matematică și Informatică, Universitatea București. Accesat în . 
  9. ^ Calude, Cristian; Gheorghe, Marian (). „Bucharest school of theoretical computer science”. Revista de Politica Stiintei si Scientometrie – Serie Noua. 3 (4): 280–281. 
  10. ^ Vlada, Marin (coord.) (). Istoria Informaticii Românești : Apariție, Dezvoltare și Impact (volumul I). Matrix ROM București. p. 39. 
  11. ^ Vlada, Marin (coord.) (). Istoria Informaticii Românești : Apariție, Dezvoltare și Impact (volumul III). Matrix ROM București. p. 416-419. 
  12. ^ Filip, Florin Gheorghe (coord.) (). Știința și tehnologia informatiei în România. Editura Academiei Române. p. 151-154. ISBN 978-973-27-2955-7.