Menu

.T_Krilavicius_CV

Tomas Krilavičius

Gimimo data: 1974-02-14
Mokslo laipsnis: daktaras
Pedagoginis vardas:  profesorius

El. paštas: t.krilavicius@if.vdu.lt, t.krilavicius@bpti.lt, tomas.krilavicius@tokenmill.lt
Namų puslapis: www.ajajai.lt

 

IŠSILAVINIMAS
(2006 09 06) Tventės universitetas (University of Twente), daktaro disertacija (Ph.D.) Hybrid Techniques for Hybrid Systems (http://purl.org/utwente/57124), vadovas prof. dr. Hendrik (“Ed”) Brinksma
(1999 09 – 2001 09) Doktorantas, Verslo informatikos fak., Kauno Technologijos universitetas
(1996 – 1998) taikomosios informatikos magistras, IF, VDU
(1992 – 1996) informatikos bakalauras, IF, VDU

 

DARBO PATIRTIS

(2013 09 – dabar) profesorius, Informatikos fakultetas, Vytauto Didžiojo universitetas, Kaunas (Lietuva)
(2012 03 – dabar) Informacinių technologijų krypties vadovas, VšĮ Baltijos pažangių technologijų institutas
(2010 09 – dabar) doc. pareigos, Informatikos fak., Vytauto Didžiojo universitetas
(2010 – dabar) vienas iš steigėjų, UAB “TokenMill” (www.tokenmill.lt).
(2010 04 – 2012 03) Vyr. mokslinis darbuotojas, VšĮ Baltijos pažangių technologijų institutas.
(2008 09 – 2010 08)  lektorius, Informatikos fak., Vytauto Didžiojo universitetas.
(2007 09 – 2008 08) projektų vadovas Informatikos fakultete , VDU (http://www.vdu.lt)
(2007 05 – 2008 05) postdokas Informatikos fakultete , VDU (http://www.vdu.lt)
(2007 02 – 2008 03) projektų/produktų vadovas UAB „ElitNet“ (http://www.elitnet.lt).
(2006 03 – 2006 06) tyrėjas (onderzoeker), Formalių metodų ir įrankių grupė, (http://fmt.cs.utwente.nl), University of Twente.
(2001 09 – 2006 02) doktorantas (AIO) Formalių metodų ir įrankių grupėje (http://fmt.cs.utwente.nl), University of Twente (http://www.utwente.nl).
(2000 11 – 2001 08) Projektų vadovas ir Interneto technologijų grupės vadovas, atsakingas už Interneto technologijų adaptavimą įmonėje, UAB Elsis (http://www.elsis.com).
(1995 06 – 2000 12) Programuotojas (3D animacija, Interneto ir Intraneto puslapiai, vadovas ir programuotojas), Multimedijos skyrius, UAB Equinox Europe (http://www.equinoxlt.com).
 
TYRIMŲ SRITIS
o Kiber-fizinės sistemos (Cyber-physical systems, CPS) – specifikavimas, modeliavimas ir analizė, kompozicionalumas, fizinių ir skaitmeninių komponentų integravimas.
o Hibridinės sistemos. Formalus hibridinių sistemų modeliavimas, imitacinis modeliavimas ir analizė (Behavioural Hybrid Process Calculus, BHPC). Įrankiai darbui su hibridinėmis sistemomis (Bhave tool-set).
o Formalus kritinių sistemų modeliavimas, analizė ir verifikavimas.
o Įrankių integravimas ir interoperabilumas. Įrankių kūrimas ir integravimas akademinėje aplinkoje.
o Kiekybiniai metodai politologijoje. Balsuotojų grupavimas pagal balsavimą (klasterizavimas ir kitos technologijos).
o (Lietuvių) kalbos apdorojimo technologijų (Natural Language Processing, NLP) taikymas programinėje įrangoje, ypač paieškoje (Information retrieval, IR).

 

DĖSTYMAS
Dėstomi dalykai

  • Duomenų vizualizavimas, verslo informatikos ir matematikos mag, Informatikos fak., Vytauto Didžiojo universitetas, 2011 – dabar.
  • Informacinės visuomenės technologijos, bendra-universitetinis dalykas (kartu su K. Šidlausku), Vytauto Didžiojo universitetas, 2010 – dabar.
  • Informacinių sistemų valdymas, verslo informatikos mag. (kartu su B. Balvočiumi), Informatikos fak., Vytauto Didžiojo universitetas, 2010.
  • Formalūs metodai modeliavime, taikomosios informatikos mag., Informatikos fak., Vytauto Didžiojo universitetas, 2007 – dabar.
  • Informacijos modeliavimas ir paieška, kompiuterinės lingvistikos mag., Informatikos fak., Vytauto Didžiojo universitetas, 2009.
  • Elektroninis verslas ir ICT infrastruktūra, verslo informatikos mag. (pratybos ir parinktos paskaitos, kartu su V. Fomin), Informatikos fak., Vytauto Didžiojo universitetas, 2009 – 2010.
  • Operacinės sistemos, informatikos bak. (kartu su D. Vitkute-Adžgauskiene), Informatikos fak., Vytauto Didžiojo universitetas, 2010 – dabar.

Vadovavimas studentams

  • Magistro darbai (kursiniai ir baigiamieji darbai), Informatikos fak. ir Kompiuterinės Lingvistikos centras, Vytauto Didžiojo universitetas, 2007 – dabar.
  • Magistro darbai, Formalių metodų ir įrankių grupė, University of Twente, 2001-2006.
  • Bakalauro darbai, Verslo Informatikos katedra, Kaunas Technologijos universitetas, 1999-2001.

Magistro ir bakalauro kursinių ir baigiamųjų darbų gynimo komisijos narys Informatikos fak. Vytauto Didžiojo universitete, 2007 – dabar.
Mokymai

  • UAB „Leksinova“. Kalbos technologijų taikymas informacijos gavyboje: įvadas. 2010 spalio 25.
  • Aukštojo mokslo ŠVIS (Švietimo valdymo informacinė sistema) kūrimo prielaidos/sąlygos, 2011 vasario 14-15.

Erasmus

  • Formalūs metodai: teorija ir praktika (laiko automatas ir Uppaal), Informatikos fak., Salento universitetas, 2010 lapkričio 29 – gruodžio 3.
  • Informatikos fak., Baskų universitetas (University of the Basque Country), 2009 birželio 8-12.
  • Formalūs metodai: teorija ir praktika (laiko automatas ir Uppaal), Informatikos fak., Hochschule Zittau/Görlitz (FH), 2009 birželio 14-18.

o Programos

  • Interaktyvus tinklo dizainas, Menų fak., Vytauto Didžiojo universitetas, atsakingas už IT dalį, 2010
  • Multimedijos ir interneto sistemos, Informatikos fak., Vytauto Didžiojo universitetas, 2010

 

PRAKTIKA UŽSIENYJE
o Erasmus 2009 m gegužės 14-18d, Informatikos fak, Hochschule Zittau/Görlitz (FH) (University of Applied Sciences), Formalūs metodai: Teorija ir praktika (Laiko automata sir Uppaal).
o Formalūs metodai (seminarai), University of Twente, 2004-2005.

 

DALYVAVIMAS PROJEKTUOSE
(2011 10 – dabar) KAUGE – klientų aptarnavimo sistemo užklausų automatinis grupavimas ir temos nustatymas.
(2010 10 – 12) LIMS – lituanistinių skaitmeninių išteklių metaduomenų sistemos sukūrimas ir suderinimas su CLARIN.
(2007 – 2009) E-demokratija Parlamentarų balsavimo analizė. Parlamentarų balsavimo analizės metodų bei įrankių studija.
(2007 09 – 2008 08) Inovatyvus praktinių IT įgūdžių ugdymas tęstinėse studijose Goals: modernisation of education techniques and development of practical IT skills. Supported by (BPD2004-ESF-2.4.0-03-05/0121).
(2007 05 – 2008 05) HiTess HiTess (Hybrid Systems Modelling, Simulation and Testing) – hibridinių sistemų modeliavimas ir testavimas. Kiekybiniai metodai politologijoje. Postdoc, finansuojamas „Gamtos mokslų podoktorantūrinių stažuočių (post doc‘ų) sistemos sukūrimas ir įdiegimas“.
(2006 – dabar) atviras-seimas.info (idemokratija.info). Lietuvos Respublikos Seimo duomenų surinkimas, archyvavimas, analizė ir viešinimas. Pilietinė iniciatyva, idemokratija.info, nuo 2010 tik atviras-seimas.info.
(2006 03 – 2006 09) LIST Laboratory for Interoperability of Small Tools. Tools integration and interoperability. Development and integration of tools for formal methods in an academic environment.
(2004 09 – 2006 03) HYCON HYCON (Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems), WP3 -Tool Integration, http://wp3.hycon.bci.uni-dortmund.de/.
(2001 09 – 2005 08) CASH CASH (Compositional Analysis and Specification of Hybrid Systems), NWO 617.023.002, http://fmt.cs.utwente.nl/projects/CASH.
(2002 04 – 2005 05) Ametist AMETIST, EU project (IST-2001-35304) on Advanced Methods for Timed Systems, http://ametist.cs.utwente.nl.

 

PROFESINĖ VEIKLA
(2010 – dabar) Informatikos fakulteto tarybos narys, VDU.

Profesinės organizacijos

Mokslinis ekspertas

  • RTD Technological Audit – Lithuania, scientific reviewer, 2009.
  • Geriausia metų disertacija, 2008, 2007 ir 2006 metai, vertintojas pirmame ture.

Konferencijos (ko)pirmininkas

  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-BCFIC’12), special session in the 2nd Baltic Conference on Future Internet Communication (BCFIC 2012), http://datics.org/bcfic2012
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-NESEA’12), special session in the The 3rd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2012)
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-NPC’12), special session in The 9th IFIP International Conference on Network and Parallel Computing, Gwangju, South Korea, Sep 6, 2012 – Sep 8, 2012.
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-IMECS’12), special session in the IAENG IMECS Conference, Hong Kong, 14-16 March, 2012, http://datics.nesea-conference.org/datics-imecs2012/
  • Design, Analysis and Tools for Integrated Circuits and Systems (DATICS-NESEA’11), special session in the The 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), Perth, Australia, November, 2011
  • Informacinė visuomenė ir universitetinės studijos (IVUS 2010), doktorantų ir magistrantų konferencija, Kaunas, Lietuva, 2010 gegužės 13, http://if.vdu.lt/~ivus/.

Konferencijos org. komiteto narys

Tarptautinis programos komitetas (IPC)

Redkolegijos narys

LJMS vasaros mokyklų lektorius (http://moksleiviams.ljms.lt/index.php?page=ljms-vasara)

  • 2010, „Informacijos paieška: kaip/kodėl tai veikia ir kaip tai naudoti.“. „Duomenų gavyba: su kuo tai valgoma“, kartu su V. Morkevičiumi „Kaip (ne)meluoti su statistika?“ ir „Nuostabus daugiamačių skalių metodo taikymo pavyzdys“.
  • 2009, “Įvadas į Informacijos paiešką”.
  • 2006 – 2008, “Įvadas į formalius metodus”.

Kviestiniai mokslo populiarinimo pranešimai

  • 2010 03 37, „Informacijos paieška“, seminaras mokytojams, Iftorina 2010, VDU
  • 2009 12 04, „Informacijos paieškos paslaptys“, Kompiuterių akademijos seminaras „Ką gali informatika“, VDU
  • 2009 05 12, “Informacijos paieška ir modeliavimas“, Absolvento diena 2009, VDU

Recenzentas

  • The Sixteenth IEEE Symposium on Computers and Communications (ISCC’11), 2011
  • The 18th World Congress of the International Federation of Automatic Control (IFAC), 2011
  • Informacinė visuomenė ir universitetinės studijos (IVUS 2010)
  • 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).

 

VASAROS MOKYKLOS

IPA mokyklos (visos Nyderlanduose), http://www.win.tue.nl/ipa/archive/index.html

  • 2004 04 14 – 16 IPA Lentedagen on Hybrid Systems, Conference Center Kapellerput, Heeze.
  • 2003 11 17 – 21 IPA Herfstdagen on Compositional Programming Methods, Hotel De Zwaan Beekbergen.
  • 2002 04 3 – 5 IPA Lentedagen on Middleware, Kapellerput, Heeze.
  • 2002 11 18 – 22 IPA Herfstdagen on Networked Embedded Systems, Resort Citta Romana, Hellevoetsluis.
  • 2001 11 26 – 30 IPA Herfstdagen on Timed Systems, Landgoed Huize Bergen, Vught.

 

PUBLIKACIJOS