Sidebar

Institute of Computer Science

mif informatikos institutas

Head of the institute – assoc. prof. dr. Linas Petkevičius ()

Phone +370 5 219 5001

Senior Administrator of the institute – Rima Žagūnienė ()

Phone +370 5 219 5000

Administrator of the institute – Guoda Jocienė ()
Tel. +370 5 219 5016

International Relations and Partnerships Coordinator – Alvydas Medalinskas ()

 

Artificial Intelligence Methods Lab

Head of lab – assoc. prof. dr. Valentas Gružauskas ()

Phone +370 685 76870

External url: aiml.lt

Formal Methods Research Group

Head of group – prof. dr. Linas Laibinis ()

Graph and Combinatorial Probability Research Group

Head of group –  prof. habil. dr. Mindaugas Bloznelis ()

Mathematical and Computer Modeling Research Group

Head of group –  prof. dr. Romas Baronas ()

Cyber Security Lab

Head of the department - prof. dr. Linas Bukauskas ()

Tel. +370 5 219 5002

Department of Computer Science

Head of the department - assoc. prof. dr. Haroldas Giedra ()

Phone +370 5 219 5010

Department of Computational and Data Modeling

Head of the department - prof. dr. Agnė Brilingaitė ()

Phone +370 5 219 5021

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 5001

Formal Methods Research Group

We use cookies

By clicking “Accept All Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Privacy policy More information
CookieHint and Consent by reDim GmbH (Opens in a new window)