Laboratorium Informatyki jest jednostką organizacyjną funkcjonującą w ramach Katedry Automatyki AGH. Laboratorium powstało w 1980 roku. Aktualnie jest w nim zatrudnionych 26 pracowników, w tym:

• 2 z tytułem naukowym profesora zwyczajnego,
• 3 ze stopniem naukowym doktora habilitowanego,
• 14 ze stopnie naukowym doktora.

Badania prowadzone w Laboratorium Informatyki dotyczą:

• zastosowania metod formalnych w inżynierii oprogramowania,
• nowoczesnej grafiki komputerowej,
• sztucznej inteligencji i inżynierii wiedzy,
• baz danych.

Studentów zapraszamy do współpracy w ramach Koła Naukowego Sztucznej Inteligencji Noesis oraz realizacji prac dyplomowych inżynierskich, magisterskich i doktorskich pod opieką naszych pracowników.

Pracownicy Laboratorium Informatyki prowadzą zajęcia na kierunkach: Automatyka i Robotyka, Informatyka i Informatyka stosowana, na studiach podyplomowych Inżynieria oprogramowania i Nowoczesna grafika komputerowa, a także sprawują opiekę nad czterema laboratoriami komputerowymi.