Virgil Emil Căzănescu

Adaugă legături
De la Wikipedia, enciclopedia liberă
Virgil Emil Căzănescu
Date personale
Născut[1] Modificați la Wikidata
Râmnicu Vâlcea, Vâlcea, România Modificați la Wikidata
Decedat (77 de ani) Modificați la Wikidata
București, România Modificați la Wikidata
Cetățenie România Modificați la Wikidata
Ocupațieinformatician Modificați la Wikidata
Limbi vorbitelimba română 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 doctoratSergiu 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
Modifică date / text Consultați documentația formatului

Virgil Emil Căzănescu (n. , Râmnicu Vâlcea, Vâlcea, România – d. , București, România) 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)[traduceți].[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 Virgil Emil Căzănescu, CV (PDF) (în engleză) 
  2. ^ MathSciNet[*][[MathSciNet (bibliographic database of the Mathematical Reviews journal)|​]], MathSciNet bibliographic data MR523084 54A05 (în engleză) 
  3. ^ MathSciNet[*][[MathSciNet (bibliographic database of the Mathematical Reviews journal)|​]], MathSciNet bibliographic data MR2014322 68Q30 (în engleză) 
  4. ^ MathSciNet[*][[MathSciNet (bibliographic database of the Mathematical Reviews journal)|​]], MathSciNet bibliographic data MR95456 54.00 (în engleză) 
  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. 
Adus de la https://ro.wikipedia.org/w/index.php?title=Virgil_Emil_Căzănescu&oldid=15612795