Inżynieria oprogramowania
Opis
Podstawowe i praktyczne aspekty inżynierii oprogramowania. Tematy badań to funkcyjne i obiektowe języki programowania, programowanie w logice, systemy operacyjne, systemy czasu rzeczywistego, metodologie rozwijania oprogramowania, formalna dokumentacja i specyfikacja, weryfikacja oprogramowania.
Seminaria
Pracownicy i doktoranci
-
dr Jacek Chrząszcz
Programowanie funkcyjne i obiektowe, jakość kodu, Java
-
mgr Krzysztof Ciebiera
Sieci komputerowe, bezpieczeństwo, programowanie WWW
-
dr Robert Dąbrowski
Metodologia programowania, specyfikacja i weryfikacja oprogramowania, paradygmaty programowania, programowanie obiektowe
-
dr Marcin Engel, prof. UW
Automatyczne dowodzenie twierdzeń
-
dr Janusz Jabłonowski
Programowanie obiektowe, formalna specyfikacja i weryfikacja oprogramowania
-
dr Agata Janowska
Specyfikacja i weryfikacja systemów czasu rzeczywistego, weryfikacja modelowa systemów zależnych od czasu
-
mgr Zbigniew Jurkiewicz
Programowania funkcyjne, reprezentacja wiedzy
-
dr Mirosława Miłkowska
Programowanie w logice, specyfikacja i weryfikacja programów w logice
-
dr Janina Mincer-Daszkiewicz, prof. UW
Systemy operacyjne, systemy rozproszone, programowanie współbieżne, ocena wydajności, inżynieria oprogramowania (metody formalnej dokumentacji i specyfikacji, prowadzenie projektów informatycznych)
-
dr hab. Anh Linh Nguyen, prof. UW
Programowanie w logice, logiki multimodalne
-
dr hab. Aleksy Schubert, prof. UW
Programowanie funkcyjne i obiektowe, jakość kodu, Java
-
prof. dr hab. Andrzej Tarlecki
Matematyczne podstawy inżynierii oprogramowania
-
mgr Artur Zaroda
Projektowanie i implementacja języków programowania, programowanie obiektowe