Zakład Teorii Algorytmów i Systemów Programowania

O nas

 

Zajmujemy się zagadnieniami szeroko rozumianej algorytmiki, to jest projektowania i analizy wydajności algorytmów służących do rozwiązywania zagadnień z dziedzin bioinformatyki, optymalizacji przemysłowej, badań operacyjnych i optymalizacji dyskretnej. Opracowywane są modele matematyczne, modele uczenia maszynowego oraz metody służące do rozwiązywania problemów wywodzących się z nauk o życiu i z potrzeby planowania procesów przemysłowych. Rozwijane są algorytmy analityczne, symulacyjne i optymalizacyjne. Wykonywane są eksperymenty obliczeniowe.  

Kierownikiem zakładu jest prof. dr hab. inż. Maciej Drozdowski

Strona zakładu


Badania

 

Badania prowadzone przez członków zakładu dotyczą:

  • projektowania algorytmów i analizy złożoności problemów kombinatorycznych,
  • analizy i modelowania struktur kwasów nukleinowych,
  • teorii szeregowania zadań,
  • kombinatorycznych aspektów biologii molekularnej,
  • optymalizacji w logistyce,
  • oceny efektywności systemów komputerowych,
  • projektowania algorytmów równoległych,
  • asemblacji DNA de novo,
  • analizy wariantów genetycznych,
  • metod numerycznych dla równań różniczkowych,
  • arytmetyki interwałowej,
  • zagadnienia wyboru najlepszego algorytmu,
  • szeregowania zadań z kryterium pracy spóźnionej,
  • bezpieczeństwa ruchu i marszrutyzacji wielu dronów,
  • komputerowych modeli pochodzenia życia,
  • łączenia i udostępniania zdjęć satelitarnych,
  • sieci Petriego w modelowaniu dynamiki złożonych systemów biologicznych,
  • zastosowania uczenia maszynowego do rozwiązywania problemów biologicznych,
  • generowania obiektów kombinatorycznych o zadanych właściwościach.