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
Many people all over the world owe Tibetan Buddhist teachings the sense of their lives. We are all the time thinking at the freedom of the gentle Tibetan people which we want fully restored.
Address
Home Ploieşti: Str. Democraţiei 32, Ploieşti 100559, ROMĀNIA.
Home Sinaia: Str. Mihai Eminescu 115A, Sinaia 106100, ROMĀNIA.
Telephone
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
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)
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
Links
September 2013