Prace doktorskie
Powrót do strony głównej
Tematyka oferowanych prac doktorskich
- testowanie i jakość oprogramowania
- metryki przepływu danych, metryki projektowe
- analiza repozytoriów otwartego oprogramowania (np. z githuba), ocena jakości, predykcja defektów
- testowanie oparte na modelu
- modele just-in-time predykcji defektów
- metody sztucznej inteligencji w problemach optymalizacyjnych z zakresu inżynierii jakości
Używany aparat naukowy:
- empiryczna inżynieria oprogramowania (analiza studiów przypadków, eksperymenty, symulacje)
- teoretyczne podstawy testowania oprogramowania, modele testów, logika formalna, metody algebraiczne, grafowe itp.
- teoria języków formalnych, teoria grafów
- metody uczenia maszynowego
- metody sztucznej inteligencji (algorytmy ewolucyjne)
- formalne modele działania oprogramowania (diagramy)
- statystyka
Proponowane prace doktorskie wiążą się zarówno z badaniami teoretycznymi jak i pracami implementacyjnymi. Dlatego doktorant musi być nie tylko dobrym programistą,
ale też wykazywać gotowość do poszerzania swojej wiedzy w zakresie podstaw informatyki i (w przypadku prac z zakresu testowania) teorii testowania.
Powinien posiadać wysoką średnią ocen ze studiów. Bardzo wskazane (lecz nie absolutnie wymagane) jest, aby ukończył kurs "Testowanie oprogramowania",
a także uczestniczył w seminarium Testowanie oprogramowania, najlepiej jeszcze na studiach magisterskich (dot. prac z zakresu testowania).
Jeśli chcesz pisać doktorat z informatyki i interesujesz się powyższą tematyką, skontaktuj się ze mną.