The Institute for Computer Science Iaşi (Institutul de Informatică Teoretică – IIT) was formally established as an institute of the Romanian Academy in 1990, on the base of the Iaşi Branch of the Research Institute for Computer Techniques and Informatics Bucharest, organised by Prof. dr. Dan Gâlea in Iaşi, Romania, from 1984.

Since 1990, the institute has focused on fundamental research in informatics and mathematics. The research has resulted in theoretical methods, algorithms and mathematical models. Many papers have been successfully presented at national and international conferences. ICS currently has a major focus on many areas in computer science: formal models of distributed systems and of process algebra, models for molecular computing, specification and verification of probabilistic and stochastic systems and many others. Our team is also directed on the practical applications outlined by: implementation of theoretical models for concurrecy, network and web programming (client/server applications, mobile agents), model for signaling networks that is based on a mathematical theory of modeling and simulation (MolNet).

We hope you will find our Web site a useful gateway to information on the theoretical research activities which try to advance the state-of-the-art in computer science.