This is a homepage of Tomas Krilavičius, an assistant professor in Informatics faculty, Vytautas Magnus University and research associate at Baltic Institute of Advanced Technologies. My main interests and competence areas:
- Hybrid systems. Formal specification of hybrid systems (Behavioural Hybrid Process Calculus, hybrid automaton), simulation of hybrid systems (Bhave tool-set for Behavioural Hybrid Process Calculus simulation), analysis of various properties of hybrid systems;
- Tools integration. Integration and interoperability of tools. Tools development in an academical environment.
- Diverse aspect of embedded systems, especially formal specification, analysis and verification of timed behaviour.
- Rigorous analysis and visualisation of political processes. Application of quantitative methods for analysis and visualisation of political processes as a part of the civic initiative http://iDemokratija.info.