Scientific Projects

  • HiTess, research of Hybrid Systems Modelling, Simulation and Testing. Research on application of quantitative methods in politology. Funded by Creation and Propagation of Postdoctoral Studies in Natural sciences („Gamtos mokslų podoktorantūrinių stažuočių (post doc‘ų) sistemos sukūrimas ir įdiegimas“)).
  • LIST, (formal methods) tools integration and interoperability. Development of tools in academical environment.
  • CASH (Compositional Analysis and Specification of Hybrid Systems) is a research project supported by the Netherlands Foundation for Scientific Research (NWO). It aims to develop a compositional theory for the specification and analysis of hybrid systems.
  • AMETIST EU project (IST-2001-35304) on Advanced Methods for Timed Systems. The main objective of the AMETIST project is to develop a powerful modelling methodology supported by efficient computerized problem-solving tools for the modelling and analysis of complex, distributed real-time systems.
  • HYCON, Hybrid Control: Taming Heterogenity and Complexity of Networked Embedded Systems, WP3 - Tool Integration. The objective of the NoE HYCON is establishing a durable community of leading researchers and practitioners who develop and apply the hybrid systems approach to the design of networked embedded control systems as found, e.g., in industrial production, transportation systems, generation and distribution of energy, communication systems.

Educational Projects

  • Innovative Training of Practical IT Skills in Continuous Studies, Sep, 2007 - Aug, 2008, project manager. Goals: modernisation of education techniques and development of practical IT skills. Supported by (BPD2004-ESF-2.4.0-03-05/0121).

Other Projects