**R ˘azvan Diaconescu**

Razvan Diaconescu is a Research Professor at Simion Stoilow Institute of Mathematics of the ˘ Romanian Academy. His research revolves around the categorical abstract model theory (i.e., the institution theory) and its applications to logic-based computing science, especially formal specification and declarative programming. Using the model theory methods, he designed three formal specification and verification languages, namely, CafeOBJ, H and COMP. All these have been implemented as actual software systems. Dr. Diaconescu is the author of two books and of many papers scattered over 29 different international journals. His publications have received nearly 4000 citations on Google Scholar, while his book "Institution-independent Model Theory" is widely considered as the authoritative monograph in the respective area.
