Head of the institute – prof. dr. Rimantas Vaicekauskas (rimantas.vaicekauskas@mif.vu.lt)
Phone +370 5 219 5001
Administrator of the institute – Rima Žagūnienė (rima.zaguniene@mif.vu.lt)
Phone +370 5 219 5000
Department of Computer Science
Head of the department - prof. dr. Rimantas Vaicekauskas (rimantas.vaicekauskas@mif.vu.lt)
Phone +370 5 219 5001
Department of Computational and Data Modeling
Head of the department - assoc. prof. dr. Rimvydas Krasauskas (rimvydas.krasauskas@mif.vu.lt)
Phone +370 5 219 5025
Department of Mathematical Computer Science
Head of the department - assoc. prof. dr. Gintautas Bareikis (gintautas.bareikis@mif.vu.lt)
Phone +370 5 219 5031
Department of Software Engineering
Head of the department - assoc. prof. dr. Linas Petkevičius (linas.petkevicius@mif.vu.lt)
Phone +370 5 219 5040
Head of the department - assc. prof. dr. Linas Bukauskas (linas.bukauskas@mif.vu.lt)
Tel. (8 5) 219 5002
Formal Methods Research Group