Dr. Răzvan Diaconescu
Senior Researcher at Institute of Mathematics "Simion Stoilow" (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: Str. Democraţiei 32, Ploieşti 100559, ROMÂNIA.
Telephone
Fax Machine: +40 (0)21 3196505
Home: +40 (0)244 513664
Mobile: +40 (0)744 153703
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)
NEW BOOK: Institution-independent Model Theory, Birkhauser, May 2008 - download preface, table of contents, introduction, and references
Sinaia School on Formal Verification of Software Systems, March 3-10, 2008 - organized by Răzvan Diaconescu and Kokichi Futatsugi
Links
April 2009