8508893161

Podstawowe informacje o jednostce i badaniach prowadzonych przez kadrę jednostki

Nazwa uczelni

Uniwersytet Jagielloński, ul. Gołębia 24, 31-007 Kraków

tel. [phone], fax.[phone], e-mail: [e-mail]

Wydział Matematyki i Informatyki, ul. Gołębia 24, 31-007 Kraków

tel. [phone] w.1145, fax. [phone], e-mail: [e-mail]

Instytut Informatyki, ul. Nawojki 11,30-072 Kraków

tel. [phone], fax. [phone], e-mail: [e-mail]

Władze Instytutu

Dyrektor Instytutu: prof. dr hab. Zdzisław Denkowski, tel. [phone], w. 306, [phone] Zastępca Dyrektora ds. ogólnych: prof. dr hab. Stanisław Migórski, tel. [phone] w. 305 Zastępca Dyrektora ds. dydaktycznych: dr hab. Marek Skomorowski, tel. [phone], w. 323

Jednostki organizacyjne Instytutu

Instytut Informatyki Uniwersytetu Jagiellońskiego istnieje od 1975 roku i jest obecnie instytutem Wydziału Matematyki i Informatyki Uniwersytetu Jagiellońskiego. W skład Instytutu wchodzą 4 katedry,

6 zakładów i biblioteka.

1.    Katedra Algorytmiki

2.    Katedra Informatyki Stosowanej

3.    Katedra Metod Numerycznych

4.    Katedra Optymalizacji i Sterowania

5.    Zakład Systemów Rozproszonych

6.    Zakład Humanistycznych Zastosowań Informatyki

7.    Zakład Matematyki Dyskretnej

8.    Zakład Podstaw Informatyki

9.    Zakład Teorii Prawdopodobieństwa

10.    Biblioteka Instytutu Informatyki

Działalność naukowa Instytutu Informatyki

Pracownicy Instytutu Informatyki prowadzą badania naukowe w szerokim zakresie tematów informatycznych i matematycznych, takich jak:

1.    analiza algorytmów, automatyczne dowodzenie twierdzeń, optymalizacja kombinatoryczna, teoria półgrup kombinatorycznych, złożoność obliczeniowa, kryptografia, teoria modeli skończonych, teoria grafów, rachunek lambda, programowanie logiczne, sieci Petriego, teoria automatów i języków formalnych, teoria kodów, teoria obliczeń, sztuczna inteligencja, grafika komputerowa, diagnostyczne systemy ekspertowe, wnioskowanie diagramowe, projektowanie w oparciu o cechy, modelowanie i wnioskowanie geometryczne, transformacja grafów, sieci neuronowe, syntaktyczne rozpoznanie obrazów, teoria i zastosowania rozpoznawania obrazów, teoria gramatyk grafowych i ich parsing, teoria rozproszonych algorytmów równoległych, algorytmy genetyczne, projektowanie CAD/CAM,

2.    matematyczna teoria sterowania optymalnego, matematyczne modelowanie w inżynierii, biologii, medycynie i ekonomii, teoria miary, analiza numeryczna, równania różniczkowe i cząstkowe i ich zastosowania, rachunek prawdopodobieństwa, operatory Markowa, stochastyczne równania różniczkowe, dynamika topologiczna i obliczeniowa.

Działalność naukowo-badawcza prowadzona jest przez 10 zespołów badawczych. Grupy badawcze wewnątrz Instytutu pokrywają się w zasadzie z obsadami poszczególnych katedr i zakładów: zespół algorytmiki i złożoności obliczeniowej, zespół języków formalnych i sztucznej inteligencji, zespół grafiki komputerowej, zespół optymalizacji i sterowania, zespół metod numerycznych i ich zastosowań,

3