Az Informatikai Intézeten folyó kutatások

Operációkutatás

•  kombinatorikus optimalizálás
•  globális optimalizálás, intervallum analízis

Mesterséges intelligencia

•  minta illesztés, alakfelismerés
•  neuronhálók, genetikus algoritmusok
•  beszédfelismerés, EKGAlkalmazott számítástudomány
•  párhuzamos és osztott számítások
•  fordítóprogramok

Elméleti számítástudomány (Automaták, formális nyelvek)

•  automaták algebrai elmélete
•  automaták és formális logika
•  formális nyelvek és formális hatványsorok
•  faautomaták és fatranszformátorok, termátíró rendszerek
•  a fixpontok azonosságelmélete, iterációs elméletek
•  formális szemantika, process algebrák
•  szekvenciális áramkörök algebrai elmélete
•  attribútumnyelvtanok

Elméleti számítástudomány (Diszkrét matematika)

•  bonyolultság elmélet

Hálózatok

•   migráció IPv4-ről IPv6-ra

Képfeldolgozás (Image processing)

• Ipari alkalmazások (Industrial Applications)
• Markov modellek (Markov Models)
• Műtéti tervezés (Surgical Planning)
• Orvosi alkalmazások (Medical Applications)
• Regisztráció (Registration)
• Szegmentálás (Segmentation)
• Távérzékelés (Remote Sensing)
• Térinformatika (Geoinformatics)
• Tomográfia- Diszkrét tomográfia (Tomography - Discrete Tomography)
• Variációs módszerek (Variational Methods)
• Vázkijelölés (Skeletonization)

Műszaki Informatika

•  véletlenszerű zajok és fluktuációk hasznosítása
•  robotika
•  vezeték nélküli szenzorok, szenzorhálózatok
•  számítógép-vezérelt műszerek
•  orvosi méréstechnika és jelanalízis
•  számítógéppel segített kísérletező oktatás