Catalogue of Research Groups from Moldova - WBC-INCO Net
Catalogue of Research Groups from Moldova - WBC-INCO Net
Catalogue of Research Groups from Moldova - WBC-INCO Net
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
SEVENTH FRAMEWORK<br />
PROGRAMME<br />
PROGRAMMING SYSTEMS LABORATORY<br />
THE INSTITUTE OF MATHEMATICS AND COMPUTER SCIENCE, THE ACADEMY OF SCIENCES<br />
Organization activity type : RES<br />
FP7 theme : ICT<br />
Contact person : Dr. Konstantin Chebotar<br />
Address : Institute <strong>of</strong> Mathematics and Computer Science <strong>of</strong> the Academy <strong>of</strong> Sciences <strong>of</strong> <strong>Moldova</strong><br />
5, Academiei street<br />
MD 2028, Chisinau<br />
Republic <strong>of</strong> <strong>Moldova</strong><br />
E-mail : chebotar@math.md<br />
Web : http : //www.math.md<br />
BRIEf dESCRIpTIon <strong>of</strong> ThE oRganIzaTIon<br />
Scientific achievements :<br />
• effective methods based on formal grammars and languages for development <strong>of</strong> application and system<br />
s<strong>of</strong>tware have been implemented; • computational noncommutative algebra system for calculation <strong>of</strong><br />
Gröbner basis, Anick resolution, Hilbert series and for prediction <strong>of</strong> the infinite obstructions behavior<br />
based on their finite component have been developed; • formal models <strong>of</strong> computation based on<br />
universal Turing machines and molecular calculations have been constructed; • a toolkit for building and<br />
managing <strong>of</strong> computational lexicons has been developed. A database with linguistic reusable resources<br />
for Romanian language has been developed; • methods for implementation <strong>of</strong> discrete simulation<br />
languages, algorithms for visualization and analysis <strong>of</strong> the experiments results, for automatization <strong>of</strong><br />
design and implementation <strong>of</strong> problem-oriented simulation systems have been developed.<br />
KEywoRdS on CoRE CompETEnCIES<br />
molecular computing; natural language processing; formal models <strong>of</strong> computation; modelling and<br />
simulation systems; s<strong>of</strong>tware development technology;<br />
ExpERTISE / CompETEnCIES / TEChnologIES / RTd Know-how<br />
• Information Processing : User Interfaces, Image Processing, Simulation; • S<strong>of</strong>tware and Services<br />
(Applied ICT) : Bio-informatics; • Cognitive Systems and Robotics : Human-machine Interfaces.<br />
InTERnaTIonal CoopERaTIon ExpERIEnCE<br />
• Project INTAS RoLTech. Platform for Romanian Language Technology : resources, tools and interfaces, 2006 -<br />
2008; • Project NATO Basics <strong>of</strong> Molecular Computing, 2000 - 2003; • Project NATO Public Diplomacy Division,<br />
Science Programme Advanced <strong>Research</strong> Workshop : Computational commutative and non-commutative algebraic<br />
geometry, 2004; • Swedish Royal Academy <strong>of</strong> Sciences Grant Nr. 1502 Computational homological algebra, 1997<br />
- 2000; • Swedish Royal Academy <strong>of</strong> Sciences Grant Nr. Generalized Groebner basis calculation and algebraic<br />
applications, 2003 - 2006; • Project Power and efficiency <strong>of</strong> natural computing : neural-like P (membrane) systems,<br />
2007 - 2010; • Project FP5, MolCo<strong>Net</strong> - A Thematic network on Molecular Computing, 2000 - 2004; • Project<br />
FP6, EC, Marie Curie Incoming International Fellowship program MolCIP : Molecular Computing and Intractable<br />
Problems, 01.06.2007 - 31.05.2009; • <strong>Moldova</strong> - Romania 10.820.08.04/RoA Information resources management<br />
and assistance in inter-academic scientific cooperation and in management <strong>of</strong> cooperation between the Academy <strong>of</strong><br />
Sciences <strong>of</strong> <strong>Moldova</strong> and the Romanian Academy, 2010 - 2012.<br />
7