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

• Seminar Operating and Distributed Systems

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