Résumé

Personal info

• Work address I: Informatics faculty, Vytautas Magnus university, Vileikos 8, LT – 44404, Kaunas, Lithuania
• Work address II: Baltic Institute of Advanced Technologies, Architektų g. 60-42, Lt-04110, Vilnius, Lithuania
• E-mail t.krilavicius at if.vdu.lt, t.krilavicius at gmail.com
• Web page http://www.surface.lt/krilaviciust
• Facebook http://www.facebook.com/t.krilavicius

Work Experience

Education

Scientific Interests

• Hybrid systems. Formal modelling, simulation and analysis of hybrid systems (Behavioural Hybrid Process Calculus, BHPC). Tools for hybrid systems (Bhave tool-set).
• Real-time systems. Formal modelling and verification of reactive (timed) systems.
• Tools integration and interoperability. Development and integration of tools for formal methods in the academic environment.
• Quantitative methods in political science. Grouping of voters based on the voting results (clustering and other techniques).

Teaching

• Courses
  • Formal Methods in Modelling, master course for applied computer science students, Informatics faculty, Vytautas Magnus University, 2007 - …
  • Information Modelling and Retrieval, master course for computer linguistics students, Informatics faculty, Vytautas Magnus University, 2009.
  • Information Modelling and Retrieval, master course for business computer science students, Informatics faculty, Vytautas Magnus University (planned).
  • Electronic Business and ICT Infrastructure, with V.Fomin master course for business computer science students (practice and selected lectures), Informatics faculty, Vytautas Magnus University, 2009 -
  • IT Governance, with B.Balvočius, master course for business computer science students (selected lectures), Informatics faculty, Vytautas Magnus University, 2010 -
  • Operating Systems, bachelor course for computer science students (half of the course, together with D. Vitkutė-Adžgauskienė), Informatics faculty, Vytautas Magnus University, 2010.
• Supervision
  • Master projects, Informatics faculty and Centre of Computational Linguistics, Vytautas Magnus University (2007-…).
  • Master projects, Formal Methods and Tools group, University of Twente (2001-2006).
  • Bachelor projects, Business Informatics Dept., Kaunas University of Technology (1999-2001).
• Erasmus Visiting lecturer
  • June 14-18, 2009, Faculty of Informatics, Hochschule Zittau/Görlitz (FH) (University of Applied Sciences), lectures on Formal Methods: Theory and Practice (Timed automata and Uppaal).
  • June 8-12, Faculty of Informatics, University of the Basque Country.
• Programmes.
  • Responsible for computer science part in Interactive Web Design bachelor programme, in Arts dept., Vytautas Magnus University, 2009-2010 (programme is under review).

Languages

• Lithuanian – mother tongue.
• English– good.
• Russian – excellent.
• Polish – can read and understand colloquial polish.
• French – scientific literature.
• Dutch – filling official forms.

Projects

Professional Activities

• Professional organisations.
  • Member of Futura Scientia, http://www.futurascientia.lt.
  • Member of Lithuanian Society of Young Researchers (LSYR) 2004 - 2010; member of the LSYR council: December, 2006 - December, 2007. http://www.ljms.lt.
  • Member of IPA (Institute for Programming research and Algorithmic, The Netherlands), 2001-2006, http://www.win.tue.nl/ipa/.
• Scientific expert.
  • RTD Technological Audit – Lithuania, scientific reviewer, 2009.
  • The Best Lithuanian Dissertation of Year 2006, 2007, 2008 and 2009, reviewer in the first round.
• Chair
  • Information Society and University Studies (IVUS 2010), PhD and master students conference, Kaunas, Lithuania, 13 May, 2010, http://if.vdu.lt/~ivus/
• International program committee (IPC).
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-IMECS’11), special session in the IAENG IMECS Conference, Hong Kong, 16-18 March, 2010, http://datics.nesea-conference.org/datics-imecs2011/.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-ICIS’10), workshop in ICIS 2010 conference, Chengdu, China, 23-25 June, 2010, http://digilander.libero.it/systemcfl/datics10-icis/.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-FutureTech’10), workshop in FutureTech 2010 conference, Busan, Korea, 21-23 May, 2010, http://digilander.libero.it/systemcfl/datics10-futuretech/.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-IMECS’10), special session in the IAENG IMECS Conference, Hong Kong, 17-19 March, 2010, http://digilander.libero.it/systemcfl/datics10-imecs/.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-ICIEA’09), Special Session in the IEEE ICIEA Conference, Xi’an, China, 2009, http://digilander.libero.it/systemcfl/datics09-iciea/.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-IMECS’09), Special Session in the IAENG IMECS Conference, Hong Kong, 18-20 March, 2009, http://digilander.libero.it/systemcfl/datics09-imecs/.
  • Design, Analysis and Tools for Integrated Circuits and Systems Workshop (DATICS-ICMS’09), The International Conference of Mathematical Sciences 2009, Istanbul, Turkey, 4-10, August, 2009, http://digilander.libero.it/systemcfl/datics09-icms/.
  • 11th Dutch Testing Days, local organiser, University of Twente, The Netherlands. http://fmt.cs.utwente.nl/testdag2005/.
• Editorial board member.
  • IJDATICS, International Journal of Design, Analysis and Tools for Integrated Circuits and Systems, http://digilander.libero.it/systemcfl/IJDATICS/editorial_board.html.
• Lecturer in LSYR summer school for pupils (http://moksleiviams.ljms.lt/index.php?page=ljms-vasara).
  • 2010, Information Retrieval: how/why it works and how to use it, Data mining, Excellent application of Multidimensional Data Scaling (together with V. Morkevičius)
  • 2009, Introduction to Information Retrieval (in Lithuanian).
  • 2006 - 2008, Introduction to Formal Methods (in Lithuanian).
• Reviewer.
  • The 14th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2010).
  • Transactions of the Society for Modeling and Simulation International (2008).
  • Science on Computer Programming, Elsevier (2007).
  • ACM & IEEE Conference on Embedded Software (EMSOFT 2006).
  • Hybrid Systems: Computation and Control (HSCC 2005), additional reviewer.
  • Formal Modeling and Analysis of Timed Systems (FORMATS 2005).
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005).
  • Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (FORMATS&FTRTFT 2004).

Summer Schools