Dr. Răzvan Diaconescu

Research Professor at Simion Stoilow Institute of Mathematics of the Romanian Academy (IMAR)

Director of Informatics Department of Şcoala Normală Superioară Bucureşti




Department: Institutul de Matematică "Simion Stoilow", Calea Griviţei 21, Bucureşti 014700, ROMĀNIA.
Home Ploieşti: Str. Democraţiei 32, Ploieşti 100559, ROMĀNIA.
Home Sinaia: Str. Mihai Eminescu 115A, Sinaia 106100, ROMĀNIA.


Department: +40 (0)21 319 6506
Fax Machine: +40 (0)21 319 6505
Home: +40 (0)244 513 664 / 315 463
Mobile: +40 (0)744 153 703

Current Research Interests

Institution-independent, abstract model theory

Algebraic specification, formal methods for software engineering

Constraint logic programming

Applications of category theory and logic to computing

Other information

Selected publications

member of editorial board of Studies in Universal Logic, Birkhauser

An introductory logic oriented TUTORIAL on INSTITUTION THEORY

invited speaker at 2nd World Congress on Universal Logic, Xi'an, China, August 2007

curriculum vitae (including full list of publications)

google scholar profile

project PN-II-ID-PCE-2011-3-0439

Institution-independent Model Theory, Birkhauser, May 2008 - download preface, table of contents, introduction, and references

Romanian-Japanese Algebraic Specification Workshops: 1st (1997), 2nd (2011), 3rd (2012).

Sinaia School on Formal Verification of Software Systems, March 3-10, 2008 - organized by Răzvan Diaconescu and Kokichi Futatsugi

Răzvan Diaconescu
September 2013