Instytut zatrudnia niemal 20 pracowników samodzielnych (profesorów i doktorów habilitowanych) oraz około 25 adiunktów (doktorów). Ponadto w Instytucie pracują asystenci, wykładowcy oraz około 20 doktorantów. W naszym gronie jest wielu specjalistów o międzynarodowej renomie, m.in. czterech stypendystów Fundacji Humboldta i jeden Fundacji Fulbrighta. Kilku z nas wykładało dłuższy czas na renomowanych uczelniach amerykańskich i zachodnioeuropejskich. Publikacje pracowników Instytutu Informatyki znaleźć można w prestiżowych czasopismach naukowych i na najlepszych konferencjach.

Zainteresowania naukowe wybranych pracowników Instytutu:

• Pracownia Inteligencji Obliczeniowej
  • dr hab. Jan Chorowski - sztuczna inteligencja, nauczanie maszynowe, sieci neuronowe;
  • dr Paweł Rychlikowski - programowanie logiczne, analiza programów, języki programowania;
  • dr hab. Piotr Wnuk-Lipiński - algorytmy ewolucyjne, sieci neuronowe, systemy inteligentnych agentów, analiza finansowych szeregów czasowych.
  • dr Jakub Kowalski - sztuczna inteligencja w grach.
• Pracownia Grafiki Komputerowej
  • dr Andrzej Łukaszewski - grafika komputerowa;
  • dr Łukasz Piwowar - realistyczna grafika komputerowa;
  • dr Francho Melendez - grafika i animacje komputerowe.
• Zakład Inżynierii Oprogramowania
  • dr inż. Leszek Grocholski - inżynieria oprogramowania: metody analizy i projektowania systemów informatycznych, jakość oprogramowania; algorytmy drążenia danych (data mining);
  • dr Marcin Młotkowski - języki programowania, w szczególności języki obiektowe, semantyki języków programowania, konstrukcja kompilatorów;
  • mgr Zdzisław Płoski - komunikacja człowiek-komputer, systemy operacyjne;
  • dr Paweł Rajba - inżynieria oprogramowania, technologie sieciowe;
  • mgr Paweł Rzechonek - inżynieria oprogramowania, języki programowania;
  • dr Wiktor Zychla - języki programowania, metody wytwarzania oprogramowania, architektury aplikacji.
• Zakład Języków Programowania
  • dr Małgorzata Biernacka - logika i semantyka obliczeń, paradygmat dowody jako programy, wnioskowanie w teorii typów;
  • dr hab. Dariusz Biernacki - formalna semantyka języków programowania, lambda rachunki, maszyny abstrakcyjne, kontynuacje;
  • prof. Witold Charatonik - logika w informatyce, analiza programów, formalna weryfikacja;
  • dr Marek Materzok - systemy wbudowane, języki funkcyjne.
  • dr hab. Jean-Marie de Nivelle - automatyczne dowodzenie twierdzeń, weryfikacja programów;
  • dr Antoni Kościelski - teoria obliczeń, równania na słowach, semantyka języków programowania;
  • mgr inż. Tomasz Wierzbicki - języki programowania, programowanie sieciowe.
• Zakład Metod Numerycznych
  • dr Witold Karczewski - ułamki łańcuchowe;
  • dr Rafał Nowak - przyśpieszanie zbieżności wolnozbieżnych szeregów, ułamki łańcuchowe
  • dr hab. Paweł Woźny - funkcje specjalne, algorytmy konstrukcji związków rekurencyjnych dla współczynników Fouriera, matematyczne metody grafiki komputerowej.
• Zakład Optymalizacji Kombinatorycznej
  • dr hab. Marcin Bieńkowski - algorytmy online, algorytmy aproksymacyjne;
  • dr hab. Jarosław Byrka - algorytmy aproksymacyjne, optymalizacja dyskretna, projektowanie sieci;
  • dr hab. Katarzyna Paluch - algorytmika, algorytmy aproksymacyjne i grafowe.
• Zakład Teorii Informatyki i Baz Danych
  • dr hab. Emanuel Kieroński - logika w informatyce;
  • prof. Jerzy Marcinkowski - matematyczne podstawy informatyki, logika w informatyce;
  • dr hab. Jan Otop - automatyczna dedukcja, unifikacja;
  • dr Piotr Wieczorek - bazy danych;
  • dr Jakub Michaliszyn - logika, weryfikacja i bazy danych.
• Zakład Złożoności Obliczeniowej i Analizy Algorytmów
  • dr Paweł Gawrychowski - algorytmika, szukanie wzorca w skompresowanym tekście;
  • dr hab. Artur Jeż - algorytmy na słowach, równania nad zbiorami liczb naturalnych;
  • dr Łukasz Jeż - algorytmy, optymalizacja kombinatoryczna, algorytmy online;
  • dr hab.Tomasz Jurdziński - algorytmika, złożoność obliczeniowa, złożoność komunikacyjna;
  • prof. Krzysztof Loryś - złożoność obliczeniowa, algorytmika, struktury danych, kryptografia;
  • dr hab. Marek Piotrów - algorytmika, obliczenia sekwencyjne i równoległe, metody translacji;
  • dr Grzegorz Stachowiak - kombinatoryka, algorytmy równoległe, matematyka dyskretna.
  • dr Marek Szykuła - języki formalne, General Game Playing
• Pracownicy niezależni
  • prof. dr hab. Leszek Pacholski - podstawy języków programowania, programowanie deklaratywne, weryfikacja programów i hardware'u, logika;