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






EMail

Razvan.Diaconescu@imar.ro


Address

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.


Telephone

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