# [lt]Informatikos institutas[/lt][en]Institute of Computer Science[/en]

[person-card]linas.petkevicius[/person-card]
:::lt
Direktoriaus pavaduotojai:
:::
:::en
Deputies:
:::
- [u]{psn}rokas.astrauskas[/u] :telephone_receiver: [u]{t}rokas.astrauskas[/u]
- [u]{psn}agne.brilingaite[/u] :telephone_receiver: [u]{t}agne.brilingaite[/u] 

[person-card]rima.zaguniene[/person-card]


[u]{pn}guoda.jociene[/u] :telephone_receiver: [u]{t}guoda.jociene[/u]



## [lt]Dirbtinio intelekto metodų laboratorija[/lt][en]Artificial Intelligence Methods Lab[/en]

:::lt
Vadovas – [u]{psn}valentas.gruzauskas[/u] (valentas.gruzauskas@mif.vu.lt)

:telephone_receiver: [u]{t}valentas.gruzauskas[/u]
 

VU MIF puslapyje: [AIML@VU MIF](https://mif.vu.lt/lt3/apie-fakulteta/strukt%C5%ABra/informatikos-institutas?view=article&id=5325:dirbtinio-intelekto-metod%C5%B3-laboratorija&catid=212:aiml#veikla)
Išorinė nuoroda: [https://aiml.lt](http://aiml.lt)
:::
:::en
Head – [u]{psn}valentas.gruzauskas[/u] (valentas.gruzauskas@mif.vu.lt)

:telephone_receiver: [u]{t}valentas.gruzauskas[/u]
 

VU MIF page: [AIML@VU MIF](https://mif.vu.lt/lt3/apie-fakulteta/strukt%C5%ABra/informatikos-institutas?view=article&id=5325:dirbtinio-intelekto-metod%C5%B3-laboratorija&catid=212:aiml#veikla)
External link to the website: [https://aiml.lt](http://aiml.lt)
:::

## [lt]Formaliųjų metodų mokslinė grupė[/lt][en]Formal Methods Research Group[/en]

:::lt
Vadovas - [u]{psn}linas.laibinis[/u] (linas.laibinis@mif.vu.lt)
:::
:::en
Head - [u]{psn}linas.laibinis[/u] (linas.laibinis@mif.vu.lt) 
:::

## [lt]Grafų ir kombinatorinių tikimybių mokslinė grupė[/lt][en]Graph and Combinatorial Probability Research Group[/en]
:::lt
Vadovas - [u]{[psn}mindaugas.bloznelis[/u] (mindaugas.bloznelis@mif.vu.lt)
:::
:::en
Head - [u]{[psn}mindaugas.bloznelis[/u] (mindaugas.bloznelis@mif.vu.lt)
 
:::



## [lt]Informatikos katedra[/lt][en]The Department of Computer Science[/en]

:::lt
Vedėjas – [u]{psn}haroldas.giedra[/u] (haroldas.giedra@mif.vu.lt)
:::
:::en
Head - [u]{psn}haroldas.giedra[/u] (haroldas.giedra@mif.vu.lt)
:::
:telephone_receiver: [u]{t}haroldas.giedra[/u]
 

## [lt]Kibernetinio saugumo laboratorija[/lt][en]Cybersecurity lab[/en]

:::lt
Vedėjas – prof. dr. [u]linas.bukauskas[/u] (linas.bukauskas@mif.vu.lt)
:::
:::en
Head – prof. dr. [u]linas.bukauskas[/u] (linas.bukauskas@mif.vu.lt)
:::
:telephone_receiver: [u]{t}linas.bukauskas[/u]
 


## [lt]Kompiuterinio ir duomenų modeliavimo katedra[/lt][en]The department of Computer and Data Modeling[/en]

:::lt
Vedėja – prof. dr. [u]agne.brilingaite[/u] (agne.brilingaite@mif.vu.lt)
:::
:::en
Head – prof. dr. [u]agne.brilingaite[/u] (agne.brilingaite@mif.vu.lt)
:::
:telephone_receiver: [u]{t}agne.brilingaite[/u]
 

## [lt]Matematinės informatikos katedra[/lt][en]The Department of Mathematical Computer Science[/en]

Vedėjas – [u]{psn}gintautas.bareikis[/u] (gintautas.bareikis@mif.vu.lt)

Tel. +370 5 219 5031 :telephone_receiver:
 

## [lt]Matematinio ir kompiuterinio modeliavimo mokslinė grupė[/lt][en]Mathematical and Computer Modeling Research Group[/en]

:::lt
Vedėjas - [u]{psn}romas.baronas[/u] (romas.baronas@mif.vu.lt)
:::
:::en
Head - [u]{psn}romas.baronas[/u] (romas.baronas@mif.vu.lt)
:::


## [lt]Programų sistemų katedra[/lt][en]The Department of Software Engineering[/en]

:::lt
Vedėjas – [u]{psn}linas.petkevicius[/u] (linas.petkevicius@mif.vu.lt)
:::
:::en
Head – [u]{psn}linas.petkevicius[/u] (linas.petkevicius@mif.vu.lt)
:::

:telephone_receiver: [u]{t}linas.petkevicius[/u]

### [lt]Adresas[/lt][en]Address[/en]

:::lt
Informatikos institutas, Didlaukio 47, LT-08303, Vilnius, Lietuva
:::
:::en
Institute of Computer Science, Didlaukio 47, LT-08303, Vilnius, Lithuania
:::

<iframe width="425" height="350" src="https://www.openstreetmap.org/export/embed.html?bbox=25.262136161327366%2C54.728198213451684%2C25.26388764381409%2C54.7313422719965&amp;layer=mapnik" style="border: 1px solid black"></iframe><br/><small><a href="https://www.openstreetmap.org/?#map=19/54.729770/25.263012">Žiūrėti didesniame žemėlapyje | Find us on the map</a></small>