a brief academic biography |
Oxford doctoral yearsBetween 1990-1994 I had been enrolled in a doctoral programme in computing at Oxford under the guidance of late Professor Joseph A. Goguen, a paramount scientist. Those years shaped completely my future research style and orientation.
|
computer language designer in JapanBetween 1996-2000 I worked as designer of the new specification and verification language CafeOBJ at Japan Advanced Institute for Science and Technology. The project was financed on a large scale by the Japanese Government. Besides the language itself, many fundamental ideas that have been developed during the process of designing CafeOBJ, have strongly influenced other developments worldwide. This work was awarded in 2004 the Grigore Moisil Prize of the Romanian Academy.
|
building a master programme for elite students in informaticsBetween 2002-2011, as Director of the Informatics Department of Scoala Normală Superioară Bucuresti I had organised a master programme in Logic and Formal Specification dedicated to very elite students in Romania, the main idea being to reduce the brain drain from Romania to the West. Most of the graduates of the programme have subsequently graduated from doctoral programmes in prestigious universities in US, Europe and Japan, many of them intending to return home. The very advanced research orientation of that master programme is illustrated by the six publications of the students themselves in top international journals, a very rare achievement for any master programme worldwide.
|
doctoral advisor abroad and IBM AwardBetween 2010-2013 I had been supervisor of a doctoral thesis in computer science in Portugal that had won the prestigious IBM Award.
|
advancing model theory methods in informaticsSince 2000 my main research activity at the Institute of Mathematics of the Romanian Academy can be summarised as advancing model theory methods in computer science, especially in the areas of formal methods and artificial intelligence. An important side effect was a new revolutionary form of model theory, known as institution-independent model theory (the authoritative monograph of the area was published with this name), that has had a strong impact in the context of the modern trend universal logic trend.
|