Head of the institute – prof. dr. Rimantas Vaicekauskas ()
Phone +370 5 219 5001
Administrator of the institute – Rima Žagūnienė ()
Phone +370 5 219 5000
Department of Computer Science
Head of the department - prof. dr. Rimantas Vaicekauskas ()
Phone +370 5 219 5001
Department of Computational and Data Modeling
Head of the department - assoc. prof. dr. Rimvydas Krasauskas ()
Phone +370 5 219 5025
Department of Mathematical Computer Science
Head of the department - assoc. prof. dr. Gintautas Bareikis ()
Phone +370 5 219 5031
Department of Software Engineering
Head of the department - assoc. prof. dr. Linas Petkevičius ()
Phone +370 5 219 5039
Head of the department - assc. prof. dr. Linas Bukauskas ()
Tel. (8 5) 219 5002
Formal Methods Research Group