Nie jesteś zalogowany | Zaloguj się
Powrót do listy dziedzin badań

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