|
Data si locul nasterii: 11 ianuarie 1948, Ploiesti.
Educatia: Absolvent in 1970, Facultatea de matematica, Universitatea din Bucuresti.
Teza de doctorat: 1998, cu teza "Contributii la studiul structurilor de ordine", conducator stiintific prof.dr.doc. Solomon Marcus.
Pozitii academice: Asistent stagiar la Fac. de Matematica a Universitatii din Bucuresti (1970 - 1971); Programator (1971 - 1979) si Analist pr.3 (1979 - 1992) la Centrul de Calcul al Universitatii din Bucuresti; Asistent suplinitor (1992 - 1993), Asistent (1993 - 2000), Lector (2000 - ) la Facultatea de Matematica a Universitatii din Bucuresti, Catedra de Informatica (1992 - 1993) si de Fundamentele Informaticii (1993 - prezent).
Cursuri predate: Informatica (curs anii 1, 2, seminar anii 1-3), Magistrale de Comunicatii (curs anul 1) la Facultatea de Litere, Departamentul de Comunicare si Relatii Publice; Fundamentele Algebrice ale Informaticii (seminar anul 2), Modele algebrice in sintaxa, semantica si paralelism, Structuri algebrice in programare (seminarii optionale, anul 4) la Facultatea de Matematica, Sectia Informatica.
Domenii de interes stiintific: Modele Matematice si Programe pentru Diagnosicul Medical Asistat de Calculator; Teoria Relatiilor; Teoria Laticilor; Structuri de Ordine cu aplicatii in Semantica Programarii; Teoria Recursiei.
Carti si manuale
- Culegere de exercitii de programare in FORTRAN, Ed. Did. si Ped., Bucuresti, 1974 (cu N.Popoviciu, Constantina Ioan, Victorina Panaite, P.Radovici, St.Stefanescu ).
- Exercitii si probleme de programarea calculatoarelor, Tipografia Universitatii din Bucuresti, 1976, pp. 212-218 (cu I.Vaduva et al.: 28 autori).
Articole stiintifice
- Cercetari privind variatiile ECG ortogonale in raport cu varsta la normali si prin analiza multidimensionala in hipertensiunea arteriala (cu Gh.Arsenescu, M.Sabau, I.Vaduva, Doina Petroniu), Studii si cercetari de Biotehnologie, vol.4, 1978, pp.96-103.
- Valoarea unor criterii cantative ECG si VCG (Frank) in diagnosticul hipertrofiei ventriculare stangi la hipertensivi peste 40 ani fara insuficienta cardiaca (cu Gh. Arsenescu, C. Dudea, Ileana Arsenescu, M. Sabau, Veronica Avrigeanu, Angela Gliga, L. Bordy), Revista Medicala, 1982, XXVIII, 2, pp.109-113.
- Quantitative ECG and VCG criteria for left ventricular hypertrophy in hypertensive men over 40 years without congestive cardiac failure (Gh.Arsenescu, C.Dudea, M.Sabau, Ileana Arsenescu, Veronica Avrigeanu, Angela Gliga, L.Bordy, R.Ghinescu), Japanese Heart Journal Vol.23, Supplement, 1982.
- New mathematical statistical methods for effecting correct electrocardiographic (ECG) and vectorcardiographic (VCG) diagnosis criteria by computerisation (cu Gh.Arsenescu, I.Vaduva, V.Danciu, R.Ghinescu, M.Sabau, Veronica Avrigeanu, Ileana Arsenescu, Ioana Mitrea, G. Badiu), Revue Roum. de Morphologie, D'Embriologie et de Physiologie, 1983, Tome 20, No.3, pp.205-211.
- A generalization of fixpoint semantics of recursive definitions Analele Universitatii Bucuresti, seria Matematica-Informatica, vol.41, nr.2/1992, pp.11-19 (1994).
- Well founded partially ordered sets and a fixpoint theorem Analele Universitatii din Bucuresti seria Matematica-Informatica anul 46 - 1997 (supliment), pp.17-28.
- Cofinality and well--founded ordered sets Analele Universitatii din Bucuresti, seria Matematica-Informatica anul 47 - 1998 (supliment) pp.51-54.
- Filtres de Stone dans les treillis distributifs in volumul: Gr.C.Moisil (ed.), "Logique, Automatique, Informatique", Ed. Acad. RSR, Bucuresti 1971, pp. 91-98.
- Multivariate analysis of orthogonal ECG in left ventricular hypertrophy in hypertension (cu Gh.Arsenescu, M.Sabau, V.Stoica, Gh.Butnaru, Silvia Marcus, Ileana Arsenescu, N.Voloc, B.Domjanschitz, G.Meclea, I.Tintoiu, R.Furtuna), in volumul: "Modern Electrocardiology", Akademiai Kiado, Budapest; Excrepta Medica, Amsterdam, 1978, pp. 253-256.
- Multivariate analysis of Frank orthogonal ECG in hypertensive men with X-ray left ventricular hypertrophy and without cardiac failure (cu Gh.Arsenescu, M.Sabau, Gh.Badiu, M.Horváth, I.Vaduva, D.Petroniu, G.Badiu), in volumul: "Progress in Electrocardiology, Pitman Medical, London 1979, pp.427-430.
- Asupra unor modele matematice ale definitiilor recursive, in volumul: G.Orman (ed.), "Lucrarile primului colocviu national de limbaje, logica, lingvistica matematica, Brasov, 5-7 iunie 1986, Universitatea Brasov, pp.67-76.
- Relations with structural induction, in vol. "Information Technology. The proceedings of the fourth international symposium on economic informatics", Bucuresti, mai 1999, pp. 917-922.
|